On the Antinomy of the Liar and the Semantics of Natural Language
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 1 and the discovery of undecidable statements and the impossibility of proofs of consistency under specified conditions (; see also , Vol. II, pp. 256ff).
Unable to display preview. Download preview PDF.
- Hilbert, D., Bernays, P., Grundlagen der Mathematik, Berlin 1934, 1939.Google Scholar
- Tarski, A., ‘The Concept of Truth in Formalized Languages’, in: Tarski, A., Logic, Semantics, Metamathematics, Oxford 1956.Google Scholar
- Tarski, A., ‘The Establishment of Scientific Semantics’, ibid.Google Scholar
- Tarski, A., ‘On the Concept of Logical Consequence’, ibid.Google Scholar