ebook Hierarchie systemów logiki parakonsystentnej Janusz Ciuciura

Wydawca: Wydawnictwo Uniwersytetu Łódzkiego

Rok wydania: 2018

Pobierz fragment

Hierarchie systemów logiki parakonsystentnej przez Janusza Ciuciurę, wydane przez Wydawnictwo Uniwersytetu Łódzkiego w 2018 roku. Jest to pierwsze tego rodzaju dzieło na gruncie polskim, które proponuje nowe ujęcie przeglądu koncepcji związanych z intuicjami dotyczącymi parakonsystencji oraz historii rachunków logicznych z tej rodziny.

Większość systemów logiki parakonsystentnej toleruje sprzeczność nie ze względu na możliwość współistnienia dwóch zdań, z których jedno jest zaprzeczeniem drugiego, lecz dlatego, że z pary zdań nie wyprowadzi się dowolnego zdania. W swojej pracy Janusz Ciuciura przedstawia samodzielne osiągnięcie naukowe, polegające na uporządkowaniu pewnych grup takich rachunków w postaci hierarchii wyznaczonych kilkoma kryteriami.

Z recenzji profesora Wojciecha Suchonia wynika, że Hierarchie systemów logiki parakonsystentnej stanowi istotny wkład w rozwój nauki o logice i matematyce. Ta fascynująca publikacja jest dostępna w formacie PDF, idealnym dla miłośników czytania ebooków, zarówno w sklepie z e-bookami, jak i do pobrania bezpośrednio z sieci.

Jeśli szukasz najlepszych ebooków, które zainspirują Cię lub poszerzą Twoją wiedzę, to Hierarchie systemów logiki parakonsystentnej jest idealnym wyborem. Pobierz ten e-book i ciesz się literaturą piękną w wydaniu elektronicznym. To publikacja cyfrowa, która z pewnością stanie się bestsellerem wśród entuzjastów nauki o logice.

Spis treści ebooka Hierarchie systemów logiki parakonsystentnej

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