"Aksjomatyczne teorie prawdy"

Spis treści

Przedmowa 10

Część I. Podstawy 12

Rozdział 1. Definicyjne i aksjomatyczne teorie prawdy 14

Rozdział 2. Nośniki prawdy 22

Rozdział 3. Tarski 30

Rozdział 4. Prawda i teoria mnogości 42

4.1. Definicje i aksjomatyzacje 42

4.2. Paradoksy i typizowanie 44

Rozdział 5. Techniczne preliminaria 48

5.1. Arytmetyka Peana 48

5.2. Prawda i spełnianie 55

5.3. Przekłady i twierdzenie o rekursji 56

Rozdział 6. Porównywanie aksjomatycznych teorii prawdy 60

Część II. Prawda stratyfikowana 70

Rozdział 7. Dyskwotacja, czyli odcudzysłowianie 74

Rozdział 8. Klasyczna prawda kompozycyjna 86

8.1. Konserwatywność prawdy kompozycyjnej 92

8.2. Konserwatywność a teoria modeli 107

8.3. Modele niestandardowe 109

8.4. Twierdzenie Lachlana 115

8.5. Klasy spełniania i aksjomatyczne teorie prawdy 125

8.6. Prawda kompozycyjna a elementarne wyróżnianie 129

8.7. Prawda pozytywna 145

Rozdział 9. Hierarchie 154

9.1. Aksjomatyzacja hierarchii Tarskiego 157

9.2. Hierarchie nieufundowane 161

Część III. Prawda niestratyfikowana 168

Rozdział 10. Stratyfikowane i niestratyfikowane teorie prawdy 174

Rozdział 11. Argumenty przeciwko stratyfikowaniu 182

Rozdział 12. Aksjomaty i reguły 186

Rozdział 13. Aksjomaty niestratyfikowanej prawdy 190

Rozdział 14. Klasyczna prawda symetryczna 198

14.1. Teoria Friedmana–Shearda i semantyka rewizyjna 202

14.2. Teoria dowodu dla systemu Friedmana–Shearda 216

14.3. Aksjomatyka Friedmana–Shearda 227

14.4. Wyrażenie ukonieczniania za pomocą refleksji 230

14.5. Bez spełniania 235

Rozdział 15. Kripke-Feferman 238

15.1. Semantyka punktu stałego 246

15.2. Zupełność i niesprzeczność 256

15.3. Teoria dowodu dla systemu Kripkego–Fefermana 262

15.4. Rozszerzenia 272

Rozdział 16. Aksjomatyzacja teorii Kripkego w logice częściowej 276

16.1. Częściowy system Kripkego–Fefermana 280

16.2. Teoriodowodowa analiza częściowej teorii Kripkego–Fefermana 293

Rozdział 17. Ugruntowana prawda 308

Rozdział 18. Alternatywne schematy ewaluacyjne 316

Rozdział 19. Dyskwotacja 322

19.1. Maksymalne niesprzeczne zbiory zdań dyskwotacyjnych 323

19.2. Maksymalne konserwatywne zbiory zdań dyskwotacyjnych 328

19.3. Pozytywna dyskwotacja 330

19.4. Semantyka pozytywnej dyskwotacji 333

19.5. Teoria dowodu dla pozytywnej dyskwotacji 336

Część IV. Drogi do prawdy 344

Rozdział 20. Logika klasyczna 346

20.1. Koszty logiki nieklasycznej 348

20.2. Wewnętrzna logika teorii Kripkego–Fefermana 353

20.3. Siła wyrazu w logice nieklasycznej 359

20.4. Ograniczenie logiki nieklasycznej 362

Rozdział 21. Deflacjonizm 366

21.1. Dyskwotacjonizm 367

21.2. Konserwatywność 373

Rozdział 22. Refleksja 384

22.1. Zasady refleksji 384

22.2. Domknięcie refleksywne 389

Rozdział 23. Redukcja ontologiczna 394

Rozdział 24. Zastosowania teorii prawdy 398

24.1. Prawda w języku naturalnym 399

24.2. Rozszerzenia schematów 401

Indeks systemów 408

Appendix do wydania polskiego 410

Bibliografia 412

Skorowidz osób 428

Skorowidz pojęć 432