POLECAMY
Autor:
Wydawca:
Format:
pdf, ibuk
Praca [...] na gruncie polskim nie ma odpowiednika. Nowe jest zarówno ujęcie przeglądu wątków związanych z intuicjami dotyczącymi parakonsystencji i historii rachunków z tej rodziny, jak też stanowiące samodzielne osiągnięcie naukowe uporządkowanie pewnych grup takich rachunków w postaci hierarchii wyznaczonych kilkoma kryteriami.
Z recenzji
prof. dr. hab. Wojciecha Suchonia
Większość systemów logiki parakonsystentnej toleruje sprzeczność nie dlatego, że możliwe jest w nich współistnienie dwóch zdań, z których jedno jest zaprzeczeniem drugiego, lecz dlatego, iż z pary zdań, nie wyprowadzi my dowolnego zdania. [...] Systemy logiki parakonsystentnej to zatem formalizmy, w których odrzuca się możliwość ich trywializacji za sprawą pary formuł sprzecznych.
Ze Wstępu
Rok wydania | 2018 |
---|---|
Liczba stron | 158 |
Kategoria | Filozofia analityczna |
Wydawca | Wydawnictwo Uniwersytetu Łódzkiego |
ISBN-13 | 978-83-8142-191-1 |
Numer wydania | 1 |
Język publikacji | polski |
Informacja o sprzedawcy | ePWN sp. z o.o. |
POLECAMY
Ciekawe propozycje
Spis treści
Wstęp | 7 |
Rozdział 1. Logika parakonsystentna. Założenia filozoficzne | 15 |
1.1. Kryteria | 15 |
1.2. Zasada ex falso quodlibet | 20 |
1.3. Szkoły logiki parakonsystentnej | 23 |
Rozdział 2. Początki logiki parakonsystentnej | 31 |
2.1. Łukasiewicz i zasada niesprzeczności | 31 |
2.2. Logika urojona Wasiliewa | 33 |
2.3. System Orłowa | 42 |
2.4. System Kołmogorowa i logika minimalna Johanssona | 45 |
2.5. Logika dyskusyjna Jaśkowskiego | 47 |
2.6. Cn–systemy da Costy (1 ≤ n < ω) | 57 |
2.7. Logika antynomii Asenjo i Tamburino | 65 |
2.8. Logika dialektyczna Routleya i Meyera | 72 |
Rozdział 3. Hierarchie oparte na kryterium ilościowym | 75 |
3.1. Logika PI Batensa | 77 |
3.2. Hierarchia Bn–systemów (n ≥ 1) | 80 |
3.3. Hierarchia Bn–systemów (n ≥ 1) a logika supraklasyczna | 85 |
Rozdział 4. Hierarchie oparte na kryterium jakościowym | 101 |
4.1. Parakonsystencja na poziomie zmiennych zdaniowych. System P1 Settego | 101 |
4.2. Hierarchia Pn–systemów (n ≥ 1) | 109 |
4.3. Hierarchia Sn–systemów (n ≥ 1) | 113 |
4.4. Hierarchia Rn–systemów (n ≥ 1) | 124 |
Rozdział 5. Hierarchie oparte na kryterium mieszanym | 127 |
5.1. V-systemy Arrudy i Alvesa | 127 |
5.2. Hierarchia Bn i Dn–systemów Bundera (n ≥ 1) | 132 |
5.3. Logiki Niesprzeczności Formalnej | 137 |
Zakończenie | 145 |
Bibliografia | 147 |