Abstract
We show how to construct certain “L M, T -type” interpreted languages, with each such language containing meaningfulness and truth predicates which apply to itself. These languages are comparable in expressive power to the L T -type, truth-theoretic languages first considered by Kripke, yet each of our L M, T -type languages possesses the additional advantage that, within it, the meaninglessness of any given meaningless expression can itself be meaningfully expressed. One therefore has, for example, the object level truth (and meaningfulness) of the claim that the strengthened Liar is meaningless.
Similar content being viewed by others
REFERENCES
Aczel, Peter and Feferman, Solomon, Consistency of the unrestricted abstraction principle using an intensional equivalence operator, in J. P. Seldin and H. Putnam (eds.), To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, Academic Press Inc., New York, 1980, pp. 67-98.
Anderson, Alan R., St. Paul's epistle to Titus, in R. L. Martin (ed.), The Paradox of the Liar, Yale University Press, New Haven, 1970, pp. 1-11.
Barwise, Jon and Etchemendy, John, The Liar: An Essay on Truth and Circularity, Oxford University Press, New York, 1987.
Bealer, George, Quality and Concept, Oxford University Press, Oxford, 1982.
Belnap, Nuel D., Gupta's rule of revision theory of truth, J. Philos. Logic 11(1) (1982), 103-116.
Beth, Evert W., The Foundations of Mathematics, North-Holland, Amsterdam, 1965, p. 24.
Curry, Haskell B., Foundations of Mathematical Logic, McGraw-Hill, New York, 1963.
Feferman, Solomon, Toward useful type-free theories, I, in R. L. Martin (ed.), Recent Essays on Truth and the Liar Paradox, Oxford University Press, New York, 1984, pp. 237-287. This paper was also published under the same title in the J. Symbolic Logic 49(1) (1984), 75-111.
Fitch, Frederic B., An extension of basic logic, J. Symbolic Logic 13(3) (1948), 95-106.
Gaifman, Haim, Pointers to truth, J. Philos. 89(5) (1992), 223-261.
Gilmore, Paul. C., The consistency of partial set theory without extensionality, in T. Jech (ed.), Axiomatic Set Theory, Proceedings of Symposia in Pure Mathematics, Vol. 13, part 2, Amer. Math. Soc., Providence, 1974, pp. 147-153.
Gödel, Kurt, Russell's mathematical logic, in P. Benacerraf and H. Putnam (eds), Philosophy of Mathematics, Prentice-Hall, Englewood Cliffs, New Jersey, 1964, pp. 211-232. (See pp. 228-229.) This paper is a reprint under the same title, from The Philosophy of Bertrand Russell, The Library of Living Philosophers, P. A. Schilpp (ed.), 1944, pp. 125-153. (Tudor Publishing Co, New York) (See p. 149.)
Gupta, Anil, Truth and paradox, J. Philos. Logic 11(1) (1982), 1-60.
Gupta, Anil and Martin, Robert L., A fixed point theorem for the weak Kleene valuation scheme, J. Philos. Logic 13(2) (1984), 131-135.
Gupta, Anil, Two theorems concerning stability, in J. M. Dunn and A. Gupta (eds.), Truth or Consequences (Essays in Honor of Nuel Belnap), Kluwer Academic Publishers, Dordrecht, Netherlands, 1990, pp. 49-60.
Gupta, Anil and Belnap, Nuel D., The Revision Theory of Truth, MIT Press, Cambridge, Massachusetts, 1993.
Herzberger, Hans G., Naive semantics and the Liar paradox, J. Philos. 79(9) (1982), 479-497.
Herzberger, Hans G., Notes on naive semantics, J. Philos. Logic 11(1) (1982), 61-102.
Jech, Thomas J., Lectures in Set Theory, Lecture Notes in Math. 217, Springer-Verlag, New York, 1971, pp. 36-37.
Kleene, Stephen C., Introduction to Metamathematics, North-Holland, Amsterdam, 1964. (See pp. 332-340.)
Kneale, William and Kneale, Martha, The Development of Logic, Oxford University Press, London, 1964.
Kripke, Saul, Outline of a theory of truth, J. Philos. 72(19) (1975), 690-716.
Malitz, Jerome, Introduction to Mathematical Logic, Springer-Verlag, New York, 1979. (See p. 122.)
Martin, Robert L., A category solution to the Liar, in R. L. Martin (ed.), The Paradox of the Liar, Yale University Press, New Haven, 1970, pp. 91-112.
Martin, Robert L. and Woodruff, Peter W., On representing 'True-in-L’ in L, Philosophia 5(3) (1975), 213-217.
Mates, Benson, Stoic Logic, University of California Press, Berkeley, 1973.
McDonald, Brian Edison, Towards a theory of meaningfulness and truth: An introduction to variational semantics, Doctoral Dissertation, Department of Mathematics, University of Colorado at Boulder, 1992.
McGee, Vann, Applying Kripke's theory of truth, J. Philos. 86(10) (1989), 530-539.
McGee, Vann, Truth, Vagueness, and Paradox: An Essay on the Logic of Truth, Hackett Publishing Company, Indianapolis, 1990.
Monk, J. Donald, Mathematical Logic, Graduate Texts in Math. 37, Springer-Verlag, New York, 1976.
Mostowski, Andrzej, Alfred Tarski, in Encyclopedia of Philosophy 8, The Macmillan Company and the Free Press, New York, 1967, pp. 77-81. (See pp. 78-80.)
O'Carroll, M. J., A three-valued, non-levelled logic consistent for all self-reference, Logique et Analyse 10e année no. 38 (1967), 173-178.
Perlis, Donald, Languages with self-reference I: Foundations, Artif. Intell. 25(3) (1985), 301-322.
Prior, Arthur N., Correspondence theory of truth, in Encyclopedia of Philosophy 2, The Macmillan Company and the Free Press, New York, 1967, pp. 223-232. (See pp. 230-231.)
Ramsey, Frank P., The foundations of mathematics, in R. B. Braithwaite (ed.), The Foundations of Mathematics and other Logical Essays, Routledge and Kegan Paul Ltd., London, 1931, pp. 1-61. (See pp. 20-21.) This paper is a reprint, under the same title, from the Proc. London Math. Soc. Ser. 2 25 (1926), 338-384. (See pp. 352-354.)
Reinhardt, William N., Some remarks on extending and interpreting theories with a partial predicate for truth, J. Philos. Logic 15(2) (1986), 219-251.
Reinhardt, William N., Remarks on significance and meaningful applicability, in L. P. de Alcantara (ed.), Mathematical Logic and Formal Systems: A Collection of Papers in Honor of Professor Newton C. A. da Costa, Lecture Notes in Pure and Appl. Math. 94, Marcel Dekker, New York, 1985, pp. 227-242.
Reinhardt, William N., Necessity predicates and operators, J. Philos. Logic 9(4) (1980), 437-450. (See p. 450.)
Sagan, Hans, Introduction to the Calculus of Variations, Internat. Ser. in Pure and Appl. Math., McGraw-Hill, New York, 1969. (See pp. 25-34.)
Skyrms, Brian, Return of the Liar: Three-valued logic and the concept of truth, Amer. Philos. Quart. 7(2) (1970), 153-161.
Skyrms, Brian, Notes on quantification and self-reference, in R. L. Martin (ed.), The Paradox of the Liar, Yale University Press, New Haven, 1970, pp. 67-74. (See pp. 68-69.)
Tarski, Alfred, The concept of truth in formalized languages, in J. Corcoran (ed.), J. H. Woodger (transl.), Logic, Semantics, Metamathematics, 2nd edn., Hackett Publishing Co., Indianapolis, 1983, pp. 152-278. (1st ed. Oxford University Press, 1956). This paper was published in Warsaw in its original form, in Polish, in 1933–under the title Pojecie prawdy w jezykach nauk dedukcyjnych (On the concept of truth in languages of the deductive sciences).
Van Fraassen, Bas, Singular terms, truth-value gaps, and free logic, J. Philos. 63(17) (1966), 481-495.
Van Fraassen, Bas, Truth and paradoxical consequences, in R. L. Martin (ed.), The Paradox of the Liar, Yale University Press, New Haven, 1970, pp. 13-23.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
McDonald, B.E. On Meaningfulness and Truth. Journal of Philosophical Logic 29, 433–482 (2000). https://doi.org/10.1023/A:1026528019554
Issue Date:
DOI: https://doi.org/10.1023/A:1026528019554