PrepTutorEJDIC

にせの,偽造の

Wikipedia preview

出典(authority):フリー百科事典『ウィキペディア（Wikipedia）』「2015/12/03 10:15:19」(JST)

wiki ja

この項目では、論理学、哲学の用語について記述しています。「命題」の語義については、ウィクショナリーの「命題」の項目をご覧ください。

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

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

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

論理学における扱い

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

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

参考文献

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

外部リンク

ウィクショナリーに命題の項目があります。

（文献リスト）「Proposition」 - 「命題」について論じた文献のリスト。サイトPhilPapersより。（英語）
Stanford Encyclopedia of Philosophy articles on:
- Propositions, by Matthew McGrath
- Singular Propositions, by Greg Fitch
- Structured Propositions, by Jeffrey C. King