Ebook details
Hierarchie systemów logiki parakonsystentnej
Janusz Ciuciura
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
Wstęp 7
Rozdział 1. Logika parakonsystentna. Założenia filozoficzne 15
Kryteria 15
Zasada ex falso quodlibet 20
Szkoły logiki parakonsystentnej 23
Rozdział 2. Początki logiki parakonsystentnej 31
Łukasiewicz i zasada niesprzeczności 31
Logika urojona Wasiliewa 33
System Orłowa 42
System Kołmogorowa i logika minimalna Johanssona 45
Logika dyskusyjna Jaśkowskiego 47
Cn–systemy da Costy (1 ≤ n < ω) 57
Logika antynomii Asenjo i Tamburino 65
Logika dialektyczna Routleya i Meyera 72
Rozdział 3. Hierarchie oparte na kryterium ilościowym 75
Logika PI Batensa 77
Hierarchia Bn–systemów (n ≥ 1) 80
Hierarchia Bn–systemów (n ≥ 1) a logika supraklasyczna 85
Rozdział 4. Hierarchie oparte na kryterium jakościowym 101
Parakonsystencja na poziomie zmiennych zdaniowych. System P1 Settego 101
Hierarchia Pn–systemów (n ≥ 1) 109
Hierarchia Sn–systemów (n ≥ 1) 113
Hierarchia Rn–systemów (n ≥ 1) 124
Rozdział 5. Hierarchie oparte na kryterium mieszanym 127
V-systemy Arrudy i Alvesa 127
Hierarchia Bn i Dn–systemów Bundera (n ≥ 1) 132
Logiki Niesprzeczności Formalnej 137
Zakończenie 145
Bibliografia 147
- Title:Hierarchie systemów logiki parakonsystentnej
- Author:Janusz Ciuciura
- ISBN:978-83-8142-191-1, 9788381421911
- Date of issue:2018-10-17
- Format:Ebook
- Item ID: e_0ynr
- Publisher: Wydawnictwo Uniwersytetu Łódzkiego