-
11Errata: On the Logic of Nominalized Predicates and Its Philosophical InterpretationsErkenntnis 14 (1): 103-104. 1979.
-
17Bealer 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.
-
81On the primary and secondary semantics of logical necessityJournal of Philosophical Logic 4 (1). 1975.
-
22
-
45A 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.
-
89Logical 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
-
11Review: Richard M. Gale, The Language of Time (review)Journal of Symbolic Logic 37 (1): 170-172. 1972.
-
107Frege's double correlation thesis and Quine's set theories NF and MLJournal of Philosophical Logic 14 (1). 1985.
-
18Review: James E. Tomberlin, The Sea Battle Tomorrow and Fatalism (review)Journal of Symbolic Logic 40 (2): 254-254. 1975.
-
32A 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.
-
"Pragmatics, Truth and Language" by R. M. MARTIN (review)Linguistics and Philosophy 4 (n/a): 453. 1980.
-
10A Note On The Definition Of Identity In Quine's New FoundationsMathematical Logic Quarterly 22 (1): 195-197. 1976.
-
145On 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.
-
Higher-Order LogicsIn Hans Burkhardt & Barry Smith (eds.), Handbook of metaphysics and ontology, Philosophia Verlag. pp. 466--470. 1991.
-
22Review: Peter Ohrstrom, Per Hasle, A. N. Prior's Rediscovery of Tense Logic (review)Journal of Symbolic Logic 60 (1): 347-348. 1995.
-
85Russell'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
-
16Review: George Bealer, Quality and Concept (review)Journal of Symbolic Logic 50 (2): 554-556. 1985.
-
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...
-
18Continuity and Change in the Development of Russell's PhilosophyJournal of the History of Philosophy 35 (1): 150-151. 1997.
-
82Russell's involuted path in the development of his theory of logical types from 1903 to 1910-13 is examined and explained in terms of the development in his early philosophy of the notion of a logical subject vis-a-vis the problem of the one and many; i.e., the problem for russell, first, of a class-as-one as a logical subject as opposed to a class as many, and, secondly, of a propositional function as a single and separate logical subject as opposed to existing only in the many propositions tha…Read more
-
47Mass Nouns in a Logic of Classes as ManyJournal of Philosophical Logic 38 (3): 343-361. 2009.A semantic analysis of mass nouns is given in terms of a logic of classes as many. In previous work it was shown that plural reference and predication for count nouns can be interpreted within this logic of classes as many in terms of the subclasses of the classes that are the extensions of those count nouns. A brief review of that account of plurals is given here and it is then shown how the same kind of interpretation can also be given for mass nouns
-
Indiana University, BloomingtonRetired faculty
Areas of Specialization
Metaphysics |
Philosophy of Language |
Logic and Philosophy of Logic |
Philosophy of Biology |
Philosophy of Mathematics |