Spis tre±ci
Przedmowa . . . .7
I. Mo»esz zosta¢ zaskoczona! . . . .11
1. Diabelska zagadka . . . 13
2. Zaskoczona? . . . 18
II. Logika kªamstwa i szczero±ci . . . .23
3. Rachmistrz spisu ludno±ci . . . .25
4. W poszukiwaniu Oony . . . 32
5. Mi¦dzyplanetarne zamieszanie . . . 37
III. Rycerze, ªotrzy i logika zdaniowa . . . 45
6. Drobinka logiki zdaniowej . . . 47
7. Rycerze, ªotrzy i logika zdaniowa . . . .57
8. Domkni¦cie logiczne i niesprzeczno±¢ . . . 63
IV. B¡d¹my ostro»ni! . . . 73
9. Paradoksalne? . . . 75
10. Problem si¦ pogª¦bia . . . .85
V. Kªopoty z niesprzeczno±ci¡ . . . 93
11. Logicy, którzy rozumuj¡ o sobie . . . .95
12. Kªopoty z niesprzeczno±ci¡ . . . 105
13. Systemy Gödlowskie . . . 112
14. Wi¦cej kªopotów z niesprzeczno±ci¡ . . . 117
VI. Samospeªniaj¡ce si¦ przekonania i twierdzenie Löba . . . 125
15. Samospeªniaj¡ce si¦ przekonania . . . 127
16. Diament Rajaha . . . 138
17. Wyspa Löba . . . 145
5
VII. Na gª¦bokich wodach . . . .153
18. My±laki typu G . . . .155
19. Skromno±¢, zwrotno±¢ i stabilno±¢ . . . 165
VIII. Nie mo»na rozstrzygn¡¢! . . . .173
20. Na zawsze nierozstrzygni¦te . . . 175
21. Wi¦cej bezrozstrzygni¦¢ . . . 182
IX. wiaty mo»liwe . . . 189
22. To niekoniecznie tak! . . . 191
23. wiaty mo»liwe . . . 198
24. Od konieczno±ci do dowodliwo±ci . . . 204
X. Istota sprawy . . . .209
25. Gödelowate uniwersum . . . 211
26. Pewne godne uwagi maszyny logiczne . . . 219
27. Samostosowalne systemy modalne . . . 231
XI. Finale . . . 239
28. Systemy modalne, maszyny i my±laki . . . 241
29. Niektóre dziwaczne my±laki! . . . 247
30. W retrospekcji . . . .255
Sªowo od tªumacza . . . 260
6