-
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
-
16Bealer 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.
-
16Review: George Bealer, Quality and Concept (review)Journal of Symbolic Logic 50 (2): 554-556. 1985.
-
11Review: Richard M. Gale, The Language of Time (review)Journal of Symbolic Logic 37 (1): 170-172. 1972.
-
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.
-
10Errata: On the Logic of Nominalized Predicates and Its Philosophical InterpretationsErkenntnis 14 (1): 103-104. 1979.
-
10A Note On The Definition Of Identity In Quine's New FoundationsMathematical Logic Quarterly 22 (1): 195-197. 1976.
-
10Review: Leonard Goddard, Richard Routley, The Logic of Significance and Context (review)Journal of Symbolic Logic 49 (4): 1413-1415. 1984.
-
9The Intentions of Intentionality and Other New Models for Modalities (review)Grazer Philosophische Studien 3 (1): 219-230. 1977.
-
7Review: David Randall Luce, A Calculus of `Before.' (review)Journal of Symbolic Logic 34 (4): 646-647. 1969.
-
6Review: R. A. Bull, An Approach to Tense Logic (review)Journal of Symbolic Logic 39 (1): 173-173. 1974.
-
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...
-
4Review: James E. Tomberlin, Existence Attributes: A Second Look (review)Journal of Symbolic Logic 40 (2): 253-254. 1975.
-
Quantification, Time, and NecessityIn Karel Lambert (ed.), Philosophical Applications of Free Logic, Oxford University Press. pp. 242--256. 1991.
-
Whither Russell's paradox of predication?In Milton Karl Munitz (ed.), Logic and ontology, New York University Press. pp. 133--158. 1973.
-
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.
-
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.
-
Formal ontologyIn Hans Burkhardt & Barry Smith (eds.), Handbook of metaphysics and ontology, Philosophia Verlag. pp. 640--647. 1991.
-
Indiana University, BloomingtonRetired faculty
Areas of Specialization
Metaphysics |
Philosophy of Language |
Logic and Philosophy of Logic |
Philosophy of Biology |
Philosophy of Mathematics |