Logika parakonsystentna
Z Wikipedii, wolnej encyklopedii
| Ten artykuł od 2010-03 wymaga uzupełnienia źródeł podanych informacji. Informacje nieweryfikowalne mogą zostać zakwestionowane i usunięte. Aby uczynić artykuł weryfikowalnym, należy podać przypisy do materiałów opublikowanych w wiarygodnych źródłach. |
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.