Técnicas construtivas

Na lógica clássica, uma contradição consiste numa incompatibilidade lógica entre duas ou mais proposições. Isso ocorre quando as proposições, tomadas em conjunto, geram duas conclusões formam as inversões lógicas, geralmente opostas uma da outra.Ilustrando uma tendência geral na lógica aplicada, a lei de Aristóteles da não-contradição afirma que "Não se pode dizer de algo que é e que não é no mesmo sentido e, ao mesmo tempo."

Por extensão, fora da lógica clássica, pode-se falar de contradições entre as ações quando se presume que seus motivos se contradizem.

Índice [esconder]
1 História
2 Contradição na lógica formal
2.1 Prova por contradição
2.2 Representação simbólica
2.3 A noção de contradição em um sistema axiomático e uma prova de sua consistência
3 Contradições e filosofia
3.1 Contradições pragmáticas
3.2 Na filosofia grega
3.3 No materialismo dialético
4 Contradição fora da lógica formal
5 Veja também
6 Rodapé
7 Referências
8 Ligações externas
História[editar | editar código-fonte]
Por criação de um paradoxo, o diálogo de Eutidemo de Platão demonstra a necessidade da noção de contradição. No diálogo que se seguiu Dionysodorus nega a existência de "contradição", ao mesmo tempo que Sócrateso contradiz: "... Eu no meu espanto, disse: O que você quer dizer Dionysodorus? Tenho ouvido muitas vezes, e fico surpreso ao ouvir, esta sua tese, que é mantida e empregada pelos discípulos de Protágoras e outros antes deles, e que para mim parece ser muito maravilhoso, e suicida, bem como destrutivo, e eu acho que eu sou mais propenso a ouvir a verdade sobre isso de você. O dito é que não existe tal coisa como uma falsidade, um homem deve ou dizer apenas o que é verdade ou não dizer nada, esta não é a sua posição? " De fato, Dionysodorus concorda que "não há tal coisa como falsa opinião ... não existe tal coisa como ignorância" e a demanda Sócrates a "me refutar." Sócrates responde: "Mas como posso refutar-lo, se, como você diz, é impossível contar