Hierarchie systemów logiki parakonsystentnej

• Druk: Łódź, 2018
• Autor: Janusz Ciuciura
• Wydawca: Wydawnictwo Uniwersytetu Łódzkiego

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

• Kategorie:
  1. Ebooki i Audiobooki »
  2. Ebooki »
  3. Ebooki popularnonaukowe i specjalistyczne »
  4. Filozofia
• Język wydania: polski
• ISBN: 978-83-8142-191-1
• ISBN druku: 978-83-8142-190-4
• Liczba stron: 158

Pobierz 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