不貞行為を理解する: 証明できない真実

「不賢さ」とは、哲学、特に論理学や数学の基礎の分野で使用される用語で、特定のシステムや枠組み内でステートメントや命題が証明も反証もできない状況を指します。言い換えれば、それは決定不可能または証明不可能なステートメントです。

不賢さの概念は、19 世紀後半に哲学者のゴットロブフレーゲによって初めて導入され、その後 20 世紀初頭にバートランドラッセルとクルトゲーデルによって開発されました。これは、「この文は偽です」という発言のように、真実ではあるが特定のシステム内では証明できない発言を説明するためによく使用されます。「不貞」は虚偽とは異なります。虚偽の発言は常に偽であると証明できるのに対し、どちらにしても不貞行為は証明できません。非賢明性は、決定不能性とは異なります。決定不能性とは、ある言明が特定のシステム内で証明可能または反証可能ではないという事実を指しますが、必ずしもその言明が真か偽であることを意味するものではありません。真実ではあるが、特定のシステムや枠組み内では証明できないステートメントを記述するものであり、虚偽や決定不可能性とは区別されます。