Hierarchie systemów logiki parakonsystentnej
książka
Wydawnictwo Uniwersytet Łódzki |
Oprawa miękka |
- Dostępność niedostępny
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
Szczegóły | |
Dział: | Książki |
Wydawnictwo: | Uniwersytet Łódzki |
Oprawa: | miękka |
Okładka: | miękka |
Wprowadzono: | 24.10.2018 |