Syndetics omslagsbild
Bild från Syndetics

Hierarchie systemów logiki parakonsystentnej

Av: Medverkande: Materialtyp: ArtikelUtgivningsinformation: Wydawnictwo Uniwersytetu Łódzkiego electronic [Imprint] 2018Innehållstyp:
  • text
Medietyp:
  • computer
Bärartyp:
  • online resource
ISBN:
  • 9788381421904
  • 9788381421911
Onlineresurser: Sammanfattning: 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
Inga fysiska exemplar för denna post

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