Skip to main content
SpringerLink
Log in
Book cover

JSAI International Symposium on Artificial Intelligence

JSAI-isAI 2015: New Frontiers in Artificial Intelligence pp 166–182Cite as

Truth as a Logical Connective

  • Conference paper
  • First Online:

  • 1230 Accesses

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

Abstract

Some truth theories allow to represent and prove generalized statements as “all that you said is true” or “all theorems of \({\mathbf {PA}}\) are true” in the sense of deflationism.

I swear, in the kingdom of generalities, you could be imperius rex. (Haruki Murakami “A Wild Sheep Chase”)

This is a preview of subscription content, 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 EPUB and 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

Learn about institutional subscriptions

Notes

  1. 1.

    We note that this is the same reason why unrestricted form of the coinductive datatype implies a contradiction in Martin-Löf’s intuitionistic type theory.

  2. 2.

    Contrary, \((\mathbf {Tr}(A)\rightarrow \mathbf {Tr}(B))\rightarrow (\mathbf {Tr}(A\rightarrow B))\) is not problematic. Merging two streams is a typical guarded correcursive function.

References

  1. Belnap, N.D.: Tonk, plonk and plink. Analysis 22(6), 130–134 (1963)

    Article  Google Scholar 

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

    Google Scholar 

  3. Coquand, T.: Infinite objects in type theory. In: Barendregt, H., Nipkow, T. (eds.) TYPES 1993. LNCS, vol. 806, pp. 62–78. Springer, Heidelberg (1994). doi:10.1007/3-540-58085-9_72

    Chapter  Google Scholar 

  4. Dummett, M.: Frege: Philosophy of Language. Duckworth, London (1973)

    Google Scholar 

  5. Dummett, M.: The Logical Basis of Metaphysics (The William James Lectures, 1976). Harvard University Press, Cambridge (1993)

    Google Scholar 

  6. Field, H.: Saving Truth From Paradox. Oxford University Press, Oxford (2008)

    Book  MATH  Google Scholar 

  7. Friedman, H., Sheared, M.: An axiomatic approach to self-referential truth. Ann. Pure Appl. Logic 33, 1–21 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  8. Galinon, H.: Deflationary truth: conservativity or logicality? Philos. Q. (to appear)

    Google Scholar 

  9. Gupta, A., Belnap, N.: The Revision Theory of Truth. MIT Press, Cambridge (1993)

    MATH  Google Scholar 

  10. Gentzen, G.: Untersuchungen über das logische Schließen. I. Math. Z. 39(2), 176–210 (1934). Translated in: Investigations concerning logical deduction. In: Szabo, M. (ed.) The Collected Papers of Gerhard Gentzen, pp. 68–131. North-Holland, Amsterdam (1969)

    MathSciNet  MATH  Google Scholar 

  11. Hájek, P., Paris, J.B., Shepherdson, J.C.: The liar paradox and fuzzy logic. J. Symbolic Logic 65(1), 339–346 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  12. Halbach, V.: Axiomatic Theories of Truth. Cambridge University Press, Cambridge (2011)

    Book  MATH  Google Scholar 

  13. Halbach, V., Horsten, L.: The deflationist’s axioms for truth. In: Beal, J.C., Armour-Garb, B. (eds.) Deflationism and Paradox. Oxford University Press, Oxford (2005)

    Google Scholar 

  14. Hjortland, O.: HARMONY and the context of deducibility. In: Insolubles and Consequences. College Publications (2012)

    Google Scholar 

  15. Horsten, L.: Tarskian Turn. MIT Press, Cambridge (2012)

    MATH  Google Scholar 

  16. Leigh, G.E., Rathjen, M.: The Friedman-Sheard programme in intuitionistic logic. J. Symbolic Logic 77(3), 777–806 (2012)

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  18. McGee, V.: How truthlike can a predicate be? A negative result. J. Philos. Logic 17, 399–410 (1985)

    Article  MathSciNet  MATH  Google Scholar 

  19. Prawitz, D.: Natural Deduction: A Proof-Theoretical Study. Dover Publications, New York (2006)

    MATH  Google Scholar 

  20. Prior, A.: The runabout inference ticket. Analysis 21, 38–39 (1960–61)

    Google Scholar 

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

    MathSciNet  Google Scholar 

  22. Setzer, A.: Coalgebras as types determined by their elimination rules. In: Dybjer, P., Lindström, S., Palmgren, E., Sundholm, G. (eds.) Epistemology versus Ontology, pp. 351–369. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  23. Yablo, S.: Paradox without self-reference. Analysis 53, 251–252 (1993)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Graduate School of Letters, Center for Applied Philosophy and Ethics, Kyoto University, Kyoto, Japan

    Shunsuke Yatabe

Authors
  1. Shunsuke Yatabe
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Shunsuke Yatabe .

Editor information

Editors and Affiliations

  1. Chiba University Graduate School of Engineering, Chiba, Japan

    Mihoko Otake

  2. University of Tsukuba, Tokyo, Japan

    Setsuya Kurahashi

  3. Fujitsu Laboratories, Kanagawa, Japan

    Yuiko Ota

  4. National Institute of Informatics, Tokyo, Japan

    Ken Satoh

  5. Ochanomizu University, Tokyo, Japan

    Daisuke Bekki

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Yatabe, S. (2017). Truth as a Logical Connective. In: Otake, M., Kurahashi, S., Ota, Y., Satoh, K., Bekki, D. (eds) New Frontiers in Artificial Intelligence. JSAI-isAI 2015. Lecture Notes in Computer Science(), vol 10091. Springer, Cham. https://doi.org/10.1007/978-3-319-50953-2_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-50953-2_13

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-50952-5

  • Online ISBN: 978-3-319-50953-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation