命題

命題（めいだい、（英語: proposition）とは、論理学において判断を言語で表したもので、真または偽という性質(真理値)をもつもの。また数学で、真偽の判断の対象となる文章または式、定理、問題のこと。西周による訳語の一つ。 厳密な意味での「命題」の存在について、「意味」の存在と同様に疑問を投げかける哲学者もいる。デイヴィド・ルイスは「『命題』という語からわれわれが連想する概念は、それぞれ差しさわりがありながら、それぞれが差し迫った必要性(desiderata)（から定義された複数のもの）がごちゃまぜになった、何ものか」であると言い、この概念を一貫した定義のなかで捉えることの困難さを指摘している。 命題という語は明治の初期には一覧表などを作成する際に標記する「項目名」などと同じような意味で使用されており、「命題」は「題命」すなわち「題名」とほぼ同義である。坪内逍遥「小説神髄」には「宜しく応分の新工夫を命題にもまた費やすべし」とある。小学館デジタル大辞典では「題号をつけること。また、その題。名題」と説明する。この場合命題の命は「命（いのち）」の意味ではなく名づけること（あるいは名づけられていること）を意味する。典籍では程端礼（1271-1345）「程氏家塾読書分季（年）日程」において「命題」「題命」をtitleの趣旨で使用していることが確認できる。一方岩波国語辞典は論理学の用法を正用とし、この用法について「誤って俗に、題目・課題の意にも使う」と注記する。論理学用語としては判断をことばであらわしたものを意味するpropositionの邦訳として西周が考案したものであり、西「百学連環」（1870-1871）ではpropositionを「命題」、syllogismを「演題」と邦訳している。 英語propositionという語は、ラテン語prōpositiōを祖としており、これは動詞prōponōの名詞形である。prōponōはprō-とpōnōから成り、prō-は「前に」「出す」、 pōnōは「置く(put)」「据え置く（place）」に相当する。propositionは動詞proposeの名詞形である。英和対訳袖珍辞書には「proposition、言ヒ顕ハシ、題」とある。 論理学で言う「命題」とは真偽が確定した言明のことであり、例えば「１は偶数である」「２は偶数である」などは命題である。これに対して「Ｘは偶数である」のように不定のＸが入ったものを「述語」と言う。 アリストテレス論理学において命題は、主題の叙述するものを肯定または否定する、特定の種類の文である。アリストテレス的命題は「全ての人間は死ぬ」「ソクラテスは人間である」というような形を取る。 数理論理学において命題（英: propositional formula, statement forms）は量化を含まない言明であり、それはまた原子論理式と五つの論理結合子（選言、連言、否定、含意、双条件）およびグループ化記号のみから構成される論理式の合成である。命題論理は完全かつ健全である。すなわち、命題論理において任意の定理は真であり、任意の真なる言明が証明可能である。命題論理の体系に変項と量化子を加えて拡張したものが述語論理である。 数学においては、例えば確率は命題の確からしさを表すなど、命題の存在を基本的前提として出発する場合がある。 現在では、論争や存在論的な含みを持つことを避けるため、ある解釈の下で（真か偽のいずれであるかという）真理の担い手となる記号列自体について述べる時は、「命題」という代わりに「文 (sentence)」という術語を用いる。ストローソンは「言明 ("statement")」 という術語を用いることを提唱した。 定立（ていりつ、独: these）は、ある肯定的判断・命題を立てること、また立てられた肯定的判断・命題である。テーゼとも呼ばれる。 ヘーゲル弁証法では、三段階発展の最初の段階を指す語として使用される。カントの二律背反では、同等の権利をもって語ることのできる、世界についての根本主張の最初の肯定的なほう、たとえば「自由は存在する」が定立であり、反定立は「自由は存在しない」である。フィヒテは、自我と非自我の対立を、両者をともに可能にする第三者の内に総合する立場を、「定立-反定立-総合」と定式化した。 「至上命題」という語については至上命令から派生した語であり本来は誤用との指摘がある。「至上命題」の用例は1926年刊「ニイチエ全集-偶像の薄明；他」（生田長江訳）、国民新聞1938年5月13日-5月22日報に利用があり、国会議事録では昭和21年に使用例を発見することができ、「至上の命題」は1941年刊行「宗教研究」（第24巻、宗教研究会刊）や1943年刊行「週報」（第341号、内閣情報部）に発見することができる。 上述のように命題とは真か偽かがはっきり定まる形式をもつ文（断言する文）のことを言うが、数学書において「命題」と見出しをつけて書かれている命題は、公理と定義を元にして定理の体系を作り上げていく過程で必要とされる「真の命題」を指し、そのなかでとくに重要なものが定理と呼ばれ、「定理」と見出しが付けられる。数学書で「定理」「命題」「補題」「系」と見出しを付けて書かれた文は、正しいことが証明された（あるいはその数学書でこれから正しいことが証明される）命題である。 [脚注の使い方] ^ たとえば「雨が降っている」はこのままでは真偽の判断を下せないので命題ではない。場所や時間を特定すれば真偽が判断できるので命題になる[1][リンク切れ] ^ 説文解字注によれば「命」とは口と令により成り立ち、口も令も発号することであり、「使」すなわち令ないし従と同じ意味とある。「使命」は与えられた発号、あるいはその発号に従うこと。 ^ 偽の命題（真理値が偽の命題） ^ 真の命題（真理値が真の命題） ^ 小学館デジタル大辞泉「命題」2 ^ 詳しくは数学書における「命題」項目を参照 ^ 小学館デジタル大辞泉「命題」3 ^ 山川偉也「西周『致知啓蒙』に見る西洋形式論理学の本邦への導入について(共同研究 : ことばと理論(II))」『総合研究所紀要』第19巻第3号、1994年3月30日、35-46頁、CRID 1050564287545307264、ISSN 09187758。  ^ 三省堂・大辞林（第三版）「命題」『②英語propositionの訳語として西周が考案。「百学連環」（1870-71年）にある』 ^ “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] ^ 小説神髄（上）文体論。小学館日本国語大辞書「命題」 ^ 精選版日本国語大辞典「命（めい）」③、あるいは小学館デジタル大辞泉「命（めい）」漢字項目2.3.5[3] ^ 精選版日本語大辞典（小学館）「命題」。なお井上哲次郎・有賀長雄ら編「哲学字彙」（1881）では「演題」は「推測式」に改訳されたが「命題」はそのまま取り入れられ、明治20年（1887）以降に一般化したとする。 ^ 堀達之助「英和対訳袖珍辞書」改正増補（明治２、出版：蔵田屋清右衛門）P.322、国立国会図書館蔵[4] ^ 高崎金久『数理論理学入門』「Ⅲ.命題論理の意味論（その１）」1.1.1　命題とは何か[5] ^ 高崎金久『数理論理学入門』「Ⅲ.命題論理の意味論（その１）」1.1.1　命題とは何か[6] ^ A. G. Hamilton, Logic for Mathematicians, Cambridge University Press, 1980, ISBN 0521292913 ^ * 伏見康治「第I章　数学的補助手段 6節 命題算、集合算 p.50」『確率論及統計論』河出書房、1942年。hdl:10787/00033830。https://ismrepo.ism.ac.jp/records/33836。「応用数学第8巻」  ISBN 9784874720127 2024-01-18閲覧。 ^ 小学館・デジタル大辞泉「定立」 ^ 小学館・日本大百科全書「テーゼ」加藤尚武（ニッポニカ） ^ 高井一「空言舌言　百七十三、至上命題」2009/11/27 ^ 新潮社、大正15年11月5日発行、P.65、この他P.195には「最上の命題」の用例あり。 ^ 神戸大学新聞記事文庫[7] ^ 第90回衆議院本会議（昭和21年6月24日）中野四郎 ^ 竹山美宏「数学書の読み方」（森北出版、2022.3.8）P.P.7-8 論理的帰結 推論 前提 仮説 定理 伏見康治「確率論及統計論」第I章　数学的補助手段 6節 命題算、集合算 p.50 ISBN 9784874720127 ウィクショナリーに関連の辞書項目があります。 命題 （文献リスト）Proposition （英語） - PhilPapers 「命題」の文献一覧。 Stanford Encyclopedia of Philosophy articles on: Propositions, by Matthew McGrath Singular Propositions, by Greg Fitch Structured Propositions, by Jeffrey C. King