Dialeteísmo
De Wikipedia, a enciclopédia encyclopedia
Dialetismo é a noção de que algumas declarações podem ser ambas verdadeira e falsa simultaneamente. Mais precisamente, é a crença de que pode existir uma afirmação verdadeira cuja negação também é verdadeira. Tais afirmações são chamadas de “verdadeiras contradições”, ou dialetheia.
Dialetismo não é um sistema da lógica formal; em vez disso, ele é uma tese acerca da verdade, que influencia a construção de uma lógica formal frequentemente associada em sistemas preexistentes. A introdução do dialetheismo possui várias consequências, dependendo da teoria na qual é introduzida. Por exemplo, em sistemas da lógica tradicional (ex. lógica clássica e lógica intuicionista), qualquer afirmação torna-se verdade se ele possui uma contradição verdadeira; isto significa que tal sistema torna-se trivial quando o dialetheismo é incluído como um axioma. Outros sistemas lógicos não explodem dessa forma quando contradições são incluídas; tais sistemas tolerantes a contradições são conhecidos como lógica paraconsistente. Graham Priest define dialetismo como sendo a visão de que existem verdadeiras contradições[1]. JC Beall é outro defensor; a posição dele difere da de Priest em defender uma forma construtiva (metodológica) do deflacionismo ao invés do predicado de verdadeiro[2].