Logic of knowledge and utterance and the liar

Journal of Philosophical Logic 27 (1):85-108 (1998)

Abstract
We extend the ordinary logic of knowledge based on the operator K and the system of axioms S₅ by adding a new operator Uφ, standing for "the agent utters φ", and certain axioms and a rule for U, forming thus a new system KU. The main advantage of KU is that we can express in it intentions of the speaker concerning the truth or falsehood of the claims he utters and analyze them logically. Specifically we can express in the new language various notions of lying, as well as of telling the truth. Consequently, as long as lying or telling the truth about a fact is an intentional mode of the speaker, we can resolve the Liar paradox, or at least some of its variants, turning it into an ordinary (false or true) sentence. Also, using Kripke structures analogous to those employed by S. Kraus and D. Lehmann in [3] for modelling the logic of knowledge and belief, we offer a sound and complete semantics for KU
Keywords Liar paradox  logic of knowledge  utterance operator
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1017946620987
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 39,669
Through your library

References found in this work BETA

Computing Machinery and Intelligence.Alan M. Turing - 1950 - Mind 59 (October):433-60.
The Liar Paradox.Charles Parsons - 1974 - Journal of Philosophical Logic 3 (4):381 - 412.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Shifting Frames: From Divided to Distributed Psychologies of Scientific Agents.Peter J. Taylor - 1994 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1994:304-310.
How Bad Is Rape?H. E. Baber - 1987 - Hypatia 2 (2):125-138.
Super Liars.Philippe Schlenker - 2010 - Review of Symbolic Logic 3 (3):374-414.

Analytics

Added to PP index
2009-01-28

Total views
28 ( #273,919 of 2,326,622 )

Recent downloads (6 months)
3 ( #542,080 of 2,326,622 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature