Деталі електронної книги

Hierarchie systemów logiki parakonsystentnej

Hierarchie systemów logiki parakonsystentnej

Janusz Ciuciura

Eлектронна книга

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

  • Назва: Hierarchie systemów logiki parakonsystentnej
  • Автор: Janusz Ciuciura
  • ISBN: 978-83-8142-191-1, 9788381421911
  • Дата видання: 2018-10-17
  • Формат: Eлектронна книга
  • Ідентифікатор видання: e_0ynr
  • Видавець: Wydawnictwo Uniwersytetu Łódzkiego