-
52A theorem concerning syntactical treatments of nonidealized beliefSynthese 129 (3). 2001.[IMPORTANT CORRECTION - See end of abstract.] In Syntactical Treatments of Modality, with Corollaries on Reflexion Principles and Finite Axiomatizability, Acta Philosophica Fennica 16 (1963), 153–167, Richard Montague shows that the use of a single syntactic predicate (with a context-independent semantic value) to represent modalities of alethic necessity and idealized knowledge leads to inconsistency. In A Note on Syntactical Treatments of Modality, Synthese 44 (1980), 391–395, Richmond Thomaso…Read more
-
48Doesn't-will and didn't-didAustralasian Journal of Philosophy 80 (1). 2002.In "Against the Indicative," AUSTRALASIAN JOURNAL OF PHILOSOPHY 72 (1994): 17-26, and more recently in "Classifying `Conditionals': the Traditional Way is Wrong", ANALYSIS 60 (2000): 147, V.H. Dudman argues that (a) `If Oswald didn't shoot Kennedy then someone else did' and (b) `If Oswald doesn't shoot Kennedy then someone else will' should not be classified together as "indicative conditionals." Dudman relies on the assumption that (a) is entailed by (c) `Someone shot Kennedy', whereas (…Read more
-
35A correction to “Nonmonotonic inconsistency” [Artificial Intelligence 149 (2003) 161–178]Artificial Intelligence 160 (1-2): 191-192. 2004.This note corrects an error in the statement and proof of Propositions 9 and 10 of [C. Cross, Nonmonotonic inconsistency, Artificial Intelligence 149 (2) (2003) 161–178]. Both results turn out to depend on the postulate of Consistency Preservation.
-
35Time and the Russell Definition of NumberSouthwestern Journal of Philosophy 10 (2): 177-180. 1979.
-
32The modal logic of discrepancyJournal of Philosophical Logic 26 (2): 143-168. 1997.Discrepancies between an agent's goals and beliefs play an important, if implicit, role in determining what a rational agent is motivated to do. This is most obvious in cases where an agent achieves a complex goal incrementally and must deliberate anew as each milestone is reached. In such cases the concept of goal/belief discrepancy defines an appropriate space to which a degree-of-achievement yardstick can be applied. This paper presents soundness and completeness results concerning a logic fo…Read more
-
30Relational Coherence and Cumulative ReasoningIn Olsson Erik (ed.), The Epistemology of Keith Lehrer, Kluwer Academic Publishers. pp. 109--127. 2003.I investigate the consequences of interpreting Lehrer's account of system-relative justification as a theory of inductive inference. I discuss which assumptions about coherence would be sufficient to make the account of inductive inference derived from Lehrer's theory conform to a series of widely discussed general principles, including those constitutive of cumulative reasoning. I then discuss the epistemological significance of the resulting theory of inductive inference.
-
Studies in the Semantics of ModalityDissertation, University of Pittsburgh. 1985.Possible worlds talk is, in my view, a metaphor, and what makes it a good metaphor is its capacity to be extended and elaborated in fruitful ways. The essays in this dissertation all concern ways of adding structure to the basic apparatus of possible worlds semantics--the Kripke frame--so as to make it bear more fruit. ;One way of adding structure is to think of possible worlds as histories. In "A Theory of Conditionals in the Context of Branching Time" Richmond Thomason and Anil Gupta use this …Read more
APA Eastern Division
Areas of Specialization
Epistemology |
Metaphysics |
Logic and Philosophy of Logic |
Areas of Interest
Philosophy of Language |
Philosophy of Probability |
PhilPapers Editorships
Monty Hall Problem |