-
Peter Remnant and Jonathan Bennett, translators and editors, "g. W. Leibniz: New essays on human understanding" (review)Dialogue 21 (3): 545. 1982.
-
7Rabinowicz, Universalizability: A Study in Morals and Metaphysics (review)International Studies in Philosophy 15 (3): 107-109. 1983.
-
143Pure 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
-
7Modal 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
-
3Tense 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
-
15
-
8Lloyd Humberstone, Philosophical Applications of Modal Logic (review)Australasian Journal of Philosophy 96 (3): 619-623. 2018.
-
3Notes 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.
-
2Modality and Tense: Philosophical Papers (review)International Philosophical Quarterly 46 (4): 493-502. 2006.
-
12Van 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.
-
16The Logic of Time. A Model-Theoretic Investigation into the Varieties of Temporal Antology and Temporal DiscourseJournal of Symbolic Logic 52 (3): 874. 1987.
-
Hughes, GE and Cresswell, MJ-A New Introduction to Modal Logic (review)Philosophical Books 39 286-288. 1998.
-
4Review: Robert Bull, Krister Segerberg, D. Gabbay, F. Guenthner, Extensions of Classical Logic (review)Journal of Symbolic Logic 54 (4): 1472-1477. 1989.
-
2Review: John E. Clifford, Tense and Tense Logic (review)Journal of Symbolic Logic 43 (2): 381-381. 1978.
-
6Kit Fine, Modality and Tense: Philosophical Papers (review)International Philosophical Quarterly 46 (4): 493-502. 2006.
-
3Modal 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.
-
10A 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
-
8Minimal 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
-
16An axiomatization of predicate functor logicNotre Dame Journal of Formal Logic 24 (2): 233-241. 1983.
-
4The Domino relation: Flattening a two-dimensional logic (review)Journal of Philosophical Logic 18 (2). 1989.
Areas of Interest
Philosophy of Language |
Normative Ethics |
Logic and Philosophy of Logic |