KSIĄŻKA
Hierarchie systemów logiki parakonsystentnej - Janusz Ciuciura [KSIĄŻKA]
Artykuł niedostępny
Kategoria | Pozostałe |
Autor | Janusz Ciuciura |
Ilość stron | 158 |
Okładka | miękka |
Opis | 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 |
EAN | 9788381421904 |
Dział | KSIĄŻKA |
ISBN | 9788381421904 |
Autor | Janusz Ciuciura |
Rok wydania | 2018 |
Wydanie | 1 |
Język | polski |
Ilość stron | 158 |
Okładka | miękka |
Liczba nośników | [1xKSIĄŻKA] |
Wymiary | 17.0x24.0cm |
Długość (razem z opakowaniem) | 240 |
Wysokość (razem z opakowaniem) | 10 |
Szerokość (razem z opakowaniem) | 170 |
Pozostałe
Książki