アリストテレス論理学
において命題は、主題の叙述するものを肯定または否定する、特定の種類の文である。アリストテレス的命題は「全ての人間は死ぬ」「ソクラテスは人間である」というような形を取る。数理論理学において命題（英: propositional formula, statement forms）は量化を含まない言明であり、それはまた原子論理式と五つの論理結合子（選言、連言、否定、含意、双条件）およびグループ化記号のみから構成される論理式の合成である。命題論理は完全かつ健全である。すなわち、命題論理において任意の定理は真であり、任意の真なる言明が証明可能である[14]。命題論理の体系に変項と量化子を加えて拡張したものが述語論理である。
数学においては、例えば確率は命題の確からしさを表すなど、命題の存在を基本的前提として出発する場合がある[15]。 現在では、論争や存在論的な含みを持つことを避けるため、ある解釈の下で（真か偽のいずれであるかという）真理の担い手となる記号列自体について述べる時は、「命題」という代わりに「文 (sentence)」という術語を用いる。ストローソンは「言明 ("statement")」 という術語を用いることを提唱した。 定立（ていりつ、独: these）は、ある肯定的判断・命題を立てること、また立てられた肯定的判断・命題である。テーゼとも呼ばれる。 ヘーゲル弁証法では、三段階発展の最初の段階を指す語として使用される[16]。カントの二律背反では、同等の権利をもって語ることのできる、世界についての根本主張の最初の肯定的なほう、たとえば「自由は存在する」が定立であり、反定立は「自由は存在しない」である。フィヒテは、自我と非自我の対立を、両者をともに可能にする第三者の内に総合する立場を、「定立-反定立-総合」と定式化した[17]。 「至上命題」という語については至上命令から派生した語であり本来は誤用との指摘がある[18]。「至上命題」の用例は1926年刊「ニイチエ全集-偶像の薄明；他」（生田長江訳）[19]、国民新聞1938年5月13日-5月22日報に利用があり[20]、国会議事録では昭和21年に使用例を発見することができ[21]、「至上の命題」は1941年刊行「宗教研究」（第24巻、宗教研究会刊）や1943年刊行「週報」（第341号、内閣情報部）に発見することができる。 上述のように命題とは真か偽かがはっきり定まる形式をもつ文（断言する文）のことを言うが、数学書において「命題」と見出しをつけて書かれている命題は、公理と定義を元にして定理の体系を作り上げていく過程で必要とされる「真の命題」を指し、そのなかでとくに重要なものが定理と呼ばれ、「定理」と見出しが付けられる[22]。数学書で「定理」「命題」「補題」「系」と見出しを付けて書かれた文は、正しいことが証明された（あるいはその数学書でこれから正しいことが証明される）命題である。
類語等
言い換え
定立
至上命題
数学書における「命題」
脚注[脚注の使い方]
注釈^ たとえば「雨が降っている」はこのままでは真偽の判断を下せないので命題ではない。場所や時間を特定すれば真偽が判断できるので命題になる ⇒[1][リンク切れ]
^ 説文解字注によれば「命」とは口と令により成り立ち、口も令も発号することであり、「使」すなわち令ないし従と同じ意味とある。「使命」は与えられた発号、あるいはその発号に従うこと。
^ 偽の命題（真理値が偽の命題）
^ 真の命題（真理値が真の命題）
出典^ 小学館デジタル大辞泉「命題
^ 詳しくは数学書における「命題」項目を参照
^ 小学館デジタル大辞泉「命題
^ 山川偉也「西周『致知啓蒙』に見る西洋形式論理学の本邦への導入について(共同研究 : ことばと理論(II))
^ 三省堂・大辞林（第三版）「命題」『②英語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
関連項目
論理的帰結
推論
前提
仮説
定理
参考文献