-
47Nominalism and conceptualism as predicative second-order theories of predicationNotre Dame Journal of Formal Logic 21 (3): 481-500. 1980.
-
46Review of Uwe Meixner, Modelling Metaphysics: The Metaphysics of a Model (review)Notre Dame Philosophical Reviews 2010 (5). 2010.
-
44A conceptualist interpretation of Lesniewski's ontologyHistory and Philosophy of Logic 22 (1): 29-43. 2001.A first-order formulation of Leśniewski's ontology is formulated and shown to be interpretable within a free first-order logic of identity extended to include nominal quantification over proper and common-name concepts. The latter theory is then shown to be interpretable in monadic second-order predicate logic, which shows that the first-order part of Leśniewski's ontology is decidable.
-
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
-
43Book Review: Stewart Shapiro. Foundations with foundationalism (review)Notre Dame Journal of Formal Logic 34 (3): 453-468. 1993.
-
42Reply to Andriy Vasylchenko’s Review of Formal Ontology and Conceptual RealismAxiomathes 19 (2): 167-178. 2009.
-
38Nino B. Cocchiarella, Reviewed work: Realistic Rationalism by Jerrold J. Katz (review)Philosophy of Science 67 (2): 341-343. 2000.
-
38
-
37On the logic of nominalized predicates and its philosophical interpretationsErkenntnis 13 (1). 1975.
-
35Actualism versus Possibilism in Formal OntologyIn Roberto Poli & Johanna Seibt (eds.), Theory and Applications of Ontology: Philosophical Perspectives, Springer Verlag. pp. 105--117. 2010.
-
31A substitution free axiom set for second order logicNotre Dame Journal of Formal Logic 10 (1): 18-30. 1969.
-
29Conceptual realism and the nexus of predicationMetalogicon 16 (2): 45-70. 2003.The nexus of predication is accounted for in different ways in different theories of universals. We briefly review the account given in nominalism, logical realism , and natural realism. Our main goal is to describe the account given in a modern form of conceptualism extended to include a theory of intensional objects as the contents of our predicable and referential concepts
-
27The Intentions of Intentionality and Other New Models for Modalities (review)Grazer Philosophische Studien 3 (1): 219-230. 1977.
-
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)
-
25Frege, Russell and Logicism: a Logical ReconstructionIn L. Haaparanta & J. Hintikka (eds.), Frege Synthesized, D. Reidel Publishing Co.. pp. 197--252. 1986.
-
24Two Lambda-extensions of the theory of homogeneous simple types as a second-order logicNotre Dame Journal of Formal Logic 26 (4): 377-407. 1985.
-
23Realism, Mathematics and Modality (review)International Studies in Philosophy 24 (3): 139-141. 1992.
-
22The theory of homogeneous simple types as a second-order logicNotre Dame Journal of Formal Logic 20 (3): 505-524. 1979.
-
21Fregean semantics for a realist ontologyNotre Dame Journal of Formal Logic 15 (4): 552-568. 1974.
-
20Review: Peter Ohrstrom, Per Hasle, A. N. Prior's Rediscovery of Tense Logic (review)Journal of Symbolic Logic 60 (1): 347-348. 1995.
-
18Review: James E. Tomberlin, The Sea Battle Tomorrow and Fatalism (review)Journal of Symbolic Logic 40 (2): 254-254. 1975.
-
17Continuity and Change in the Development of Russell's PhilosophyJournal of the History of Philosophy 35 (1): 150-151. 1997.
-
16Philosophical Perspectives on Formal Theories of PredicationIn Dov M. Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic, Kluwer Academic Publishers. pp. 253--326. 1983.
-
Indiana University, BloomingtonRetired faculty
Areas of Specialization
Metaphysics |
Philosophy of Language |
Logic and Philosophy of Logic |
Philosophy of Biology |
Philosophy of Mathematics |