Logika parakonsystentna

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacji, wyszukiwania

Logika parakonsystentna to logika, która dopuszcza wystąpienie sprzeczności.

Logika dopuszczająca sprzeczności była rozważana od co najmniej 1910 roku (a niewykluczone, że znacznie wcześniej), jednak termin parakonsystentna pojawił się dopiero w 1976 roku u peruwiańskiego filozofa Francisco Miró Quesada.