逻辑上的矛盾:对数学的威胁?
逻辑上的矛盾:对数学的威胁?
Siegen, Deutschland - 在逻辑和数学世界中,矛盾是至关重要的,因为它们构成了正确性陈述的基础。如 spektrum 报道了古代哲学家的行为,以前的求职者'该法律规定,陈述不能同时是真实和错误,这对于逻辑至关重要。
逻辑信号中的矛盾是错误的思维过程,而骗子(例如骗子悖论)可能导致无法确定的矛盾。一个例子是句子:“这个句子是错误的”,这导致了逻辑上的冲突。这种矛盾在逻辑上是无法忍受的,因为根据“ falso quodlibet”的原则,它们意味着任何陈述都可以从异议中得出。一个明显的例子是独角兽的推导:“奥马尔已婚或玛丽亚身高两米”的说法可能会导致矛盾,结论是有独角兽。矛盾及其问题
矛盾可能使一切真实的含义被认为是有问题的。因此,一些专家建议开发“ paracooner”逻辑来消除矛盾,但这也需要自己的挑战。另一个观点是拨号主义,它被接受并认真讨论为真实和虚假陈述。
数学逻辑定义了明确的规则以避免矛盾,因为这些是数学的基础。尽管进行了深入的讨论和理论考虑,但到目前为止,数学上的真正矛盾仍未这样做,例如
Details | |
---|---|
Ort | Siegen, Deutschland |
Quellen |