"Finite Matrices and the Logic of Conditionals." Journal of Philosophical Logic (August 1981), 10(3):349-351.
"A Counterexample to Modus Ponens." Journal of Philosophy (September 1985), 82(9):462-471.
"How Truthlike Can a Predicate Be: A Negative Result." Journal of Philosophical Logic (November 1985), 14(4):399-410.
"Truth and Necessity in Partially Interpreted
Ph.D. Dissertation in Logic and Methodology of
Science, University of California, Berkeley, 1985.
Abstract in Dissertation Abstracts International (September 1986), 47(3A):935-A.
Abstract: Tarski showed how to give satisfactory theories of truth for a wide variety of languages, but he required that the theory of truth for a language be formulated in an essentially richer metalanguage. Since there is no human language essentially richer than a natural language and since we would like to develop consistent theories of truth for natural languages, we would like to learn how to formulate a theory of truth for a language within that very language. Toward this end, I consider a class of formalized languages called partially interpreted languages, derived from the work of Carnap, in which sentences are classified as definitely true, definitely false, and intermediate. I give a condition of adequacy, analogus to Tarski's Convension T, requiring that (phi) is true be definitely true (definitely false) iff (phi) is definitely true (definitely false), and show that it is possible to give, effectively and explicity, a theory of truth that meets the condition. Theories of truth that meet the condition are shown to have various pleasant properties. The construction depends heavily upon the work of Saul Kripke. In addition to the work of Tarski and Kripke, the 'naive semantics' of Gupta and Herzberger is discussed. Of the paradoxes other than the liar, only Montague's paradox about necessity is discussed in any detail. To solve this paradox, I recommend a provability interpretation of modal logic of the type studied by Solovay. Prospects for extending Solovay's results into quantified modal logic are discussed. The work is entirely concerned with formal languages, although it is hoped that the tools developed can be usefully applied to natural languages.
(with George Boolos.) "The Degree of the Set of Sentences of Predicate Provability Logic That are True Under Every Interpretation." Journal of Symbolic Logic (March 1987), 52(1):165-171.
"Applying Kripke's Theory of Truth."
Journal of Philosophy (October 1989), 86(10):530-539.
Eighty-sixth Annual Meeting American Philosophical Association, Eastern Division Symposium: Kripke's Theory of Truth.
"Conditional Probabilities and Compounds of Conditionals." Philosophical Review (October 1989), 98(4) :485-541.
Truth, Vagueness, and Paradox: An Essay on the Logic of
Indianapolis: Hackett, 1990.
Awarded the Johnsonian Prize in Philosophy, 1988.
"Comments on Nute and Sanford."
Nous (April 1991), 25(2):212-213.
On Donald Nute's "Historical Necessity and Conditionals," pp. 161-178, and David H. Sanford's "Coulds, Mights, Ifs and Cans, Revisited," pp. 208-211.
(with Keith Lehrer.) "An Epistemic Principle Which Solves Newcomb's Paradox." Grazer Philosophische Studien (1991), 40:197-220.
"Reply to Christian Piller."
Grazer Philosophische Studien (1991), 40:229-232.
On Piller's "Comment on Keith Lehrer and Vann McGee's Solution of Newcomb's Problem," pp. 221-228.
Review of Jon Barwise and John Etchemendy's The Liar: An Essay on Truth and Circularity. Philosophical Review (July 1991), 100(3) :472-474.
"We Turing Machines Aren't Expected-Utility Maximizers (Even Ideally)." Philosophical Studies (October 1991), 64(1):115-123.
"Maximal Consistent Sets of Instances of Tarski's Schema (T)." Journal of Philosophical Logic (August 1992), 21(3):235-241.
(with Keith Lehrer.) "Particulars, Individual Qualities, and Universals." In Kevin Mulligan, ed. Language, Truth and Ontology, pp. 37-47. Philosophical Studies, 51. Dordrecht & Boston: Kluwer, 1992.
Review of Arnold Koslow's A Structuralist Theory of Logic. Journal of Philosophy (May 1993), 90(5):271-274.
Review of D.H. Sanford's If P, then Q: Conditionals and the Foundations of Reasoning. Philosophy and Phenomenological Research (March 1993), 53(1):239-242.
Review of Igal Kvart's A Theory of Counterfactuals. Philosophy of Science (September 1993), 60(3):518-519.
Review of John Etchemendy's The Concept of Logical Consequence. Journal of Symbolic Logic (1992), 57(1):254-255.
Review of Robert C. Koons' Paradoxes of Belief and Strategic Rationality. Mind (October 1993), 102(408):665-668.
Conception of Truth?"
Philosophical Topics (1993), 21(2):83-111.
This issue is on "Philosophy of Logic."
"Two Problems with Tarski's Theory of Consequence." Proceedings of the Aristotelian Society (1992), 92:273-292.
"Learning the Impossible." In Ellery Eells and Brian Skyrms, eds.,
Conditionals: Belief Revision and Rational Decision, pp. 179-199.
Cambridge Studies in Probability, Induction, and Decision
Cambridge & New York: Cambridge University Press, 1994.
"Essays on probability and conditionals is intended to honor Professor Ernest W. Adams..."
"On the Degrees of Unsolvability of Modal Predicate Logics of Provability." Journal of Symbolic Logic (March 1994), 59(1):253-261.
(with Brian McLaughlin.) "Distinctions Without a Difference."
Southern Journal of Philosophy (1995), 33(Supplement):203-251.
Issue is on the Spindel Conference on "Vagueness," at the University of Memphis, October 6-8, 1994.
"Logical Operations." Journal of Philosophical Logic (December 1996), 25(6):567-580.
Review of Anil Gupta and Nuel Belnap's The Revision Theory of Truth. Philosophy and Phenomenological Research (September 1996), 56(3):727-730.
"The Complexity of the Modal Predicate Logic of 'True in Every Transitive Model of ZF'." Journal of Symbolic Logic (December 1997), 62(4):1371-1378.
"How We Learn Mathematical Language." Philosophical Review (January 1997), 106(1) :35-68.
"Revision." In Enrique Villaneuva, ed., Truth. Philosophical Issues, 8. Atascadero: Ridgeview, 1997.
Canadian Journal of Philosophy. Supplementary Volume (1998),
Issue is on "Meaning and Reference," edited by Ali A. Kazmi.
(with Brian McLaughlin.) Review of Timothy Williamson's Vagueness. Linguistics and Philosophy (April 1998), 21(2):221-235.
"An Airtight Dutch Book." Analysis (October 1999), 59(4):257-265.
"The Analysis of 'x is true' as 'For any p, if x = 'p', then p'." In André Chapuis and Anil Gupta, eds., Circularity, Definition, and Truth, pp. 255-272. New Delhi & Atascadero, CA: Indian Council of Philosophical Research/Ridgeview, 2000.
(with Augustin Rayo.) "A Puzzle about De Rebus Beliefs." Analysis (October 2000), 60(4):297-299.
"To Tell the Truth about Conditionals." Analysis (January 2000), 60(1):107-111.
"Truth by Default." Philosophia Mathematica (2001),
Part of the George Boolos Memorial Symposium II, at Notre Dame, April 15-18, 1998.
Copyright © All rights reserved. Regents of the University of