-
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)
-
158Logic and OntologyAxiomathes 12 (1-2): 117-150. 2001.A brief review of the historicalrelation between logic and ontologyand of the opposition between the viewsof logic as language and logic as calculusis given. We argue that predication is morefundamental than membership and that differenttheories of predication are based on differenttheories of universals, the three most importantbeing nominalism, conceptualism, and realism.These theories can be formulated as formalontologies, each with its own logic, andcompared with one another in terms of thei…Read more
-
66Reply to Gregory Landini’s Review of Formal Ontology and Conceptual RealismAxiomathes 19 (2): 143-153. 2009.
-
Formal ontologyIn Hans Burkhardt & Barry Smith (eds.), Handbook of metaphysics and ontology, Philosophia Verlag. pp. 640--647. 1991.
-
23Realism, Mathematics and Modality (review)International Studies in Philosophy 24 (3): 139-141. 1992.
-
90Conceptual realism versus Quine on classes and higher-order logicSynthese 90 (3). 1992.The problematic features of Quine's set theories NF and ML are a result of his replacing the higher-order predicate logic of type theory by a first-order logic of membership, and can be resolved by returning to a second-order logic of predication with nominalized predicates as abstract singular terms. We adopt a modified Fregean position called conceptual realism in which the concepts (unsaturated cognitive structures) that predicates stand for are distinguished from the extensions (or intension…Read more
-
Quantification, Time, and NecessityIn Karel Lambert (ed.), Philosophical Applications of Free Logic, Oxford University Press. pp. 242--256. 1991.
-
21Fregean semantics for a realist ontologyNotre Dame Journal of Formal Logic 15 (4): 552-568. 1974.
-
37On the logic of nominalized predicates and its philosophical interpretationsErkenntnis 13 (1). 1975.
-
Whither Russell's paradox of predication?In Milton Karl Munitz (ed.), Logic and ontology, New York University Press. pp. 133--158. 1973.
-
35Actualism versus Possibilism in Formal OntologyIn Roberto Poli & Johanna Seibt (eds.), Theory and Applications of Ontology: Philosophical Perspectives, Springer Verlag. pp. 105--117. 2010.
-
10Review: R. A. Bull, An Algebraic Study of Tense Logics with Linear Time; R. A. Bull, Note on a Paper in Tense Logic (review)Journal of Symbolic Logic 36 (1): 173-173. 1971.
-
66Existence entailing attributes, modes of copulation and modes of being in second order logicNoûs 3 (1): 33-48. 1969.
-
4Review: James E. Tomberlin, Existence Attributes: A Second Look (review)Journal of Symbolic Logic 40 (2): 253-254. 1975.
-
22The theory of homogeneous simple types as a second-order logicNotre Dame Journal of Formal Logic 20 (3): 505-524. 1979.
-
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
-
16Philosophical Perspectives on Formal Theories of PredicationIn Dov M. Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic, Kluwer Academic Publishers. pp. 253--326. 1983.
-
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.
-
38Nino B. Cocchiarella, Reviewed work: Realistic Rationalism by Jerrold J. Katz (review)Philosophy of Science 67 (2): 341-343. 2000.
-
9The Intentions of Intentionality and Other New Models for Modalities (review)Grazer Philosophische Studien 3 (1): 219-230. 1977.
-
55A Note on the Definition of Identity in Quine's New FoundationsZeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1): 195-197. 1976.
-
50Logical Investigations of Predication Theory and the Problem of UniversalsNoûs 25 (2): 221-230. 1991.
-
25Frege, Russell and Logicism: a Logical ReconstructionIn L. Haaparanta & J. Hintikka (eds.), Frege Synthesized, D. Reidel Publishing Co.. pp. 197--252. 1986.
-
Indiana University, BloomingtonRetired faculty
Areas of Specialization
Metaphysics |
Philosophy of Language |
Logic and Philosophy of Logic |
Philosophy of Biology |
Philosophy of Mathematics |