-
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)
-
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.
-
92Frege'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.
-
27A 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
-
9A Note On The Definition Of Identity In Quine's New FoundationsMathematical Logic Quarterly 22 (1): 195-197. 1976.
-
Logical Investigations of Predication Theory and the Problem of UniversalsLinguistics and Philosophy 13 (2): 265-271. 1990.
-
19Review: 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.
-
117Mass 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
-
81Russell'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
-
124Logical atomism, nominalism, and modal logicSynthese 31 (1). 1975.While operators for logical necessity and possibility represent "internal" conditions of propositions (or of their corresponding states of affairs), These conditions will be "formal", As is required by logical atomism, And not "material" in content if from the (pseudo) semantical point of view the modal operators range over "all the possible worlds" of a logical space rather than over arbitrary non-Empty sets of worlds (as is usually done in modal logic). Some of the implications of this require…Read more
-
42Reply to Andriy Vasylchenko’s Review of Formal Ontology and Conceptual RealismAxiomathes 19 (2): 167-178. 2009.
-
8Review: Leonard Goddard, Richard Routley, The Logic of Significance and Context (review)Journal of Symbolic Logic 49 (4): 1413-1415. 1984.
-
Indiana University, BloomingtonRetired faculty
Areas of Specialization
Metaphysics |
Philosophy of Language |
Logic and Philosophy of Logic |
Philosophy of Biology |
Philosophy of Mathematics |