前のページ 1/1 次のページ

論理学あるいは哲学において、命題(めいだい、)は、有意な平叙文の「内容」あるいは「意味」、若しくは有意な平叙文を構成する「記号、模様、音などの並び」のいずれかを指す。いずれの意味の命題も、それが真か偽のどちらであるかという真理の担い手となることを目的とするものである。

厳密な意味での命題の存在は、「意味」の存在と同様に、疑問を投げかける哲学者もいる。また、「意味」の概念が許容される場合にあっても、その本質は何であるかということにはなお議論のあるところである。古い文献では、語の集まりあるいはその語の集まりの表す「意味」という意味で命題という術語を用いているかどうかということが、つねに十分に明らかにされているわけではなかった例えば http://plato.stanford.edu/entries/propositions/ 参照。現在では、論争や存在論的な含みを持つこと避けるため、ある解釈の下で(真か偽のいずれであるかという)真理の担い手となる記号列そのものについて述べるときは、命題という代わりに文 という術語を用いる。ストローソンは「言明」 という術語を用いることを提唱した。

◆ 論理学における扱い

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

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

◆ 関連項目

・ 結論

・ 前提

・ 言明

・ 文

・ 真理の担い手

◆ 参考文献

◆ 外部リンク

・

・Stanford Encyclopedia of Philosophy articles on:

  ・[外部リンク] Propositions, by Matthew McGrath

  ・[外部リンク] Singular Propositions, by Greg Fitch

  ・[外部リンク] Structured Propositions, by Jeffrey C. King

前のページ 1/1 次のページ

・命題 page1