的形式—三段论（在分析前后篇里）以及反证法（在题旨篇和谬误论証篇里）。除此之外亚里士多德有一本讨论逻辑的着作并没有列在这六本书里：《形而上学》的第四篇（Bocheński, 1951）。
模态逻辑.亚里士多德也透过逻辑的模态（模态逻辑）创造出了三段论。模态一词代表的意思是「模型」，模态逻辑所要研究的就是「真理」的模型。亚里士多德也提出了「可能的」与「必然的」两种研究假说的差异概念，并且建构了一套逻辑的研究方式，以探索那些难以被解读出来的真相。（Rose, 1968）Sectio