Article PDF
Avoid common mistakes on your manuscript.
References
Belnap Neul D. Jr., ‘Gupta's rule of revision theory of truth’,Journal of Philosophical Logic 11 (1982), 103–116.
Feferman Solomon, ‘Toward useful type-free theories. I’,Journal of Symbolic Logic 49 (1984), 75–111.
Gödel Kurt, ‘Über formal unentscheidbare Sätze derPrincipia mathematica und verwandter Systeme I’,Monatshefte für Mathematik und Physik 38 (1931) 173–198. English translation by Stefan Bauer-Mengelberg in Jean van Heienoort, ed.,From Frege to Godel, pp. 596–616. Harward University Press, Cambridge, Mass.: 1967.
Gupta Anil, ‘Truth and paradox’,Journal of Philosophical Logic 11 (1982) 1–60.
Herzberger Hans G., ‘Notes on naive semantics’,Journal of Philosophical Logic 11 (1982), 61–102.
Kleene Stephen Cole,Introduction to Metamathematics, American Elsevier, New York, 1952.
Kripke Saul A., ‘Outline of a theory of truth’,Journal of Philosophy 72 (1975), 690–716.
Montague Richard, ‘Syntactic treatments of modality, with corollaries on reflexion principles and finite axiomatizability’,Acta Philosophica Fennica 16 (1966), 154–167. Reprinted in Montague,Formal Philosophy, pp. 286–302. New Haven: Yale University Press, 1974.
Moschovakis Yiannis N.,Elementary Induction on Abstract Structures, American Elsevier, New York, 1974.
Tarski Alfred, ‘Der Wahrheitsbegriff in den formalisierten Sprachen’,Studia Philosophica 1 (1935) 261–405. English translation by Joseph H. Woodger, in Tarski,Logic, Semantics, Metamathematics, pp. 152–278, Oxford University Press, Oxford 1956.
Tarski Alfred, Mostowski Andrzej, and Robinson Raphael M.,Undecidable Theories, North-Holland, Amsterdam, 1953.
Van Fraassen Bas C., ‘Singular terms, truth-value gaps, and free logic’,Journal of Philosophy 63 (1966), 481–495.
Woodruff Peter W., ‘Paradox, truth and logic, Part I’,Journal of Philosophical Logic 13 (1984), 213–232.
Author information
Authors and Affiliations
Additional information
In preparing this note, I profited from valuable discussions with a number of persons. Let me mention Nuel Belnap, Charles Chihara, Michael Lavine, William Reinhardt, Jack Silver, Albert Visser, Peter Woodruff, and Steven Yablo. Work along the same lines by Harvey Friedman was alluded to by Kripke [7, p. 712n].
Rights and permissions
About this article
Cite this article
McGee, V. How truthlike can a predicate be? A negative result. J Philos Logic 14, 399–410 (1985). https://doi.org/10.1007/BF00649483
Issue Date:
DOI: https://doi.org/10.1007/BF00649483