Parakonsistente Logik

Unter Parakonsistenten Logiken und Parainkonsistenten Logiken versteht man Kalküle, in denen der logische Grundsatz ex contradictione sequitur quodlibet (lat. für „aus einem Widerspruch folgt Beliebiges“) nicht gilt, in denen es also nicht möglich ist, aus zwei widersprüchlichen Aussagen ${\displaystyle A,\neg A}$ oder aus einem Widerspruch ${\displaystyle A\wedge \neg A}$ jede beliebige Aussage herzuleiten.