Yablo-Like paradoxes and co-induction

Authors:
Shunsuke Yatabe
Affiliations:
Collaborate Research Team for Verification, National Institute of Advanced Industrial Science and Technology, Japan
Venue:
JSAI-isAI'10 Proceedings of the 2010 international conference on New Frontiers in Artificial Intelligence
Year:
2010

Citing 6
Cited 1

Co-induction in relational semantics

Theoretical Computer Science
Infinite objects in type theory

TYPES '93 Proceedings of the international workshop on Types for proofs and programs
Universal coalgebra: a theory of systems

Theoretical Computer Science - Modern algebra and its applications
Mathematics of infinity

COLOG '88 Proceedings of the International Conference on Computer Logic
Circular Languages

Journal of Logic, Language and Information
Triangular norm based predicate fuzzy logics

Fuzzy Sets and Systems

A co-inductive language and truth degrees

MOL'11 Proceedings of the 12th biennial conference on The mathematics of language

Quantified Score

Hi-index	0.00

Visualization

Abstract

We review three pairwise similar paradoxes, the modest liar paradox, McGee's paradox and Yablo's paradox, which imply the ω-inconsistency. We show that is caused by the fact that co-inductive definitions of formulae are possible because of the existence of the truth predicate.