Analytica Priora (Prior Analytics)
Ἐπεὶ δ᾿ ἔχομεν πότε καὶ πῶς ἐχόντων τῶν ὅρων γίνεται συλλογισμός, φανερὸν καὶ πότ᾿ ἔσται καὶ πότ᾿ οὐκ ἔσται ἔλεγχος. Πάντων μὲν γὰρ συγχωρουμένων, ἢ ἐναλλὰξ τιθεμένων τῶν ἀποκρίσεων, οἷον τῆς μὲν ἀποφατικῆς τῆς δὲ καταφατικῆς, ἐγχωρεῖ γίνεσθαι ἔλεγχον. Ἦν γὰρ συλλογισμὸς καὶ οὕτω καὶ ἐκείνως ἐχόντων τῶν ὅρων, ὥστ᾿ εἰ τὸ κείμενον ᾖ ἐναντίον τῷ συμπεράσματι, ἀνάγκη γίνεσθαι ἔλεγχον· ὁ γὰρ ἔλεγχος ἀντιφάσεως συλλογισμός. Εἰ δὲ μηδὲν συγχωροῖτο, ἀδύνατον γίνεσθαι ἔλεγχον· οὐ γὰρ ἦν συλλογισμὸς πάντων τῶν ὅρων στερητικῶν ὄντων, ὥστ᾿ οὐδ᾿ ἔλεγχος· εἰ μὲν γὰρ ἔλεγχος, ἀνάγκη συλλογισμὸν εἶναι, συλλογισμοῦ δ᾿ ὄντος οὐκ ἀνάγκη ἔλεγχον. Ὡσαύτως δὲ καὶ εἰ μηδὲν τεθείη κατὰ τὴν ἀπόκρισιν ἐν ὅλῳ· ὁ γὰρ αὐτὸς ἔσται διορισμὸς ἐλέγχου καὶ συλλογισμοῦ.
〈التبكيت (=التفنيد)〉
فلأنا نعرف متى يكون قياس، وكيف يكون، فإنه بين متى يكون تبكيت ومتى لا يكون، لأنه إذا أقر بالمسائل ووضعت الجوابات مختلفة: مثل أن يكون بعضها موجبا وبعضها سالبا، فإنه يمكن أن يكون تبكيت، لأنه قد تبين أن القياس يكون إما بأن الحدود كلها موجبة، وإما بأن بعضها موجبة وبعضها سالبة. فإن كان الموضوع ضد النتيجة، فإنه يلزم لا محالة أن يكون القياس تبكيتا، لأن التبكيت هو قياس منتج لنقيضة الأصل الموضوع. فإن لم تفرض المسائل بشىء، فإنه محال أن يكون تبكيت، لأنه قد تبين أنه لا يكون قياس بسلب الحدود كلها. فإذن ولا تبكيت يكون، لأنه إن كان تبكيت فقد كان قياس لا محالة. وأما إذا كان قياس، فليس لا محالة يكون تبكيت. وكذلك أيضا لا يكون قياس إذا لم يقر فى الجواب بمقدمة كلية، لأن التحديد فى القياس والتبكيت واحد فى وجوب النتيجة.