用演绎推理的三段论的形式分析。发达的原始形式亚里士多德在他的之前的分析c。350年公元前形式逻辑的,用演绎推理的代表最早的分支。三段论法的包含两个域的调查。直言三段论法的限制本身直言命题及其变化形式。Noncategorical用演绎推理的逻辑推理是一种使用整个命题为单位,一个方法可追踪的斯多葛学派,但只有完全由约翰·内维尔凯恩斯(1852 - 1949)。