Variants of the basic calculus of constructions

In this paper, a number of different versions of the basic calculus of constructions that have appeared in the literature are compared and the exact relationships between them are determined. The biggest differences between versions are those between the original version of Coquand and the version in early papers on the subject by Seldin. None of these results is very deep, but it seems useful to collect them in one place.     

Some differences between Kant’s and Husserl’s conceptions of transcendental philosophy

This article compares the differences between Kant’s and Husserl’s conceptions of the “transcendental.” It argues that, for Kant, the term “transcendental” stands for what is otherwise called “metaphysical,” i.e. non-empirical knowledge. As opposed to his predecessors, who had believed that such non-empirical knowledge was possible for meta-physical, i.e. transcendent objects, Kant’s contribution was to show how there can be non-empirical (a priori) knowledge not about transcendent objects, but about the necessary conditions for the experience of natural, non-transcendent objects. Hence the transcendental for Kant ends up connoting a philosophy that claims to show how subjective forms of intuition and thinking have objective validity for all objects as appearances. By contrast, Husserl’s phenomenological philosophy takes a different set of problems for its starting point. His quest is to avoid the uncertainty of empirical knowledge about all kinds of objects that present themselves to us as something other than, something transcendent to, consciousness. Transcendental or reliable knowledge is made possible through the phenomenological reduction that focuses strictly on consciousness as immediately self-given to itself—reflection upon “pure” consciousness. The contents of such consciousness are not the same for everyone and at every time, so they are not necessary and invariant in the way that Kant’s pure forms of subjectivity are. Since Husserl however also claims that the all objects, as intentional objects, are constituted in and for consciousness, an investigation into the structures of pure subjectivity can also be called “transcendental” in a further sense of showing the genesis of our knowledge of objects that are transcendent to consciousness. Moreover, since Husserl’s philosophical interest is precisely upon the structures of that consciousness, he also concentrates on necessary conditions for the constitution of these objects in his philosophical work. Hence, there ends up being a great deal of overlap between his own transcendental project and Kant’s in spite of the differences in what each of them means by the term “transcendental.”

Demons are everywhere: The effects of belief in pure evil,demonization, and retribution on punishing criminal perpetrators

Do preconceived beliefs about evil influence perceptions and punishments of those who harm others? We examined the effects of belief in pure evil (BPE), demonization, and belief in retribution on punishment of a stereotypically (vs. non-stereotypically) evil criminal. Participants punished the stereotypically evil perpetrator more (i.e., greater recommended jail time, opposition to parole, and support for his execution) because of increases in demonization (i.e., greater perceptions of the criminal as wicked, evil, and threatening), but not increases in retributive feelings. However, regardless of the criminal’s exhibited stereotypically evil traits, greater BPE predicted harsher punishment of the perpetrator; both greater demonization and stronger retributive feelings mediated the relationship between BPE and severe punishments. Further, effect sizes indicated BPE (vs. the evilness manipulation) more strongly predicted demonization and punishment. Thus, some individuals naturally see perpetrators as demons, and retributively punish them, whether or not there is more explicit stereotypic evidence of their evil dispositions.     

THE SUPERNATURAL AS LANGUAGE GAME

Abstract. For many in the Anglo‐American tradition of language analysis, Ludwig Wittgenstein, the great progenitor of twentieth‐century philosophy of language, showed conclusively that theological terms lack any referent in reality and therefore represent a discourse that can do no more than manifest the existential attitudes that speakers take toward reality as a whole. To think that such terms represent more is to be bewitched by the use of language. Is it possible, however, that theological language references a fundamental human drive? In this article I reexamine the dyad of nature and supernature from the perspective of Wittgenstein's philosophy. Perhaps surprisingly, Wittgenstein's thought on the subject offers much more than his famous, terse aphorism at the conclusion of his first masterwork, the Tractatus Logico‐Philosophicus ([1921] 1961, 74, §7): “What we cannot speak about we must pass over in silence.” Furthermore, the basic Tractarian drive to determine the relationship between language and reality, which is redirected but not extinguished in Wittgenstein's second, divergent, opus, the Philosophical Investigations ([1953] 1967), may be the place for a renewed examination of what the supernatural means in human discourse. Does talk of God give expression to the fundamental transcendence of human knowledge? Is it a language game we can eschew?     

The impurity of “pure” indexicals

Within the class of indexicals, a distinction is often made between “pure” or “automatic” indexicals on one hand, and demonstratives or “discretionary” indexicals on the other. The idea is supposed to be that certain indexicals refer automatically and invariably to a particular feature of the utterance context: ‘I’ refers to the speaker, ‘now’ to the time of utterance, ‘here’ to the place of utterance, etc. Against this view, I present cases where reference shifts from the speaker, time, or place of utterance to some other object, time, or place. I consider and reject the claim that these counterexamples to the automatic indexical theory all involve non-literal uses of indexicals and argue that they cannot be explained away on the grounds that they involve conversational implicature or pretense.     

Age-of-acquisition effects in pure alexia

Pure alexia is an acquired reading disorder in which previously literate adults adopt a letter-by-letter processing strategy. Though these individuals display impaired reading, research shows that they are still able to use certain lexical information in order to facilitate visual word processing. The current experiment investigates the role that a word's age of acquisition (AoA) plays in the reading processes of an individual with pure alexia (G.J.) when other lexical variables have been controlled. Results from a sentence reading task in which eye movement patterns were recorded indicated that G.J. shows a strong effect of AoA, where late-acquired words are more difficult to process than early-acquired words. Furthermore, it was observed that the AoA effect is much greater for G.J. than for age-matched control participants. This indicates that patients with pure alexia rely heavily on intact top-down information, supporting the interactive activation model of reading.