Skip to main content
SpringerLink
Log in

Yablo-Like Paradoxes and Co-induction

  • Conference paper
New Frontiers in Artificial Intelligence (JSAI-isAI 2010)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 6797))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. The Agda Team. The Agda Wiki (2010), http://wiki.portal.chalmers.se/agda/

  2. Beall, J.: Spandrels of Truth. Oxford University Press, Oxford (2008)

    Google Scholar 

  3. Beall, J., Glanzberg, M.: Where the paths meet: remarks on truth and paradox. In: Truth. Notre Dame University Press (2008)

    Google Scholar 

  4. Cintula, P., Hajek, P.: Triangular norm based predicate fuzzy logic. Fuzzy Sets and Systems 161, 311–346 (2010)

    Article  MathSciNet  Google Scholar 

  5. Coquand, T.: Infinite Objects in Type Theory. Types, 62–78 (1993)

    Google Scholar 

  6. Cook, R.T.: There are non-circular paradoxes (but Yablo’s isn’t one of them!). The Monist 89(1), 118–149 (2006)

    Article  Google Scholar 

  7. Danielsson, N.A.: Beating the Productivity Checker Using Embedded Languages (2010) (preprint)

    Google Scholar 

  8. Field, H.: Saving Truth From Paradox. Oxford (2008)

    Google Scholar 

  9. Friedman, H., Sheard, M.: An axiomatic approach to self-referential truth. Annals of Pure and Applied Logic 33, 1–21 (1987)

    Article  MathSciNet  Google Scholar 

  10. Hájek, P., Paris, J.B., Shepherdson, J.C.: The Liar Paradox and Fuzzy Logic. Journal of Symbolic Logic 65(1), 339–346 (2000)

    Article  MathSciNet  Google Scholar 

  11. Halbach, V., Horsten, L.: The Deflationist’s Axioms for Truth. In: Deflationism and Paradox, pp. 203–217. Oxford University Press, Oxford (2005)

    Google Scholar 

  12. Hardy, J.: Is Yablo’s paradox liar-like? Analysis 55, 197–198 (1995)

    Article  MathSciNet  Google Scholar 

  13. Leitgeb, H.: Theories of truth which have no standard models. Studia Logica 68, 69–87 (2001)

    Article  MathSciNet  Google Scholar 

  14. Leitgeb, H.: Circular languages. Journal of Logic, Language and Information 13, 341–371 (2004)

    Article  MathSciNet  Google Scholar 

  15. Martin-Lof, P.: Mathematics of infinity. In: Conference on Computer Logic, pp. 146–197 (1988)

    Google Scholar 

  16. McGee, V.: How truthlike can a predicate be? A negative result. Journal of Philosophical Logic 17, 399–410 (1985)

    Article  MathSciNet  Google Scholar 

  17. Milner, R., Tofte, M.: Co-induction in relational semantics. Theoretical Computer Science 87, 209–220 (1991)

    Article  MathSciNet  Google Scholar 

  18. Priest, G.: Yablo’s paradox. Analysis 57, 236–242 (1997)

    Article  MathSciNet  Google Scholar 

  19. Restall, G.: Arithmetic and Truth in Łukasiewicz’s Infinitely Valued Logic. Logique et Analyse 36, 25–38 (1993)

    MathSciNet  Google Scholar 

  20. Rutten, J.J.M.M.: Universal co-algebra. Theoretical Computer Science 249, 3–80 (2000)

    Article  MathSciNet  Google Scholar 

  21. Tarski, A.: The concept of truth in the languages of the deductive sciences (1933) (polish); expanded English translation in Logic, Semantics, Metamathematics, (Hackett) pp. 152–278

    Google Scholar 

  22. Yablo, S.: Paradox Without Self-Reference. Analysis 53, 251–252 (1993)

    Article  MathSciNet  Google Scholar 

  23. Yatabe, S.: The revenge of the modest liar. Non-Classical Mathematics (2009)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Collaborate Research Team for Verification, National Institute of Advanced Industrial Science and Technology, Japan

    Shunsuke Yatabe

Authors
  1. Shunsuke Yatabe
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. System Engineering Research Lab., CRIEPI, 2-11-1, Iwado Kita, 201-8511, Komae-shi, Tokyo, Japan

    Takashi Onada

  2. Graduate School of Humanities and Sciences, Faculty of Science, Department of Information Science, Ochanomizu University, Otsuka 2-1-1, 112-8610, Bunkyo-ku, Tokyo, Japan

    Daisuke Bekki

  3. Department of English, 4-4-25 Shibuya, Aoyama Gakuin University, 150-8366, Shibuya-ku, Tokyo, Japan

    Elin McCready

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Yatabe, S. (2011). Yablo-Like Paradoxes and Co-induction. In: Onada, T., Bekki, D., McCready, E. (eds) New Frontiers in Artificial Intelligence. JSAI-isAI 2010. Lecture Notes in Computer Science(), vol 6797. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25655-4_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-25655-4_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-25654-7

  • Online ISBN: 978-3-642-25655-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation