-
297Reflections on ethics and game theorySynthese 141 (1). 2004.Applications of game theory to moral philosophy are impededby foundational issues and troublesome examples. In the first part of this paper,questions are raised about the appropriate game-theoretical frameworks for applications to moralphilosophy and about the proper interpretations of the theoretical devices employed inthese frameworks. In the second part, five examples that should be of particular interest to thoseinterested in the connections between ethics and game theory are delineated and …Read more
-
273Pure and Utilitarian Prisoner's DilemmasEconomics and Philosophy 11 (2): 333-343. 1995.The prisoner 's dilemma game has acquired large literatures in several disciplines. It is surprising, therefore, that a good definition of the game is hard to find. Typically an author relates a story about captured criminals or military rivals, provides a particular payoff matrix and asserts that the PD is characterized, or illustrated, by that matrix. In the few cases in which characterizing conditions are given, the conditions, and the motivations for them, do not always agree with each other…Read more
-
133Quantifiers as modal operatorsStudia Logica 39 (2-3). 1980.Montague, Prior, von Wright and others drew attention to resemblances between modal operators and quantifiers. In this paper we show that classical quantifiers can, in fact, be regarded as S5-like operators in a purely propositional modal logic. This logic is axiomatized and some interesting fragments of it are investigated.
-
86Embedded definite descriptions: Russellian analysis and semantic puzzlesMind 109 (435): 443-454. 2000.A sentence containing a number of definite descriptions, each lying within the scope of its predecessor, is naturally read as asserting the uniqueness of a sequence of objects satisfying the descriptions. The project of providing a general uniform procedure for eliminating embedded definite descriptions that gets this and other logical forms right is impeded by several puzzles.
-
69An axiomatization of predicate functor logicNotre Dame Journal of Formal Logic 24 (2): 233-241. 1983.
-
48Notes on Some Ideas in Lloyd Humberstone’s Philosophical Applications of Modal LogicAustralasian Journal of Logic 15 (1). 2018.Lloyd Humberstone’s recently published Philosophical Applications of Modal Logic presents a number of new ideas in modal logic as well explication and critique of recent work of many others. We extend some of these ideas and answer some questions that are left open in the book.
-
44Kit Fine, Modality and Tense: Philosophical Papers (review)International Philosophical Quarterly 46 (4): 493-502. 2006.
-
44Minimal Non-contingency LogicNotre Dame Journal of Formal Logic 36 (2): 230-234. 1995.Simple finite axiomatizations are given for versions of the modal logics K and K4 with non-contingency (or contingency) as the sole modal primitive. This answers two questions of I. L. Humberstone
-
43
-
39A Simple Embedding of T into Double SNotre Dame Journal of Formal Logic 45 (1): 13-18. 2004.The system obtained by adding full propositional quantification to S5 is known to be decidable, while that obtained by doing so for T is known to be recursively intertranslatable with full second-order logic. Recently it was shown that the system with two S5 operators and full propositional quantification is also recursively intertranslatable with second-order logic. This note establishes that the map assigning [1][2]p to \squarep provides a validity and satisfaction preserving translation betwe…Read more
-
39Lloyd Humberstone, Philosophical Applications of Modal Logic (review)Australasian Journal of Philosophy 96 (3): 619-623. 2018.
-
29Van Benthem Johan. The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse. Second edition of LII 874. Synthese library, vol. 156. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1991, xxii + 280 pp (review)Journal of Symbolic Logic 57 (3): 1137-1138. 1992.
-
28Tense and TimeIn Dov M. Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic, Kluwer Academic Publishers. pp. 513-552. 1983.The semantics of tense has received a great deal of attention in the contemporary linguistics, philosophy and logic literatures. This is probably due partly to a renewed appreciation for the fact that issues involving tense touch on certain issues of philosophical importance (viz., determinism, causality, and the nature of events, of time and of change). It may also be due partly to neglect. Tense was noticeably omitted from the theories of meaning advanced in previous generations. In the writin…Read more
-
27The Logic of Time. A Model-Theoretic Investigation into the Varieties of Temporal Antology and Temporal DiscourseJournal of Symbolic Logic 52 (3): 874. 1987.
-
26Review: John E. Clifford, Tense and Tense Logic (review)Journal of Symbolic Logic 43 (2): 381-381. 1978.
-
22The Domino relation: Flattening a two-dimensional logic (review)Journal of Philosophical Logic 18 (2). 1989.
-
16Rabinowicz, Universalizability: A Study in Morals and Metaphysics (review)International Studies in Philosophy 15 (3): 107-109. 1983.
-
15Review: Robert Bull, Krister Segerberg, D. Gabbay, F. Guenthner, Extensions of Classical Logic (review)Journal of Symbolic Logic 54 (4): 1472-1477. 1989.
-
15Modal Logic: An Introduction Brian F. Chellas New York: Cambridge University Press, 1980. Pp. xii, 295. $42.50 , $14.95 (review)Dialogue 21 (3): 545-549. 1982.
-
14Modality and Tense: Philosophical Papers (review)International Philosophical Quarterly 46 (4): 493-502. 2006.
-
13Modal Logics That Are Both Monotone and Antitone: Makinson’s Extension Results and Affinities between LogicsNotre Dame Journal of Formal Logic 63 (4): 515-550. 2022.A notable early result of David Makinson establishes that every monotone modal logic can be extended to LI, LV, or LF, and every antitone logic can be extended to LN, LV, or LF, where LI, LN, LV, and LF are logics axiomatized, respectively, by the schemas □α↔α, □α↔¬α, □α↔⊤, and □α↔⊥. We investigate logics that are both monotone and antitone (hereafter amphitone). There are exactly three: LV, LF, and the minimum amphitone logic AM axiomatized by the schema □α→□β. These logics, along with LI, LN, …Read more
Areas of Interest
Philosophy of Language |
Normative Ethics |
Logic and Philosophy of Logic |