命題

は、論理学において判断を言語で表したもので、真または偽という性質（真理値）をもつもの小学館デジタル大辞泉「命題」2。また数学で、真偽の判断の対象となる文章または式、定理詳しくは数学書における「命題」項目を参照、問題のこと小学館デジタル大辞泉「命題」3。西周による訳語の一つ三省堂・大辞林（第三版）「命題」『②英語propositionの訳語として西周が考案。「百学連環」（1870-71年）にある』。

厳密な意味での「命題」の存在について、「意味」の存在と同様に疑問を投げかける哲学者もいる。デイヴィド・ルイスは「『命題』という語からわれわれが連想する概念は、それぞれ差しさわりがありながら、それぞれが差し迫った必要性(desiderata)（から定義された複数のもの）がごちゃまぜになった、何ものか」“the conception we associate with the word ‘proposition’ may be something of a jumble of conflicting desiderata,”Lewis, David K.,1986, On the Plurality of Worlds, Oxford: Blackwell. p. 54であると言い、この概念を一貫した定義のなかで捉えることの困難さを指摘している"Propositions" McGrath, Matthew and Devin Frank, The Stanford Encyclopedia of Philosophy (Winter 2020 Edition), 。

 命題という語 
命題という語は明治の初期には一覧表などを作成する際に標記する「項目名」などと同じような意味で使用されており、「命題」は「題命」すなわち「題名」とほぼ同義である。坪内逍遥「小説神髄」には「宜しく応分の新工夫を命題にもまた費やすべし」とある小説神髄（上）文体論。小学館日本国語大辞書「命題」。小学館デジタル大辞典では「題号をつけること。また、その題。名題」と説明する。この場合命題の命は「命（いのち）」の意味ではなく名づけること（あるいは名づけられていること）を意味する精選版日本国語大辞典「命（めい）」③、あるいは小学館デジタル大辞泉「命（めい）」漢字項目2.3.5説文解字注によれば「命」とは口と令により成り立ち、口も令も発号することであり、「使」すなわち令ないし従と同じ意味とある。「使命」は与えられた発号、あるいはその発号に従うこと。。典籍では程端礼（1271-1345）「程氏家塾読書分季（年）日程」において「命題」「題命」をtitleの趣旨で使用していることが確認できる。一方岩波国語辞典は論理学の用法を正用とし、この用法について「誤って俗に、題目・課題の意にも使う」と注記する。論理学用語としては判断をことばであらわしたものを意味するpropositionの邦訳として西周が考案したものであり、西「百学連環」（1870-1871）ではpropositionを「命題」、syllogismを「演題」と邦訳している精選版日本語大辞典（小学館）「命題」。なお井上哲次郎・有賀長雄ら編「哲学字彙」（1881）では「演題」は「推測式」に改訳されたが「命題」はそのまま取り入れられ、明治20年（1887）以降に一般化したとする。。

 propositionという語 
英語propositionという語は、ラテン語prōpositiōを祖としており、これは動詞prōponōの名詞形である。prōponōはprō-とpōnōから成り、prō-は「前に」「出す」、 pōnōは「置く(put)」「据え置く（place）」に相当する。propositionは動詞proposeの名詞形である。英和対訳袖珍辞書には「proposition、言ヒ顕ハシ、題」堀達之助「英和対訳袖珍辞書」改正増補（明治2、出版：蔵田屋清右衛門）P.322、国立国会図書館蔵とある。日本語・漢語の「命題」が限られた領域とりわけ論理学や数学の領域で利用されるのに対して、西欧語のpropositionは「計画」「提案」「主張」「条件提示」「問題」などの意味を包含する常用語（名詞）であり、契約の領域のほか、宗教問題や観念哲学など広範な領域で利用され、それぞれにおいて固有の利用がなされている。

 論理学における「命題」 
論理学で言う「命題」とは真偽が確定した言明のことであり、例えば「１は偶数である」偽の命題（真理値が偽の命題）「２は偶数である」真の命題（真理値が真の命題）などは命題である高崎金久『数理論理学入門』「Ⅲ.命題論理の意味論（その1）」1.1.1　命題とは何か。これに対して「Ｘは偶数である」のように不定のＸが入ったものを「述語」と言う高崎金久『数理論理学入門』「Ⅲ.命題論理の意味論（その1）」1.1.1　命題とは何か。

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

