Hierarchie systemów logiki parakonsystentnej
Materialtyp:
ArtikelUtgivningsinformation: Wydawnictwo Uniwersytetu Łódzkiego electronic [Imprint] 2018Innehållstyp: - text
- computer
- online resource
- 9788381421904
- 9788381421911
Open Access Unrestricted online access star
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 wyprowadzimy 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
Creative Commons Licence cc by-nc-nd cc https://creativecommons.org/licenses/by-nc-nd/4.0/
pol
Freely available e-book