命題

出典: フリー百科事典『ウィキペディア(Wikipedia)』
2014年5月6日 (火) 22:46時点におけるImuzak (トーク)による版
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
移動先: 案内検索

テンプレート:See Wiktionary テンプレート:未検証 論理学あるいは哲学において、命題(めいだい、テンプレート:Lang-en)とは、平叙文の「内容」あるいは「意味」、若しくは平叙文を構成する「記号、模様、音などの並び」のいずれかを指す。いずれの意味の命題も、それが真か偽のどちらであるかという真理の担い手となることを目的とするものである。西周による訳語の一つ。

厳密な意味での命題の存在は、「意味」の存在と同様に、疑問を投げかける哲学者もいる。また、「意味」の概念が許容される場合にあっても、その本質は何であるかということにはなお議論のあるところである。古い文献では、語の集まりあるいはその語の集まりの表す「意味」という意味で命題という術語を用いているかどうかということが、つねに十分に明らかにされているわけではなかった[1]

現在では、論争や存在論的な含みを持つことを避けるため、ある解釈の下で(真か偽のいずれであるかという)真理の担い手となる記号列自体について述べる時は、「命題」という代わりに「文 (sentence)」という術語を用いる。ストローソンは「言明 ("statement")」 という術語を用いることを提唱した。

論理学における扱い

アリストテレス論理学において命題は、主題の叙述するものを肯定または否定する、特定の種類の文である。アリストテレス的命題は「全ての人間は死ぬ」「ソクラテスは人間である」というような形を取る。

数理論理学において命題(あるいは論理式 (テンプレート:Lang-en-short) は量化子を含むことのない言明であり、それはまた原子論理式と五つの論理結合子(選言、連言、否定、含意、双条件)およびグループ化記号のみから構成される整論理式の合成である。命題論理は、(内部的に無矛盾性が証明されたという意味で)完全に解決された数少ない数学の分野の一つであり、命題論理において任意の定理は真であり、任意の真なる言明が証明可能である[2](この事実とゲーデルの不完全性定理から、命題論理が自然数論を構成するには不十分であることを知るのは簡単である)。命題論理の拡張としてもっともよく用いられるものは、命題論理に変項量化子を加えた、述語論理である。

関連項目

参考文献

テンプレート:Reflist

外部リンク

テンプレート:Sister

  • 例えば http://plato.stanford.edu/entries/propositions/ 参照
  • A. G. Hamilton, Logic for Mathematicians, Cambridge University Press, 1980, ISBN 0521292913