Logiki parakonsystentne

Kacper Bem

Logika parakonsystentna to taka, której operator konsekwencji toleruje sprzeczność. W klasycznym rachunku zdań zaakceptowanie pary zdań sprzecznych powoduje na mocy prawa Dunsa Szkota, że dowolne zdanie jest twierdzeniem tego systemu. Innymi słowy przyjęcie sprzeczności powoduje przepełnienie systemu („rozlanie się” sprzeczności na cały system). W logice parakonsystentnej zaś nie z każdej pary formuł sprzecznych jej operator konsekwencji inferuje dowolną formułę.