命題
アリストテレス論理学において命題は、主題の叙述するものを肯定または否定する、特定の種類の文である。アリストテレス的命題は「全ての人間は死ぬ」「ソクラテスは人間である」というような形を取る。
数理論理学において命題(英: propositional formula, statement forms)は量化子を含まない言明であり、それはまた原子論理式と五つの論理結合子(選言、連言、否定、含意、双条件)およびグループ化記号のみから構成される論理式の合成である。命題論理は完全かつ健全である。すなわち、命題論理において任意の定理は真であり、任意の真なる言明が証明可能である。命題論理の体系に変項と量化子を加えて拡張したものが述語論理である。
数学においては、例えば確率は命題の確からしさを表すなど、命題の存在を基本的前提として出発する場合がある 。
命題(、英語: proposition)とは、論理学において判断を言語で表したもので、真または偽という性質(真理値)をもつもの。また数学で、真偽の判断の対象となる文章または式、定理、問題のこと。西周による訳語の一つ。
厳密な意味での「命題」の存在について、「意味」の存在と同様に疑問を投げかける哲学者もいる。デイヴィド・ルイスは「『命題』という語からわれわれが連想する概念は、それぞれ差しさわりがありながら、それぞれが差し迫った必要性(desiderata)(から定義された複数のもの)がごちゃまぜになった、何ものか」であると言い、この概念を一貫した定義のなかで捉えることの困難さを指摘している。