Abstract
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).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
Carnap, R., ‘Die Antinomien und die Unvollständigkeit der Mathematik’, Monatshefte für Mathematik und Physik, 41, 1934, pp. 263–84.
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.
Hilbert, D., Bernays, P., Grundlagen der Mathematik, Berlin 1934, 1939.
Tarski, A., ‘The Concept of Truth in Formalized Languages’, in: Tarski, A., Logic, Semantics, Metamathematics, Oxford 1956.
Tarski, A., ‘The Establishment of Scientific Semantics’, ibid.
Tarski, A., ‘On the Concept of Logical Consequence’, ibid.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1979 PWN — Polish Scientific Publishers — Warszawa
About this chapter
Cite this chapter
Suszko, R. (1979). On the Antinomy of the Liar and the Semantics of Natural Language. In: Pelc, J. (eds) Semiotics in Poland 1984–1969. Synthese Library, vol 119. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-9777-6_24
Download citation
DOI: https://doi.org/10.1007/978-94-009-9777-6_24
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-009-9779-0
Online ISBN: 978-94-009-9777-6
eBook Packages: Springer Book Archive