The liar paradox and fuzzy logic

Journal of Symbolic Logic 65 (1):339-346 (2000)
  Copy   BIBTEX

Abstract

Can one extend crisp Peano arithmetic PA by a possibly many-valued predicate Tr(x) saying "x is true" and satisfying the "dequotation schema" $\varphi \equiv \text{Tr}(\bar{\varphi})$ for all sentences φ? This problem is investigated in the frame of Lukasiewicz infinitely valued logic

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,449

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
179 (#137,541)

6 months
8 (#390,329)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jeffrey Paris
University of Manchester

Citations of this work

No fact of the matter.Hartry Field - 2003 - Australasian Journal of Philosophy 81 (4):457 – 480.
A revenge-immune solution to the semantic paradoxes.Hartry Field - 2003 - Journal of Philosophical Logic 32 (2):139-177.
Curry’s Paradox and ω -Inconsistency.Andrew Bacon - 2013 - Studia Logica 101 (1):1-9.
Paths to Triviality.Tore Fjetland Øgaard - 2016 - Journal of Philosophical Logic 45 (3):237-276.

View all 24 citations / Add more citations

References found in this work

Fuzzy logic and arithmetical hierarchy, II.Petr Hájek - 1997 - Studia Logica 58 (1):129-141.

Add more references