Lógica não clássica

Lógicas não clássicas (e às vezes lógicas alternativas) são os sistemas formais que diferem de maneira significativa dos sistemas lógicos padrão, como a lógica proposicional e predicado. Existem várias maneiras em que isto é feito, inclusive por meio de extensões, desvios e variações. O objetivo dessas partidas é torná-lo possível construir diferentes modelos de consequência lógica e verdade lógica. Lógica filosófica, especialmente em ciência da computação teórica, é entendida para abranger e se concentrar em lógicas não clássicas, embora o termo tem outros significados.