論証とは、命題からなる列のうち、或る一つの命題がそれ以外の命題によって立証されるものあるいは少なくともそのための証拠を提供されるものとして意図されるようなものをいう。立証を意図される命題を帰結、それ以外の命題を前提と呼ぶ。命題とは平叙文で表現できるような意味や思考内容である。たとえば「一匹の犬がいる」と「There is a dog」は異なる文であるが同一の命題であり、この点で文は命題と区別される。命題は平叙文であるから「大学に行くべきだ。行きなさい」は論証ではない。また意図されるには、立証が実際に成功している必要がないという含意がある。たとえば「すべての人間は死ぬ。ソクラテスは人間だ。だから…