Analytica Priora (Prior Analytics)
〈التبكيت (=التفنيد)〉
فلأنا نعرف متى يكون قياس، وكيف يكون، فإنه بين متى يكون تبكيت ومتى لا يكون، لأنه إذا أقر بالمسائل ووضعت الجوابات مختلفة: مثل أن يكون بعضها موجبا وبعضها سالبا، فإنه يمكن أن يكون تبكيت، لأنه قد تبين أن القياس يكون إما بأن الحدود كلها موجبة، وإما بأن بعضها موجبة وبعضها سالبة. فإن كان الموضوع ضد النتيجة، فإنه يلزم لا محالة أن يكون القياس تبكيتا، لأن التبكيت هو قياس منتج لنقيضة الأصل الموضوع. فإن لم تفرض المسائل بشىء، فإنه محال أن يكون تبكيت، لأنه قد تبين أنه لا يكون قياس بسلب الحدود كلها. فإذن ولا تبكيت يكون، لأنه إن كان تبكيت فقد كان قياس لا محالة. وأما إذا كان قياس، فليس لا محالة يكون تبكيت. وكذلك أيضا لا يكون قياس إذا لم يقر فى الجواب بمقدمة كلية، لأن التحديد فى القياس والتبكيت واحد فى وجوب النتيجة.