偽（真実でないこと）

論理学とコンピューティングにおける偽

形式論理学およびコンピュータ科学において、偽は命題の評価や制御フローに用いられる基本的な真理値の一つである。古典的な二値論理では、真と偽は相補的な値として扱われる。偽を表す一般的な記号には、⊥、F、0がある。プログラミング言語では、ブール値のfalseは通常、条件文における別の分岐を選択し、trueと区別される。

虚偽の種類と原因

• 誤り：意図せずに抱かれた誤った信念、または不正確な推論。
• うそ：真実でないと知りながら、他者を誤導するために述べられる言明。
• 誤情報：欺く意図なしに共有される虚偽の内容。
• 欠陥のあるモデルまたは測定：偽の結果を生じさせる技術的または方法論上の問題。

歴史と哲学的文脈

哲学者と論理学者は長年にわたり、言明が偽であるとは何を意味するのか、また偽が真、意味、指示とどのように関係するのかを分析してきた。偽が客観的実在を前提とするかどうか、言語的意味が事実とどのように結び付くかなどが論じられている。現代の一部の体系では、不確実性を表現するため、二値の真理値を多値または確率的な枠組みへと拡張している。

用途と重要性

偽の主張を見極めて訂正することは、科学、ジャーナリズム、法、および日常の意思決定において不可欠である。意図的なうそと善意の誤りを区別することは、情報の扱い方や人々の責任の問われ方に影響する。コンピューティングでは、偽の値を明確に扱うことが、ソフトウェアの正確性と安全性の基礎となる。

区別と注目すべき事項

虚偽は、意図という点で誤りと同じではない。誤った信念は、悪意がなくても偽でありうる。論理学では、矛盾とは古典的意味論のもとで必ず偽となる複合文である。一部の体系では、曖昧さや不確実性を捉えるため、単純な二値の代わりに、段階的、ファジィ、または文脈依存の真偽概念を用いる。

不真実と、それが言語や法でどのように扱われるかについては虚偽を、形式的な分析については論理理論を、真理値の意味論については真理値を参照。