-
22The theory of homogeneous simple types as a second-order logicNotre Dame Journal of Formal Logic 20 (3): 505-524. 1979.
-
66Existence entailing attributes, modes of copulation and modes of being in second order logicNoûs 3 (1): 33-48. 1969.
-
16Philosophical Perspectives on Formal Theories of PredicationIn Dov M. Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic, Kluwer Academic Publishers. pp. 253--326. 1983.
-
45A 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.
-
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
-
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.
-
56A 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.
-
46Review of Uwe Meixner, Modelling Metaphysics: The Metaphysics of a Model (review)Notre Dame Philosophical Reviews 2010 (5). 2010.
-
25Frege, Russell and Logicism: a Logical ReconstructionIn L. Haaparanta & J. Hintikka (eds.), Frege Synthesized, D. Reidel Publishing Co.. pp. 197--252. 1986.
-
8Review: David Randall Luce, A Calculus of `Before.' (review)Journal of Symbolic Logic 34 (4): 646-647. 1969.
-
47Nominalism and conceptualism as predicative second-order theories of predicationNotre Dame Journal of Formal Logic 21 (3): 481-500. 1980.
-
151Denoting concepts, reference, and the logic of names, classes as many, groups, and pluralsLinguistics and Philosophy 28 (2). 2005.Bertrand Russell introduced several novel ideas in his 1903 Principles of Mathematics that he later gave up and never went back to in his subsequent work. Two of these are the related notions of denoting concepts and classes as many. In this paper we reconstruct each of these notions in the framework of conceptual realism and connect them through a logic of names that encompasses both proper and common names, and among the latter, complex as well as simple common names. Names, proper or common, …Read more
-
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.
-
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.
-
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.
-
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
-
85Logical 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.
-
18Review: James E. Tomberlin, The Sea Battle Tomorrow and Fatalism (review)Journal of Symbolic Logic 40 (2): 254-254. 1975.
-
104Frege'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.
-
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
-
Indiana University, BloomingtonRetired faculty
Areas of Specialization
Metaphysics |
Philosophy of Language |
Logic and Philosophy of Logic |
Philosophy of Biology |
Philosophy of Mathematics |