Supervaluation-Style Truth Without Supervaluations

Kripke’s theory of truth is arguably the most influential approach to self-referential truth and the semantic paradoxes. The use of a partial evaluation scheme is crucial to the theory and the most prominent schemes that are adopted are the strong Kleene and the supervaluation scheme. The strong Kleene scheme is attractive because it ensures the compositionality of the notion of truth. But under the strong Kleene scheme classical tautologies do not, in general, turn out to be true and, as a consequence, classical reasoning is no longer admissible once the notion of truth is involved. The supervaluation scheme adheres to classical reasoning but violates compositionality. Moreover, it turns Kripke’s theory into a rather complicated affair: to check whether a sentence is true we have to look at all admissible precisification of the interpretation of the truth predicate we are presented with. One consequence of this complicated evaluation condition is that under the supervaluation scheme a more proof-theoretic characterization of Kripke’s theory becomes inherently difficult, if not impossible. In this paper we explore the middle ground between the strong Kleene and the supervaluation scheme and provide an evaluation scheme that adheres to classical reasoning but retains many of the attractive features of the strong Kleene scheme. We supplement our semantic investigation with a novel axiomatic theory of truth that matches the semantic theory we have put forth.     

Blinks as an index of cognitive activity during reading

Horizontal and vertical EOG recordings of eye movements were analyzed to determine the spatial and temporal distribution of blinks and the patterns of eye movements (saccades and fixation pauses) exhibited by six subjects during the reading of stories presented in two formats (on paper and on a VDT). The frequency and placement of blinks was not affected by the presentation condition. Blinks were determined to be non-randomly distributed during reading. Significantly more blinks (36%) occurred in conjunction with saccades than the proportion of time consumed by saccades (12%) would predict. Significantly more blinks (36%) occurred in the vicinity of line change saccades, which accounts for 15% of reading time, and with fixation pauses associated with regressions (42%), which accounts for 26% of reading time, than with fixation pauses during normal reading (22%), which accounts for 60% of reading time. The results of the study suggest that blink behavior during reading is under perceptual and cognitive control.     

The time course of automatic lexical access and aging

This study addresses the issue of cognitive slowing in the elderly by examining the time course of automatic lexical access. College-aged subjects typically show a brief rise time (300-500 msec) for lexical access. In the present study, we examine whether there are changes in rapid, automatized access routines with age. Elderly and college-aged subjects performed a lexical decision task wherein semantically related words embedded in a continuous list were presented one at a time with a varying (300-1500 msec) inter-word interval. The use of a continuous list, a repeated word, and a very short inter-stimulus interval allowed automatic lexical access to be straightforwardly examined. The elderly subjects showed an onset of automatic lexical access that was similar in time frame to that for college-age subjects. These findings suggest that wherever the locus of age-related slowing may be, it is not in the early, language-specific processing devices that mediate lexical access.