-
16Logical Necessity Based on Carnap's Criterion of AdequacyKorean Journal of Logic 5 (2): 1-21. 2002.A semantics for logical necessity, based on Carnap's criterion of adequacy, is given with respect to the ontology of logical atomism. A calculus for sentential (propositional) modal logic is described and shown to be complete with respect to this semantics. The semantics is then modified in terms of a restricted notion of 'all possible worlds' in the interpretation of necessity and shown to yield a completeness theorem for the modal logic S5. Such a restricted notion introduces material content …Read more
-
26Essay ReviewHistory and Philosophy of Logic 10 (1): 77-83. 1989.L. E. HAHN and P. A. SCHILPP (eds.), The philosophy of W. V. Quine. La Salle, Illinois: Open Court, 1986. xvi + 705 pp. $35.95 cloth/$16.50 (paper)
-
80On the primary and secondary semantics of logical necessityJournal of Philosophical Logic 4 (1). 1975.
-
10Errata: On the Logic of Nominalized Predicates and Its Philosophical InterpretationsErkenntnis 14 (1): 103-104. 1979.
-
16Bealer George. Quality and concept. Clarendon library of logic and philosophy. Clarendon Press, Oxford University Press, Oxford and New York 1982, xii + 311 pp (review)Journal of Symbolic Logic 50 (2): 554-556. 1985.
-
38
-
44A logical reconstruction of medieval terminist logic in conceptual realismHistory of Philosophy & Logical Analysis 4 35-72. 2001.The framework of conceptual realism provides a logically ideal language within which to reconstruct the medieval terminist logic of the 14th century. The terminist notion of a concept, which shifted from Ockham's early view of a concept as an intentional object to his later view of a concept as a mental act , is reconstructed in this framework in terms of the idea of concepts as unsaturated cognitive structures. Intentional objects are not rejected but are reconstructed as the objectified intens…Read more
-
50Modal logic: an introduction to its syntax and semanticsOxford University Press. 2008.In this text, a variety of modal logics at the sentential, first-order, and second-order levels are developed with clarity, precision and philosophical insight.
-
11Review: Richard M. Gale, The Language of Time (review)Journal of Symbolic Logic 37 (1): 170-172. 1972.
-
84Logical atomism and modal logicPhilosophia 4 (1): 41-66. 1974.A propositional logic with modal operators for logical necessity and possibility is formulated as a formal ontology for logical atomism (with negative facts). It is shown that such modal operators represent purely formal, Internal 'properties' of propositions if and only if the notion of 'all possible worlds' has its standard and not the secondary interpretation which it is usually given (as, E.G., In kripke model-Structures). Allowing arbitrary restrictions on the notion of 'all possible worlds…Read more
-
18Review: James E. Tomberlin, The Sea Battle Tomorrow and Fatalism (review)Journal of Symbolic Logic 40 (2): 254-254. 1975.
-
101Frege's double correlation thesis and Quine's set theories NF and MLJournal of Philosophical Logic 14 (1). 1985.
-
"Pragmatics, Truth and Language" by R. M. MARTIN (review)Linguistics and Philosophy 4 (n/a): 453. 1980.
-
31A substitution free axiom set for second order logicNotre Dame Journal of Formal Logic 10 (1): 18-30. 1969.
-
Conceptual realism as a theory of logical formRevue Internationale de Philosophie 51 (200): 175-199. 1997.
-
10A Note On The Definition Of Identity In Quine's New FoundationsMathematical Logic Quarterly 22 (1): 195-197. 1976.
-
144On the logic of classes as manyStudia Logica 70 (3): 303-338. 2002.The notion of a "class as many" was central to Bertrand Russell''s early form of logicism in his 1903 Principles of Mathematics. There is no empty class in this sense, and the singleton of an urelement (or atom in our reconstruction) is identical with that urelement. Also, classes with more than one member are merely pluralities — or what are sometimes called "plural objects" — and cannot as such be themselves members of classes. Russell did not formally develop this notion of a class but used i…Read more
-
Logical Investigations of Predication Theory and the Problem of UniversalsLinguistics and Philosophy 13 (2): 265-271. 1990.
-
20Review: Peter Ohrstrom, Per Hasle, A. N. Prior's Rediscovery of Tense Logic (review)Journal of Symbolic Logic 60 (1): 347-348. 1995.
-
Higher-Order LogicsIn Hans Burkhardt & Barry Smith (eds.), Handbook of metaphysics and ontology, Philosophia Verlag. pp. 466--470. 1991.
-
16Review: George Bealer, Quality and Concept (review)Journal of Symbolic Logic 50 (2): 554-556. 1985.
-
82Russell's paradox of the totality of propositionsNordic Journal of Philosophical Logic 5 (1): 25-37. 2000.Russell's "new contradiction" about "the totality of propositions" has been connected with a number of modal paradoxes. M. Oksanen has recently shown how these modal paradoxes are resolved in the set theory NFU. Russell's paradox of the totality of propositions was left unexplained, however. We reconstruct Russell's argument and explain how it is resolved in two intensional logics that are equiconsistent with NFU. We also show how different notions of possible worlds are represented in these int…Read more
-
5Book reviews (review)History and Philosophy of Logic 17 (1-2): 85-119. 1996.A. Kenny, Frege, an introduction to the founder of modern analytic philosophy. London:Penguin, 1995. viii-h223pp. £7.99 T. Willamson, Vagueness. London:Routledge, 1994. xiii-f-325 pp. £35.00 TOM BU...
-
17Continuity and Change in the Development of Russell's PhilosophyJournal of the History of Philosophy 35 (1): 150-151. 1997.
-
Indiana University, BloomingtonRetired faculty
Areas of Specialization
Metaphysics |
Philosophy of Language |
Logic and Philosophy of Logic |
Philosophy of Biology |
Philosophy of Mathematics |