Knights, Knaves, Normals, and Neutrals
2014; Taylor & Francis; Volume: 45; Issue: 4 Linguagem: Inglês
10.4169/college.math.j.45.4.297
ISSN1931-1346
Autores Tópico(s)Classical Antiquity Studies
ResumoSummaryPuzzles about knights and knaves, in which knights only make true statements and knaves only make false statements, are a fun and instructive way of introducing principles of classical logic. There are, however, many systems of non-classical logic as well. We consider what knight/knave puzzles might look like with respect to one such non-classical system: three-valued logic. In this system, all statements are either true, false, of neutral, with the third value applying to statements that are vague, or neither true nor false. Additional informationNotes on contributorsJason RosenhouseJason Rosenhouse (rosenhjd@jmu.edu) is a professor of mathematics at James Madison University in Virginia. Although his primary research interests are in algebraic graph theory and analytic number theory, he is the author/editor of four books on subjects ranging from the Monty Hall problem to evolution and creationism. Most recently, he is the editor of Four Lives: A Celebration of Raymond Smullyan published by Dover. The idea for this paper was born while he was working on that book and reading all of Smullyan's books of logic puzzles in quick succession. When not doing mathematics, he enjoys chess, cooking, and reading locked-room mysteries.
Referência(s)