論理的帰結のソースを表示

'''論理的帰結'''（ろんりてききけつ、'''伴意'''、{{lang-en-short|logical consequence, entailment}}）は、[[論理学]]における最も基本的な概念であり、複数の[[文]]（または[[命題]]）の[[集合]]と1つの文（命題）の間が「～だから、当然～」という繋がり方をする関係を指す。例えば、「[[カーミット]]は緑色だ」という文は、「全ての[[カエル]]は緑色だ」と「カーミットはカエルだ」の論理的帰結である。

このような論理的帰結の確かさは、前提が真かどうか、および完全かどうかに依存する。この前提は全てのカエルが緑色でない場合は真ではないことになる。[[演繹]]による[[推論]]や論理的帰結は[[認識論]]の重要な面であり、[[因果]]に関する一般的[[仮説]]を伝達する意味を持つ。

形式的な論理的帰結関係はモデル理論的なものと[[証明論]]的なもの（あるいは両方）がある。

論理的帰結は、文の集合から文の集合への[[関数 (数学)|関数]]としても表現できる（[[アルフレト・タルスキ|タルスキ]]風の定式化）し、2つの文の集合の間の関係としても表現できる（[[:en:multiple-conclusion logic|multiple-conclusion logic]]）。

== 記述 ==
ここでは、論理的帰結の典型的な記述について述べる。

Γ は任意の前提の[[集合]]、''A'' は任意の結論とする。Γ/''A'' は Γ を前提、''A'' を結論とする論理的主張（Logical argument）である。Γ <math>\vDash</math>''A'' は、''A'' が Γ の論理的帰結であることを意味する。

=== 様相的記述 ===
論理的帰結の様相的記述は以下のような考え方に基づいている。

* Γ <math>\vDash</math>''A'' とは、Γ の全要素が真であるとき、''A'' が真であることは「必然的; necessary」であることを意味する。

あるいは（言い換えれば）、

* Γ <math>\vDash</math>''A'' とは、Γ の全要素が真であるとき、''A'' が偽であることは「あり得ない; impossible」であることを意味する。

このような記述が「様相的（modal）」であるというのは、[[様相論理学]]的な可能性と必然性を主張しているためである。必然性は[[可能世界論]]における[[全称記号|全称量化子]]と理解でき、以下のように言い換えることができる。

* Γ <math>\vDash</math>''A'' とは、Γ の全要素が真であるとき、''A'' が偽であるような可能世界は存在しないことを意味する。

冒頭に例としてあげた以下の記述について様相的記述を考える。

 全てのカエルは緑色だ。
 カーミットはカエルだ。
 従って、カーミットは緑色だ。

ここで、「全てのカエルが緑色」であり、「カーミットがカエル」であり、「カーミットが緑色でない」という可能世界を想像することはできない。従って、この結論はこれらの前提の論理的帰結であると言える。

=== 形式的記述 ===
論理的帰結の形式的記述は以下のような考え方に基づいている。

* Γ <math>\vDash</math>''A'' とは、Γ/''A'' と同じ論理形式を持つ主張の前提が真で結論が偽となることがないことを意味する。

ここから以下の2つが派生する。

# Γ <math>\vDash</math>''A'' とは、Γ/''A'' の中の論理的でない語句を一様に置換しても、前提が真で結論が偽となることがないことを意味する。
# Γ <math>\vDash</math>''A'' とは、Γ/''A'' の中の論理的でない語句を翻訳しても、前提が真で結論が偽となることがないことを意味する。

ここで、再度以下の主張を考える。

 全てのカエルは緑色だ。
 カーミットはカエルだ。
 従って、カーミットは緑色だ。

形式的記述 (1) によれば、この主張の中の論理的でない語句（カエル、緑色、カーミット）を一様に置換しても結論は前提の論理的帰結のままであり、前提が真で結論が偽とならない。例として以下のようなものがある。

 全ての[[高層建築物|高層ビル]]は高い。
 [[エンパイア・ステート・ビルディング|エンパイア・ステート・ビル]]は高層ビルである。
 従って、エンパイア・ステート・ビルは高い。

 全ての[[長方形]]は[[平行四辺形]]である。
 全ての[[正方形]]は長方形である。
 従って、正方形は平行四辺形である。

 全ての[[物体]]には[[質量]]がある。
 [[コーヒー]][[テーブル (家具)|テーブル]]は物体である。
 従って、コーヒーテーブルには質量がある。

 全ての[[鳥類|鳥]]には[[羽毛]]がある。
 [[ペンギン]]は鳥である。
 従って、ペンギンには羽毛がある。

