Skip to main content
SpringerLink
Log in
Book cover

European Summer School in Logic, Language and Information

European Summer School in Logic, Language and Information

ESSLLI 2008, ESSLLI 2009: Interfaces: Explorations in Logic, Language and Computation pp 25–37Cite as

What Makes a Knight?

  • Conference paper

  • 489 Accesses

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

Abstract

In Smullyan’s well known logic puzzles (see for instance [3]), the notion of a knight, which is a creature that always speaks the truth, plays an important role. Rabern and Rabern (in [2]) made the following observation with respect to knights. They noted that when a knight is asked (1), he gets into serious trouble.

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 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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Kripke, S.: Outline of a theory of truth. Journal of Philosophical Logic 72, 690–716 (1975)

    Google Scholar 

  2. Rabern, B., Rabern, L.: A simple solution to the hardest logic puzzle ever. Analysis 68, 105–112 (2008)

    MATH  MathSciNet  Google Scholar 

  3. Smullyan, R.: The Lady or the Tiger. Pelican Books (1983)

    Google Scholar 

  4. Smullyan, R.: First-order Logic. Dover, New York (1995)

    Google Scholar 

  5. Wintein, S.: Computing with self-reference. In: Proceedings of the A.G.P.C. 09 conference, available online (2009)

    Google Scholar 

  6. Wintein, S.: On languages that contain their own ungroundedness predicate. To appear in: Logique et Analyse, also available in the online proceedings of ESSLLI’ 09 (2009)

    Google Scholar 

  7. Wintein, S.: Assertoric alethic semantics and the six cornerstones of truth (submitted) (2010)

    Google Scholar 

  8. Wintein, S.: Assertoric semantics and the computational power of self-referential truth (submitted) (2010)

    Google Scholar 

Download references

Authors
  1. Stefan Wintein
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Stanford University, Stanford,, CA, USA

    Thomas Icard

  2. Tilburg University, Tilburg, The Netherlands

    Reinhard Muskens

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wintein, S. (2010). What Makes a Knight?. In: Icard, T., Muskens, R. (eds) Interfaces: Explorations in Logic, Language and Computation. ESSLLI ESSLLI 2008 2009. Lecture Notes in Computer Science(), vol 6211. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14729-6_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-14729-6_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-14728-9

  • Online ISBN: 978-3-642-14729-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation