Aristotle: Analytica Priora (Prior Analytics)

〈أنواع القضايا التى تثبت أو تبطل فى كل شكل〉

فلأن الأشياء التى عليها تكون المقاييس هى عندنا موجودة، وأيما منها فى كل شكل وعلى كم ضرب يتبين، فإنه أيضا بين لنا أى المطلوب يكون القياس فيه صعبا، وأيما يكون القياس فيه هينا.

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

فهو بين إذاً أن إيجاب الكلى الموجب صعب جدا، وإبطاله هين. وبالجملة إبطال الكلية أسهل من إبطال الجزئية، لأنه إن تبين أن المطلوب سالب كلى أو سالب جزئى يبطل أنه موجب كلى. والسالب الجزئى يتبين فى كل الأشكال. وأما السالب الكلى ففى شكلين. وكذلك يعرض فى إبطال السالب الكلى، لأنه إن تبين أن المطلوب كلى موجب أو جزئى موجب، يبطل أنه كلى سالب. وبيان ذلك كان فى شكلين. وأما إبطال