A logika fejlődése

Tartalomjegyzék: Előszó 9 A magyar kiadáshoz 11 A kezdetek 13 Az érvényesség fogalma 13 Geometriai bizonyítás 14 Dialektika és metafizikai érvelés 18 Erisztika és szofisztika 23 Platón és a logika filozófiája 27 Arisztotelés Organonja 33 Az Organon tartalma 33 A Katégoriák elmélete és logikai következményei 34 A Topika 42 Arisztotelés jelentés- és igazságelmélete 52 Az általános állítások négy típusa 61 A szillogizmus elmélete 73 Arisztotelés modális logikája 87 Nem szillogisztikus logika az Analitikákban 101 Arisztotelész iskolája: Theophrasztosz 104 A megaraiak és a sztoikusok 117 A sztoikus logika előzményei és a megarai filozófia 117 Megarai és sztoikus modalitáselméletek 121 Vita a feltételes állítások természetéről 131 A sztoikusok jelentés- és igazságelmélete 140 A következtetési szkámák sztoikus rendszere 159 A római és a középkori logika 176 Cicerótól Boëthiusig 176 Alcuintól Abélard-ig 196 Az egyetemek logikája 222 A terminusok sajátságai (Proprietates Terminorum) 243 A consequentiák 273 A reneszánsz utáni logika 296 A humanizmus és a természettudomány születése 296 Leibniz érdeklődési köre 316 Leibniz tartalmazási kalkulusa (Calculus de continentibus et contentis) 331 Saccheritől Hamiltonig 339 Bolzano és Mill 352 A matematikai absztrakció 370 Geometria és axiomatika 370 Számok és függvények 379 Boole és a logika algebrája 391 A Boole-féle algebra későbbi fejlődése 405 A relációk elmélete: De Morgan és Peirce 411 Számok, halmazok és sorozatok 418 Frege és kortársai 418 Cantor halmazelmélete 420 Frege kritikája elődeiről 425 A természetes számok Frege-féle definíciója 436 A számsor: Dedekind és Peano 446 Frege általános logikája 456 A Fogalomírás 456 Jelentés és jelölet: tárgyak és függvények 469 A Grundgesetze logikája 478 Frege jelentősége 484 A logika technika fejlődése Frege után 487 A jelölésrendszer változatai 487 A kifejtés módszerei: axiómák és szabályok 497 Természetes levezetés és leszármaztatás 509 Modális logika 519 Javaslatok alternatív logikákra 537 A logika filozófiája Frege után 545 Kifejezés, jelölés és igazság 545 A leírások elmélete és a jelölések változatai 560 Az intenzionalitás problémái 567 Azonosság, függvények, szabályok 582 Szükségszerűség és nyelv 591 A matematika filozófiája Frege után 612 A halmazelmélet paradoxonjai 612 Russell logikai típuselmélete 616 Brouwer intuicionizmusa 630 Hilbert matematikai programja 638 A deduktív rendszerek elmélete 645 Az elemi logika metaelmélete 645 Az általános logika metaelmélete 656 Az aritmetika teljes formalizálásának lehetetlensége 666 Az eldöntésprobléma 676 A logika helye a tudományok között 688 Az utolsó két évtized 695 A modális szemantika fejlődése 695 Modalitás és kvantifikáció 702 Releváns és parakonzisztens logikák 709 Típuselméleti logika 718 Intenzionális logika 724 A logika határai 732 Válogatott irodalom 735 Név- és tárgymutató 745