Hierarchie systemów logiki parakonsystentnej

Janusz Ciuciura

Hierarchie systemów logiki parakonsystentnej

39,90

 

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

Wydawnictwo Uniwersytetu Łódzkiego
Oprawa miękka

Wydanie: pierwsze

Data pierwszego wydania:
2018-10-23

ISBN: 978-83-814-2190-4

EAN: 9788381421904

Liczba stron: 158

Format: 170x240mm

Cena detaliczna: 39,90 zł

Komentarze nie są potwierdzone zakupem