The aim of this paper is to investigate a Curry-Howard interpretation of the intersection and union type inference system for Combinatory Logic. Types are interpreted as formulas of a Hilbert-style logic L, which turns out to be an extension of the intuitionistic logic with respect to provable disjunctive formulas (because of new equivalence relations on formulas), while the implicational-conjunctive fragment of L is still a fragment of intuitionistic logic. Moreover, typable terms are translated in a typed version, so that --typed (...) combinatory logic terms are proved to completely codify the associated logical proofs. (shrink)

The “American Dream” and “Working Class Promise” ideologies are ubiquitously dispersed in American society. These ideologies posit values of equality and opportunity. In this paper, I deconstruct these two ideologies in order to examine the effects these ideologies have on income inequality, social inequality, and social immobility. I argue these ideologies create a paradox in society whereby the more these ideologies are believed, the more the ideologies exacerbate income inequality, social inequality, and social immobility.

This is a book about speech and the silencing of speech; about who gets to speak and who does not; about who is listened to and who is ignored. In this down-to-earth analysis of the democratic principle of freedom of speech, Betty McLellan insists that, if this prized democratic principle is to have any continuing credibility, free speech must be free for all.

This article asserts that European and North American feminisms are colonial discursive elaborations that defined what it was to be a woman and a feminist. The categories of gender and patriarchy established both what the subordination of women was as well as the possibilities for their emancipation. They're colonial discourses in the sense that they have construed women of the third world, or of the global South, as “other.” The specific case examined in this article questions the Euro-US-centric feminist construction (...) of women and Afro-descendant feminists. In resignifying the categories of analysis proposed by feminism, such as gender and patriarchy, Afro-descendant feminists assert themselves as diverse Black women who build proposals subverting the social order that oppresses them, without needing to resort to feminism's central categories. Women belonging to ethnic communities elaborate a new type of feminism constructed in relation to the community's collective actions in vindicating their rights. Finally, Black or Afro-Colombian women, based on the legacy of their maroon or runaway slave ancestors, construct feminism otherwise, challenging universalist claims by Eurocentric and Andean-centric feminism, transforming and enriching it. (shrink)

We argue that the meaning of smiles is interpreted from physical/contextual cues, and simulation may simply reinforce the information derived from these cues. We suggest that, contrary to the claim of the SIMS model, positive and negative smiles may invoke similar simulation processes. Finally, we provide alternative explanations for the role of eye contact in the processing of smiles.

An argument that the major metaphysical theories of facts give us no good reason to accept facts in our catalog of the world. -/- In this book Arianna Betti argues that we have no good reason to accept facts in our catalog of the world, at least as they are described by the two major metaphysical theories of facts. She claims that neither of these theories is tenable—neither the theory according to which facts are special structured building blocks of (...) reality nor the theory according to which facts are whatever is named by certain expressions of the form “the fact that such and such.” There is reality, and there are entities in reality that we are able to name, but, Betti contends, among these entities there are no facts. -/- Drawing on metaphysics, the philosophy of language, and linguistics, Betti examines the main arguments in favor of and against facts of the two major sorts, which she distinguishes as compositional and propositional, giving special attention to methodological presuppositions. She criticizes compositional facts (facts as special structured building blocks of reality) and the central argument for them, Armstrong's truthmaker argument. She then criticizes propositional facts (facts as whatever is named in “the fact that” statements) and what she calls the argument from nominal reference, which draws on Quine's criterion of ontological commitment. Betti argues that metaphysicians should stop worrying about facts, and philosophers in general should stop arguing for or against entities on the basis of how we use language. (shrink)

While it is widely assumed that greater diversity in corporate governance will enhance a firm’s corporate social performance, this study considers an alternative thesis which relates managerial control to corporate philanthropy. The study empirically evaluates both board diversity and managerial control of the board as possible predictors of corporate philanthropy. The demonstration of a positive relationship between managerial control and corporate philanthropy contributes to our understanding that corporate social performance results from a complex set of economic and social motives. Possible (...) future research and managerial implications are discussed. (shrink)

