The liar paradox and fuzzy logic

DOI10.2307/2586541zbMath0945.03031MaRDI QIDQ4953224

Petr Hájek, Jeffrey Bruce Paris, John C. Shepherdson

Publication date: 22 June 2000

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2586541

zbMATH Keywords

extension of Peano arithmetic; Łukasiewicz infinitely valued logic; many-valued predicate; unary truth predicate

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

03F30: First-order arithmetic and fragments

03B50: Many-valued logic

Related Items

The sorites paradox and fuzzy logic, Łukasiewicz and His Followers in Many-Valued Logic, Sorites, Curry and Suitable Models, Truth without standard models: some conceptual problems reloaded, A UNIFIED THEORY OF TRUTH AND PARADOX, Paths to triviality, Curry's paradox and \(\omega \)-inconsistency, Saving the truth schema from paradox, Naive structure, contraction and paradox, A revenge-immune solution to the semantic paradoxes, \(\mathrm{IKT}^\omega\) and Łukasiewicz-models, Triangular norm based predicate fuzzy logics, Non-deterministic conditionals and transparent truth, On arithmetic in the Cantor-Łukasiewicz fuzzy set theory, NAIVE TRUTH AND RESTRICTED QUANTIFICATION: SAVING TRUTH A WHOLE LOT BETTER, A Co-inductive Language and Truth Degrees, Paraconsistent or Paracomplete?, ON THE PROBABILISTIC CONVENTION T

Cites Work

• Fuzzy logic and arithmetical hierarchy. II
• Metamathematics of fuzzy logic
• On the definition of an infinitely-many-valued predicate calculus