Aristotle: Analytica Posteriora (Posterior Analytics)

وجزء المناقضة: وأما ما كان على شىء فهو موجبه؛ وأما ما كان من شىء فهو سالبه. وأما المبادئ القياسية غير ذات وسط: أما ما كان لا سبيل إلى أن تبرهن، ولا أيضا يلزم ضرورة أن يكون حاصلا لمن يعـ〈ـقـ〉ـل شيئا ما، فإنى أسميه وضعا. وأما 〈ما كا〉ن منها لقد يجب ضرورة أن يكون المتعلم 〈حاصلا عليه فهو〉 أكسيوما، أعنى 〈الشىء〉 المتعارف: فإنه قد توجد بعض الأشياء 〈من هذا الجنس〉، وذلك أن عادتنا أن نستعمل هذا الاسم فى أمثال هذه خاصةً. وأما الوضع فإنى أسمى ما يقتضب أى جزء من جزئى الحكم كان — وهو أن الشىء موجود أو غير موجود — أيوباثسيس، أعنى الأصل الموضوع؛ وأما ما كان غير هذا فالتحديد. فإن تحديد هو وضع، وذلك أن صاحب العدد 〈قد〉 يضع أن الوحدة ما لا ينقسم بالكم وضعا، وليس هو أصلا موضوعا. وذلك أن معنى ما هى الوحدة ومعنى أنها موجودة ليس هو واحداً بعينه.

ولما كان قد يجب أن نصدق بالأمر ونعلمه من طريق ما لنا عليه، مثل هذا القياس الذى نسميه أبودكسيس، أعنى البرهان، وهذا هو