真假(对错)39；而有了“是”(“不是”)，就有了“是什么”(或“不是什么”)的问题，即定义的问题。定义问题实际上已经是判断的问题了，只不过在他的概念论中，定义还只是就用来定义的那些概念的性质和类别来进行分析，而未专门讨论定义本身的判断形式。在他的判断理论中，他则对这些判断形式作了专门的研究。
2.判断论
什么是判断?亚里士多德认为判断大体上就是命题，只不过命题更强调口头表达而已。他对命题的解释是：“只有那些在其中或有正确或有错误存在的句子，才是命题”40。例如一个祈祷句不是命题，修辞句或诗也不是命题。这里所谓“正确或错误”，指的是真假，而不是语法上的正确或错误，因为在语法上，祈祷句等等显然也是有正确或错误的可能的。但语法上正确的就是永远正确的，它容不得自相矛盾；判断上正确的却很可能由于事物的变化而变成不正确的，因为实体在时间中容许有相反的性质。所以命题或判断是陈述真或假的句子，“言语是正确的还是错误的，取决于事实如何，而不是依靠于言语本身的什么容许相反性质的能力”41，“真假的问题依事物对象的是否联合或分离而定，若对象相合者认为相合，相离者认为相离就得其真实；反之，以相离者为合，以相合者为离，那就弄错了。??并不因为我们说你脸是白，所以你脸才白；只因为你脸是白，所以我们这样说才算说得对。”42可见，亚里士多德对判断的规定具有强烈的认识论和本体论色彩，肯定与否定(是与不是)意味着对客观关系的联结与分离，联结与分离得对不对要看对象(如“你”和“白”两件事)实际上是不是真的联结了或分离了。
一般说亚里士多德认为判断是由主词和宾词两部分构成的，至于联系词“是”，他有时看作就是宾词，例如在存在命题“人是”(也就是“人存在” 或“有人”)中；有时则看作是复合宾词中的一个成分，如在“人是公正的”这一命题中43。这正表明他对联系词还没有后来的形式化的理解，而是理解为主词对客观实在的认识论的关系。因此他把“是”及其各时态在词性上理解为“动词”：“因为‘是’、‘将是’、‘曾是’、‘正将要是’以及诸如此类的用语，按照我们的定义乃是动词，因为除它们的特殊意义之外，它们还表达了时间的概念。”44一个判断就是一个名词(主词)加上一个动词(包括动作的对象即宾词)构成的。存在(是)与时间的这种本体论的联系，后来海德格尔对之作了深入的研究。 亚里士多德对判断的分类主要是按“二分法”来进行的，有这样几个层次：1) 肯定判断和否定判断，这是最重要的一对，它直接与真或假发生关系，并在判定真假时涉及到矛盾律，因为对同一事物的肯定和否定构成一对“矛盾命题”45。这是判断的“质”的方面。2)“量”的方面，分为全称判断和单称判断，它们不直接涉及真假问题，只有和肯定与否定结合起来才有真假；但它们构成了三段论推理的基础。有时候，他用“特称判断”涵括了“单称判断”(“有的”既可以指某些，也可以指某个)；有时还提出了第三种即“不定判断”(如“人是白的”)，既可以作全称的理解也可以作单称的(或特称的)理解，其实是一种模糊的表达。3)简单判断和复合判断46，后者是由几个简单判断复合而成的。但亚里士多德只是提到复合判断，而没有具体探讨如假言判断和选言判断的规律。4)模态判断，有三种：实然判断、必然判断、可能判断，但这方面亚里士多德谈得十分含混，几乎无法理解，有人认为属于未完成的思想47。亚里士多德这种主要是二分法的判断分类表明了他的逻辑思想中的一个重要的倾向，即把判断的形式置于判断的主体之外、使之成为主体把握真理的一个“工具”(就此而言，称他的逻辑学为“工具论”是有道理的)；他只是分析(一分为二)各种判断，而没有同时把判断本身看作主体的一种综合行动，没有在逻辑学领域也把努斯精神贯彻到逻各斯中去。能动的运动和变化只在判断之外，判断只能被动地随时调整自己以适应对象，因而在主观辩证法或辩证逻辑方面，他反而从芝诺和柏拉图那里倒退了。
正如在概念论中对定义的研究已经涉及到了判断理论一样，亚里士多德的判断论中对各种判断都是就其在三段论推理中的作用(用作大前提和小前提) 来展开讨论的(其实概念论中对种属关系的讨论也是如此)。他最关心的理论课题还是制定出三段论推理的一套规则，来为科学研究提供实在有效的工具。
3.三段论推理
亚里士多德对三段论式作了如下定义：“三段论是一种论说，在其中某些东西被肯定了，另外一个东西就必然由于这些基本的东西而成立”48。它是由大前提、小前提和结论这样三个相互贯串的命题(判断)所构成的，其最基本的形式是这样的：
每当三个词彼此之间的关系具有这样的性质，即最后的词是包含在中间的词里面，像某一个东西包含于一个整体之中一样，而中间的词又包含于第一个词之中或被排斥于它之外，像某一个东西包含于一个整体或被排斥于它之外一样，这时候，最先和最后的词就必定借一个完全的三段论式而发生关系。49
这称之为三段论的“第一格”。亚里士多德提出三段论有三个格(后人补足为四个格)，各个格是按照这三个名词(称为大词、中词和小词)的关系 (相对位置)不同来划分的；再加上肯定和否定、全称和特称的关系，于是每个格又分成一些“式”，这样算来，四个格原则上应当有两百多个式，但其中只有24 个式是正确的。为了找出这些正确的式，亚里士多德制定了一套规则：501)一个正确的三段论不能多于三个名词；2)每个三段论的前提之一必须是肯定的； 3)每个三段论必须有一个全称命题；4)一个全称结论必须从两个全称的前提推出；5)一个肯定的结论必须从两个肯定的前提推出。此外，亚里士多德还认为三段论的第一格是最完善、最明白地表达出逻辑必然性的，其他各格则不够完善(不够自