ebook
Hierarchie systemów logiki parakonsystentnej
Janusz Ciuciura
Wydawca: Wydawnictwo Uniwersytetu Łódzkiego
Cena: 19.95 zł
18.00 zł brutto
Najniższa cena z ostatnich 30 dni przed wprowadzeniem obniżki: 18.00 zł
Format:
Pobierz fragment
Koszty dostawy:
- Wysyłka na e-mail 0.00 zł brutto
Opis produktu
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
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
- Tytuł
- Hierarchie systemów logiki parakonsystentnej
- Autor
- Janusz Ciuciura
- Język
- polski
- Wydawnictwo
- Wydawnictwo Uniwersytetu Łódzkiego
- ISBN
- 978-83-8142-191-1
- Rok wydania
- 2018 Łódź
- Wydanie
- 1
- Liczba stron
- 158
- Format
- 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
Cechy produktu
Dane ogólne
- Format pliku
- ebook
Opinie, recenzje, testy:
Ten produkt nie ma jeszcze opinii
Twoja opinia
Zapytaj o produkt