Information
- Publication Type: Conference Paper
- Workgroup(s)/Project(s): not specified
- Date: 2004
- Location: Cologne
- Editor: Büchel, G, Klein, B
- Booktitle: Proceedings of the First Workshop on Philosophy and Informatics (WSPI 2004)
- Conference date: March 2004 –
- Pages: 105 – 111
- Keywords: Tarski paradox, Language of logic
Abstract
Paradoxes, particularly Tarski's liar paradox, represent an ongoing challenge have long attracted special interest. There have been numerous attempts to give either a formal or a more realistic resolution to this area based on natural logical intuition or common sense.The present semantic analysis of the problem components concludes that the traditional language of logic fails to detect Tarski's paradox, since the formalised version of a liar sentence does not represent a correct definition. Neither the formal language, nor the logical system is deficient in this respect. Only natural language statements cannot be interpreted adequately by traditional language of logic.
Additional Files and Images
Weblinks
No further information available.BibTeX
@inproceedings{Redey-2004-SRLR, title = "Self-referencing languages revisited", author = "Gabor Redey and Attila Neumann", year = "2004", abstract = "Paradoxes, particularly Tarski's liar paradox, represent an ongoing challenge have long attracted special interest. There have been numerous attempts to give either a formal or a more realistic resolution to this area based on natural logical intuition or common sense. The present semantic analysis of the problem components concludes that the traditional language of logic fails to detect Tarski's paradox, since the formalised version of a liar sentence does not represent a correct definition. Neither the formal language, nor the logical system is deficient in this respect. Only natural language statements cannot be interpreted adequately by traditional language of logic. ", location = "Cologne", editor = "B\"{u}chel, G, Klein, B", booktitle = "Proceedings of the First Workshop on Philosophy and Informatics (WSPI 2004)", pages = "105--111", keywords = "Tarski paradox, Language of logic", URL = "https://www.cg.tuwien.ac.at/research/publications/2004/Redey-2004-SRLR/", }