数理論理学において命題（）は量化を含まない言明であり、それはまた原子論理式と五つの論理結合子（選言、連言、否定、含意、双条件）およびグループ化記号のみから構成される論理式の合成である。命題論理は完全Completeness「完全であること」。真であるすべての命題は、その体系内で証明可能であること。正しいこと（真）はすべて証明できるという性質。かつ健全Soundness「健全であること」。ある論理体系において証明可能であるすべての命題は、真であるということ。正しいこと（真）しか証明できず正しくないこと（偽）は証明できない性質。である。すなわち、命題論理において任意の定理は真であり、任意の真なる言明が証明可能であるA. G. Hamilton, Logic for Mathematicians, Cambridge University Press, 1980, ISBN 0521292913。命題論理の体系に変項と量化子を加えて拡張したものが述語論理である。

数学においては、例えば確率は命題の確からしさを表すなど、命題の存在を基本的前提として出発する場合がある*   2024-01-18閲覧。。

 類語等 
 言い換え 
日常言語論においては、論争や存在論的な含みを持つことを避けるため、真か偽のいずれであるかという真理の担い手となる文字列自体について述べる時は、「命題(proposition)」という代わりに「文(sentence)」という術語を用いることが提案されている。ストローソンは「文 (sentence)」と「言明(statement)」 という術語を峻別することを提唱した。ストローソンによれば「すべての男たちは死ぬ（All men are mortal）」と「ことごとく男は死ぬ（Every man is mortal.）」はおなじ言明(statement)をもつ２つの文字列（文-sentence）であり、いずれの文も真偽の運び屋（truth-bearer）と解釈される。これは一見すると日常的には価値のない峻別のように見られるが、「男」や「死」の定義や同一性の認識あるいは表示において論争がある場合においては重要な区別となる。

 定立 
定立（ていりつ、）は、ある肯定的判断・命題を立てること、また立てられた肯定的判断・命題である。テーゼとも呼ばれる。

ヘーゲル弁証法では、三段階発展の最初の段階を指す語として使用される小学館・デジタル大辞泉「定立」。カントの二律背反では、同等の権利をもって語ることのできる、世界についての根本主張の最初の肯定的なほう、たとえば「自由は存在する」が定立であり、反定立は「自由は存在しない」である。フィヒテは、自我と非自我の対立を、両者をともに可能にする第三者の内に総合する立場を、「定立-反定立-総合」と定式化した小学館・日本大百科全書「テーゼ」加藤尚武（ニッポニカ）。

 至上命題 
「至上命題」という語については至上命令から派生した語であり本来は誤用との指摘がある高井一「空言舌言 百七十三、至上命題」2009/11/27。「至上命題」の用例は1926年刊「ニイチエ全集-偶像の薄明；他」（生田長江訳）新潮社、大正15年11月5日発行、P.65、この他P.195には「最上の命題」の用例あり。、国民新聞1938年5月13日-5月22日報に利用があり神戸大学新聞記事文庫[]、国会議事録では昭和21年に使用例を発見することができ第90回衆議院本会議（昭和21年6月24日）中野四郎、「至上の命題」は1941年刊行「宗教研究」（第24巻、宗教研究会刊）や1943年刊行「週報」（第341号、内閣情報部）に発見することができる。

 数学書における「命題」 
上述のように命題とは真か偽かがはっきり定まる形式をもつ文（断言する文）のことを言うが、数学書において「命題」と見出しをつけて書かれている命題は、公理と定義を元にして定理の体系を作り上げていく過程で必要とされる「真の命題」を指し、そのなかでとくに重要なものが定理と呼ばれ、「定理」と見出しが付けられる竹山美宏「数学書の読み方」（森北出版、2022.3.8）P.P.7-8。数学書で「定理」「命題」「補題」「系」と見出しを付けて書かれた文は、正しいことが証明された（あるいはその数学書でこれから正しいことが証明される）命題である。

 脚注 

 注釈 

 出典 

 関連項目 
 論理的帰結
 推論
 前提
 仮説
 定理

 参考文献 
 伏見康治「確率論及統計論」第I章 数学的補助手段 6節 命題算、集合算 p.50 ISBN 9784874720127

 外部リンク 


 Stanford Encyclopedia of Philosophy articles on:
 Propositions, by Matthew McGrath
 Singular Propositions, by Greg Fitch
 Structured Propositions, by Jeffrey C. King

*
Category:論理式
Category:仮定 (論理学)
Category:ステートメント
Category:哲学の和製漢語
Category:論理学の概念
Category:科学哲学の概念
Category:言語哲学の概念
Category:数学に関する記事