四値論理
この項目「四値論理」は途中まで翻訳されたものです。（原文：Four-valued logic） 翻訳作業に協力して下さる方を求めています。ノートページや履歴、翻訳のガイドラインも参照してください。要約欄への翻訳情報の記入をお忘れなく。（2022年12月） |
Belnap 編集
ニュエル・ベルナップ は、1975年にコンピューターによる質問応答の課題について検討した。ベルナップはその際、人間の過誤性に注目し、矛盾する2つの事実を読み取った際、疑問点（クエリ）が作成される点に関して興味を覚えた。「私たちは皆、2値論理における矛盾の多発性について知っています。矛盾は決して孤立せず、システム全体に影響を及ぼします」。ベルナップは、この矛盾を解決する手段として四値論理を考案した[1][2]。
ベルナップは値のテーブルをA4と定義した。そのA4に定義できる値は、真 (True) 、偽 (False) 、両方 (真と偽 (Both))、およびどちらでもない(真でも偽でもない (Neither)) である。このベルナップの論理は複数のソースに対応するように設計されており、ソースの内部を検索して：
- true のみが見つかった場合は true が割り当てられる
- false のみが見つかった場合は false が割り当てられる
- 一部に true があり、ほかのソースが false である場合は両方が割り当てられる
- ソースがない場合はどちらでもないが割り当てられる
という4パターンの結果を得られる。これらの4つの値は、{T, F} に基づく冪集合の要素に対応している。
Tは論理束（束）の上限であり、Fは下限であり、NoneとBothは両翼にある。ベルナップは次のように解釈する。「最悪なのは何かがFの単純化であるとみなされることです。あなたはそれについては何も言わず去った方がいいでしょう（それはあなたの希望の一つです）。あるいは、BothとはすなわちTでもFでもあることだ、と言うこともできます。しかしそれは単にTであるとする方がもちろん何よりも良いことです」。ベルナップは「含意のパラドックス」 (A&~A)→B および A→(B∨~B) は、彼の4値システムでは回避されると述べている。
論理演算 編集
ベルナップは、論理演算をA4に拡張するという課題に取り組んだ。{T,F} に基づいた冪集合であるため、A4の要素は包含によって順序付けられ、上限にBothと下限にNoneを持ち、両翼にTとFを持つ束になる。デイナ・スコットを参照して、ベルナップは演算がスコット連続または単調関数であると想定している。最初に、¬Both = Both および ¬None = None と推論することにより、否定を展開する。論理積と論理和を拡張すると、単調性は限界に達する。ベルナップは同値 (a&b = a iff avb = b) を使用して、これらの演算表を埋める。ベルナップは、None & Both = F と、そして、None v Both = T を発見する。
| & | N | F | T | B |
|---|---|---|---|---|
| N | N | F | N | F |
| F | F | F | F | F |
| T | N | F | T | B |
| B | F | F | B | B |
| v | N | F | T | B |
|---|---|---|---|---|
| N | N | N | T | T |
| F | N | F | T | B |
| T | T | T | T | T |
| B | T | B | T | B |
脚注 編集
- ^ N. Belnap (1975) "How Computers Should Think", pages 30 to 56 in Contemporary Aspects of Philosophy, Gilbert Ryle editor, Oriel Press
- ^ N. Belnap (1977) A Useful Four-Valued Logic, in Modern Uses of Multiple-Valued Logic, edited by J. Michael Dunn and George Epstein, Springer books
関連項目 編集
 | この項目は、数理論理学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています。 |