この形式の主張はいくらでも作れるが、前提が[[真]]で結論が[[偽]]となるような例は出てこない。つまり、この主張はその論理的形式が本質的に[[妥当性|演繹的妥当性]]を持つのであり、その特徴を以下のような[[テンプレート]]として抽出できる（ここで、'''F'''、'''G'''、'''a''' は意味のないプレースホルダーである）。

 全ての '''F''' は '''G''' である。
 '''a''' は '''F''' である。
 従って、'''a''' は '''G''' である。

形式的記述 (2) も同じことを別の言い方（[[翻訳]]）をしているだけである。例えば、「カエル」を「[[配管工]]」、「緑色」を「内気」、「カーミット」を「[[マドンナ (歌手)]]」に翻訳してみよう。すると、前提が偽となり（全ての配管工が内気ではないし、マドンナは配管工ではない）、結論も偽となる（マドンナは内気ではない）。ほかにも様々な翻訳が考えられるが、前提が真で結論が偽となるような翻訳は見つからない。

=== 様相的形式的記述 ===
論理的帰結の様相的形式的記述は様相的記述と形式的記述を組み合わせたもので、以下のような考え方に基づく。

* Γ <math>\vDash</math>''A'' とは、Γ/''A'' と同じ論理的形式の主張が、真の前提と偽の結論となることがあり得ないことを意味する。

論理的帰結の直観的理解として、様相的な面と形式的な面がある。

=== 根拠に基づく記述 ===
これまでの記述は「真理保持的; truth-preservational」であり、よい演繹の特性として、真の前提から真でない結論は導かれないと見なしている。これとは別に「根拠保持的; warrant-preservational」な記述もあり、よい演繹の特性は、正当に断言可能な前提から正当に断言できない結論は導かれないとする。これは大まかに言えば[[直観主義 (数学の哲学)|直観主義]]に相当する。

== 非単調論理 ==
{{main|非単調論理}}

これまで述べた記述は全て[[単調関数|単調な]]帰結関係を前提とする。すなわち、''A'' が Γ の帰結であるとき、''A'' は Γ の任意の上位集合の帰結である。非単調な帰結関係がどのようなものかを示す。「[[トゥイーティー]]は飛べる」は、以下の前提の論理的帰結である。

:{''鳥は一般に飛べる'', ''トゥイーティーは鳥だ''}

しかし、以下の前提では論理的帰結とはならない。

:{''鳥は一般に飛べる'', ''トゥイーティーは鳥だ'', ''トゥイーティーはペンギンだ''}.

==関連項目==
* [[論理包含]]
* [[演繹]]
* [[恒真式]]
* [[妥当性]]
* [[ルイス・キャロルのパラドックス]]

== 参考文献 ==
* Michael Dummett, 1991. ''The Logical Basis of Metaphysics''.  Harvard University Press.
* John Etchemendy, 1990. ''The Concept of Logical Consequence''. Harvard University Press.
* Hanson, William H., 1997, "The concept of logical consequence," ''The Philosophical Review 106'': 365-409.
* Vincent F. Hendricks, 2005. ''Thought 2 Talk: A Crash Course in Reflection and Expression''. New York: Automatic Press / VIP. ISBN 87-991013-7-8
* Planchette, P. A., 2001, "Logical Consequence," in Goble, Lou, ed., ''The Blackwell Guide to Philosophical Logic''. Blackwell.
* Stewart Shapiro, 2002, "Necessity, meaning, and rationality: the notion of logical consequence" In D. Jacquette, ed., ''A Companion to Philosophical Logic''. Blackwell.
* [[アルフレト・タルスキ|Alfred Tarski]], 1936, "On the concept of logical consequence."  Reprinted in Tarski, A., 1983. ''Logic, Semantics, Metamathematics'', 2nd ed.  Oxford University Press.  オリジナルは[[ポーランド語]]と[[ドイツ語]]で発表された。

== 外部リンク ==
* [http://plato.stanford.edu/entries/logical-consequence/ Stanford Encyclopedia of Philosophy]
* [http://www.iep.utm.edu/l/logcon.htm Internet Encyclopedia of Philosophy]

{{Normdaten}}
{{デフォルトソート:ろんりてききけつ}}
[[Category:論理的帰結|*]]
[[Category:論理学の概念]]
[[Category:哲学的論理学]]
[[Category:論理記号]]