Hierarchie systemów logiki parakonsystentnej
Autor: | Janusz Ciuciura |
---|---|
Kategorie: | |
Popis: | 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. |
Databáze: | eBook Index |
Externí odkaz: |