On the Antinomy of the Liar and the Semantics of Natural Language

  • Roman Suszko
Part of the Synthese Library book series (SYLI, volume 119)


The antinomy of the liar has been discussed many times in formal logic. It is associated with remarkable advances in logic: the formulation of the semantic theory of truth [4]1 and the discovery of undecidable statements and the impossibility of proofs of consistency under specified conditions ([2]; see also [3], Vol. II, pp. 256ff).


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Carnap, R., ‘Die Antinomien und die Unvollständigkeit der Mathematik’, Monatshefte für Mathematik und Physik, 41, 1934, pp. 263–84.CrossRefGoogle Scholar
  2. [2]
    Gödei, K., Über formal unentscheidbare Sätze der “Principia Mathematica” und verwandter Systeme I’, Monatshefte für Mathematik und Physik 38, 1931, pp. 173–98.CrossRefGoogle Scholar
  3. [3]
    Hilbert, D., Bernays, P., Grundlagen der Mathematik, Berlin 1934, 1939.Google Scholar
  4. [4]
    Tarski, A., ‘The Concept of Truth in Formalized Languages’, in: Tarski, A., Logic, Semantics, Metamathematics, Oxford 1956.Google Scholar
  5. [5]
    Tarski, A., ‘The Establishment of Scientific Semantics’, ibid.Google Scholar
  6. [6]
    Tarski, A., ‘On the Concept of Logical Consequence’, ibid.Google Scholar

Copyright information

© PWN — Polish Scientific Publishers — Warszawa 1979

Authors and Affiliations

  • Roman Suszko

There are no affiliations available

Personalised recommendations