INDIAN AND WESTERN PHILOSOPHY- A Study in Contrasts By BETTY HEIMANN. Originally published in I937. Contents include: 1. INTRODUCTION 13 2. THEOLOGY 2Q 3. ONTOLOGY AND ESCHATOLOGY 46 4. ETHICS 63 5. LOGIC 79 6. AESTHETICS 98 7. HISTORY AND APPLIED SCIENCE Il6 8. THE APPARENT RAPPROCHEMENT BETWEEN WEST AND EAST 131 EPILOGUE 147 INDEX OF PROBLEMS TREATED 149. INDIAN AND WESTERN PHILOSOPHY. CHAPTER I. INTRODUCTION: ONE ceuvre dart est un coin de la creation vu d travers un temperament, says (...) Zola and we may be justified in applying this aphorism when we venture on a some what similar survey and attempt an artificial selection from World-Philosophy throughout the ages. My aim, however, is not to elaborate any finished outline of all the philosophical conceptions that have arisen in East and West up to the present day, but merely to indicate the essential and fundamental tendencies and principles. In tracing the sources of Western Philosophy to Plato and Aristotle, and still earlier to the pre-Socratics of ancient Greece, I became convinced that all translations are, to a greater or less degree, modes of interpretation. I studied the Classics, therefore, from the linguistic standpoint, and this procedure ultimately developed into a philosophical method intimately associated with the psychological aspects of Philology. In pursuing this task I discovered at the same time the specifically material basis of all Western thought. In other words in my regress from the history of modern Philosophy to the dawn of Greek speculation, or to repeat to the pre-Socratics, I found myself able to trace the main trends of Western Philosophy to the prior era of the Greek Sophists, whose outstanding role as the actual founders of Western thought is, in my opinion, too frequently underestimated. Their basic dogma which has held good in the West ever since was, Man is the Measure of all things. At this point an equally important feature must be emphasized for throughout this age of the Sophists there persists the profound contrast between the typically Western, and the equally distinctive Eastern, intellectual and spiritual atmospheres. In this connection, still further, I was deeply impressed by the far-reaching divergence of the Western anthropological tendency from the older cosmic out look upon Man as being part and parcel of the Universe And this radical antithesis is to be dis cerned in contemporary Greek drama. For Aeschylus, the Marathonomaches, creates all his immortal tragedies in the genuinely cosmic mood. Every in fraction of cosmic order, with no single exception, must generate its own inevitable reaction, and also its punishment, in order that the primal cosmic harmony may once more be restored... (shrink)

This functional Magnetic Resonance Imaging study investigated high and low suggestible people responding to two visual hallucination suggestions with and without a hypnotic induction. Participants in the study were asked to see color while looking at a grey image, and to see shades of grey while looking at a color image. High suggestible participants reported successful alterations in color perception in both tasks, both in and out of hypnosis, and showed a small benefit if hypnosis was induced. Low suggestible people (...) could not perform the tasks successfully with or without the hypnotic induction. The fMRI results supported the self report data, and changes in brain activity were found in a number of visual areas. The results indicate that a hypnotic induction, although having the potential to enhance the ability of high suggestible people, is not necessary for the effective alteration of color perception by suggestion. (shrink)

Introduction, by J. D. Bettis.--An introduction to phenomenology: What is phenomenology? by M. Merleau-Ponty.--The phenomenology of religion: The meaning of religion, by W. B. Kristensen.--A naturalistic description: Religion in essence and manifestation, by G. van der Leeuw.--A supernaturalistic description: Approaches to God, by J. Maritain.--A projective description: The essence of Christianity, by L. Feuerbach.--Religion as a faculty: On religion, by F. Schleiermacher. The Christian faith, by F. Schleiermacher.--Religion as a dimension: Religion as a dimension in man's spiritual life, by P. (...) Tillich.--Religion as a social function: Magic, science, and religion, by B. Malinowski.--Religion as structure and archetype: The sacred and the profane, by M. Eliade.--Religion as encounter: I and thou, by M. Buber. (shrink)

Betty Powell; XII*—Descartes' Machines, Proceedings of the Aristotelian Society, Volume 71, Issue 1, 1 June 1971, Pages 209–222, https://doi.org/10.1093/aristot.

This book returns the reader to an agenda for addressing equity in schools, emphasizing the need to reexamine past reform efforts and the work ahead for educational leaders in reshaping schools and schooling.

The research shows the relationship between digital teaching competence and foreign language learning in students at a national university from Lima. It is a non-experimental descriptive study with a cross-sectional correlational design, applied to a sample of 151 students from Enrique Guzmán y Valle National University of Education. To collect data for the first variable, it was built a questionnaire with the response parameters of the Likert scale. Based on the Cronbach's Alpha test, this instrument reached a reliability index of (...) 0,780. For the second variable, a test was applied and the reliability level was measured through the Kuder-Richardson coefficient, showing an index of 0,865, so it is inferred that these instruments had a high level of reliability. About the general hypothesis, Spearman's correlation coefficient was 0,705, a high positive correlation. The investigation result allows to confirm that there is a direct and significant association between teaching digital competence and foreign language learning, that is, the higher the level of teaching digital competence, the better the learning achievements of the students. (shrink)

This study asked managers with different educational backgrounds and experience from a variety of industries of a variety of sizes representing both genders and various predominant managerial functions at different levels to “describe the skills they think are necessary to perform their jobs effectively”. In particular, they were asked to rank 178 behavioral skills presented under 22 different categories that described different aspects of management. Data were then examined first to determine the importance of ethics or integrity overall in the (...) group of managerial activities and then to explore how specific ethical activities of managers differ across various managerial and organizational characteristics. Findings indicate that ethics is still considered one of the least important skills necessary in managers’ daily work. However, once specific ethical activities are analyzed separately, significant differences are found across characteristics of managers, as well as those of the organizations at which they work. (shrink)

This book examines cultural recognition and the struggle for identity in America's schools. In particular, the contributing authors focus on the recognition and misrecognition as antagonistic cultural forces that work to shape, and at times distort identity.