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 A, ¬A oder aus einem Widerspruch A∧¬A jede beliebige Aussage herzuleiten.