Contra contradições na lógica: ameaça à matemática?

Contra contradições na lógica: ameaça à matemática?

Siegen, Deutschland - No mundo da lógica e da matemática, as contradições são de importância central, uma vez que formam a base para a correção das declarações. Como spektrum relatou o Philosopher Antique. Esta lei afirma que uma declaração não pode ser verdadeira e errada ao mesmo tempo, o que é essencial para a lógica.

contradições no sinalizador lógico Um processo de pensamento errado, enquanto paradoxos, como o paradoxo de mentiroso, podem levar a contradições indefiníveis. Um exemplo disso é a frase: "Esta frase está errada", o que leva a um conflito lógico. Tais contradições são intoleráveis ​​na lógica, pois, no princípio de "ex Falso quodlibet", eles significam que quaisquer declarações podem ser derivadas de uma objeção. Um exemplo claro disso é a derivação dos unicórnios: a afirmação "Omar é casado ou Maria tem dois metros de altura" pode levar de uma contradição, à conclusão de que existem unicórnios.

contradições e seus problemas

A implicação de que uma contradição poderia tornar tudo verdade é considerado problemático. Alguns especialistas, portanto, propõem o desenvolvimento de uma lógica "paracooner" para neutralizar contradições, mas isso também implica seus próprios desafios. Outra perspectiva é o dialetismo, que é aceito e seriamente discutido como uma afirmação real e falsa.

A lógica matemática define regras claras para evitar contradições, pois elas representam a base da matemática. Apesar das discussões intensivas e das considerações teóricas, uma contradição real em matemática até agora não conseguiu, como

-Transmitido por