On the Behavior of True and False

被引:0
|
作者
Wintein, Stefan [1 ,2 ]
机构
[1] Tilburg Univ, Dept Wijsbegeerte, NL-5000 LE Tilburg, Netherlands
[2] Tilburg Univ, TiLPS, NL-5000 LE Tilburg, Netherlands
关键词
Hardest logic puzzle ever; Self-reference; Truth; LOGIC PUZZLE EVER;
D O I
10.1007/s11023-011-9260-0
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Uzquiano (Analysis 70:39-44, 2010) showed that the Hardest Logic Puzzle Ever (HLPE) [in its amended form due to Rabern and Rabern (Analysis 68:105-112, 2008)] has a solution in only two questions. Uzquiano concludes his paper by noting that his solution strategy naturally suggests a harder variation of the puzzle which, as he remarks, he does not know how to solve in two questions. Wheeler and Barahona (J Philos Logic, to appear, 2011) formulated a three question solution to Uzquiano's puzzle and gave an information theoretic argument to establish that a two question solution for Uzquiano's puzzle does not exist. However, their argument crucially relies on a certain conception of what it means to answer self-referential yes-no questions truly and falsely. We propose an alternative such conception which, as we show, allows one to solve Uzquiano's puzzle in two questions. The solution strategy adopted suggests an even harder variation of Uzquiano's puzzle which, as we will show, can also be solved in two questions. Just as all previous solutions to versions of HLPE, our solution is presented informally. The second part of the paper investigates the prospects of formally representing solutions to HLPE by exploiting theories of truth.
引用
收藏
页码:1 / 24
页数:24
相关论文
共 50 条