総合的な演繹的命題

総合的な演繹的命題、論理的には、その述語が論理的または分析的に主題に含まれていない命題（つまり、合成）と、その真実が経験とは関係なく検証可能な（つまり、演繹的に）命題。したがって、「一部のボディは重い」という命題は、重さの考えがボディの考えに必ずしも含まれているわけではないため、総合的です。一方、「すべての夫は男性である」という命題は、男性の概念はすでに夫の概念に含まれているため、分析的です。一般に、合成ステートメントの真偽は、それらが含まれている単語の意味によってではなく、世界の方法に準拠しているかどうかによってのみ証明されます。総合的な先験的知識は、いくつかのそのような先験的概念は経験の可能性が非常に高いために前提とされていると主張したインマヌエルカントの考えの中心です。