И то и другое бывает либо единичным, как в приведённых примерах; либо общим , как «Всякий человек — писец» и «Ни один человек не писец»; либо частным количественно определённым, как «Некоторые люди — писцы» и «Некоторые люди — не писцы»; либо ни тем ни другим, и тогда его называют , как «Человек — писец» и «Человек не писец».
أَقُولُ: القضيةُ تنقسمُ ثانياً إلى موجبةٍ وسالبةٍ، لأن تلك النسبةَ التي ذكرناها إن كانت حكماً بأن يُقالَ: الموضوعُ محمولٌ، فالقضيةُ موجبةٌ كقولنا: زيدٌ كاتبٌ، وإن كانت حكماً بأن يقالَ: الموضوعُ ليس بمحمولٍ، فالقضيةُ سالبةٌ كقولنا: زيدٌ ليس بكاتبٍ.
Во-вторых, делится на утвердительное и отрицательное. Ведь если названная нами связь — это суждение, что « есть », суждение утвердительное, как «Зайд — писец»; а если это суждение, что «субъект не есть предикат», суждение отрицательное, как «Зайд не писец».
قالَ: وكلُّ واحدٍ منهما، إمَّا مخصوصةٌ كما ذكرنا، وإمَّا كليةٌ مُسوَّرةٌ كقولنا: كلُّ إنسانٍ كاتبٌ، ولا شيءَ من الإنسانِ بكاتبٍ، وإمَّا جُزئيَّةٌ مُسوَّرةٌ كقولنا: بعضُ الإنسانِ كاتبٌ، وبعضُ الإنسان ليس بكاتبٍ، وإما أن لا تكونَ كذلك، وتُسمَّى مُهملةً كقولنا: الإنسانُ كاتبٌ، والإنسانُ ليس بكاتبٍ.
أَقُولُ: كلُّ واحدةٍ من القضية الموجبة والسالبة، إما أن تكونَ مخصوصةً أو محصورةً سواءٌ كانت كليةً، أو جزئيةً، أو مُهملةً، لأنه إن كان الموضوعُ في القضية شخصاً مُعيَّناً جُزئياً، فالقضيةُ مخصوصةٌ كما ذكرنا في مثال المُوجبة والسالبةِ نحو: زيدٌ كاتبٌ، وزيدٌ ليس بكاتبٍ وأمَّا تَسميتُها مخصوصةً، فلخُصوص موضوعِها، وقد يُقالُ لها شخصيةٌ، لكون موضوعِها شخصاً مُعيَّناً جزئيا، وإن لم يكن موضوعُها أي موضوعُ القضية شخصاً معيَّناً جزئياً، بل يكونُ غيرَ مُعيَّنٍ كُليًّا، فإن بُيِّنَ فيها كميَّةُ أفرادِ الموضوع من الكُليَّة والجُزئيَّة، فالقضيةُ محصورةٌ ومسوَّرةٌ، أمَّا كونُها محصورةً: فلحصر أفراد موضوعها، وأمَّا كونُها مسوَّرةً: فلاشتمالها على السُّور الذي هو اللفظُ الدالُّ على كميَّة أفراد الموضوع حاصراً لها، ومُحيطاً بها، والسُّورُ مأخوذٌ من سورِ البلد، فكما أنَّه يحصُرُ البلدَ كذلك ما يدلُّ على كميَّة الأفراد يحصُرُ أفرادَ الموضوع، وهذه المحصورةُ إمَّا أن يُحكَمَ فيها على كلِّ الأفراد، أو على بعضِها، وعلى التَّقديرينِ، فالحكمُ إما بالإيجاب أو بالسَّلب، فإن كان الأولَ فالقضيةُ كليةٌ مسورةٌ موجبةٌ كقولنا: كلُّ إنسانٍ كاتبٌ، أو سالبةٌ كقولنا لا شيءَ من الإنسانِ بكاتبٍ، والسُّورُ في المُوجَبةِ الكُليَّةِ نحو كُلَّ، وفي السالبة نحو لا شيءَ، ولا واحدَ كما ذكرنا، وإن كان الثانيَ أي إن كان الحكمُ في القضية على بعض الأفراد فالقضيةُ جزئيةٌ مسوَّرةٌ موجبةٌ كقولنا بعضُ الإنسان كاتبٌ، أو سالبةٌ كقولنا بعضُ الإنسانِ ليس بكاتبٍ.
والسُّورُ في القضيةِ الجُزئيةِ المُوجبةِ نحوُ بعضٍ، وواحدٍ فقط، وفي الجُزئية السالبة نحو ليس كُلّ، وليس بعض، وبعض ليس، وإن لم يكن كل أي وإن لم يكن الموضوعُ في القضيَّة شخصاً مُعيَّناً، ولم يكن الحكمُ فيها على كلِّ الأفراد، أو على بعضِها، فالقضيةُ تُسمَّى مُهملةً كقولنا الإنسانُ كاتبٌ، والإنسانُ ليس بكاتبٍ لإهمال بيانِ كميَّة الأفراد التي حُكِمَ عليها، فإذن كانت القسمةُ مُثلَّثةً كما ثَلَّثَ الشَّيخُ في الشفاءِ، لا يقال: إنَّ القضيةَ الطبيعيةَ خارجةٌ عنها، فلا يصدُقُ الحصرُ، لأنَّا نقولُ: الكلامُ في القضايا المُعتبرة في العلوم، والقضيةُ الطبيعيةُ ليست بمعتبرةٍ في العلوم لعدم إنتاجها، فخروجُها عن التقسيم لا يُخِلُّ بالانحصار.
Каждое из двух — утвердительное и отрицательное — бывает либо единичным, либо (общим или частным), либо . Ведь если суждения — определённый единичный индивид, суждение единичное (махсуса), как в приведённых нами примерах утвердительного и отрицательного: «Зайд — писец» и «Зайд не писец». Оно называется единичным (махсуса), потому что его субъект особенный; его называют также индивидуальным (шахсийя), потому что его субъект — определённый единичный индивид (шахс). Если же его субъект, то есть субъект суждения, — не определённый единичный индивид, а нечто неопределённое и общее, то, если в нём указано количество индивидов субъекта — все или некоторые, — суждение количественно определённое (махсура) и имеет . Оно называется махсура (буквально «огороженное»), потому что индивиды его субъекта огорожены; и о нём говорят, что у него есть квантор, потому что в нём есть квантор (сур) — слово, которое указывает на количество индивидов субъекта, огораживая и охватывая их. Слово «сур» взято от «сура» — стены города: как стена огораживает город, так и то, что указывает на количество индивидов, огораживает индивидов субъекта. В таком количественно определённом суждении суждение выносится либо обо всех индивидах, либо о некоторых из них, и в обоих случаях оно либо утвердительное, либо отрицательное. Если первое [обо всех], суждение общее с квантором: утвердительное, как «Всякий человек — писец», или отрицательное, как «Ни один человек не писец». Квантор в общеутвердительном — например, «всякий», а в отрицательном — например, «ничто из» и «ни один», как мы упомянули. Если второе, то есть если суждение выносится о некоторых индивидах, суждение частное с квантором: утвердительное, как «Некоторые люди — писцы», или отрицательное, как «Некоторые люди — не писцы».
Квантор в частноутвердительном — например, «некоторые» и «один», и только; а в частноотрицательном — например, «не всякий», «не некоторые» и «некоторые … не». Если ни то ни другое, то есть если субъект суждения — не определённый индивид и суждение выносится не обо всех индивидах и не о некоторых из них, суждение называется неопределённым (мухмала), как «Человек — писец» и «Человек не писец», потому что в нём опущено (ихмаль) всякое на количество индивидов, о которых выносится суждение. Значит, разделение тройное, как его сделал тройным Шейх [Ибн Сина] в «аш-Шифа». Не следует возражать, что естественное суждение выпадает из этого разделения, так что разделение не исчерпывающее. Потому что мы говорим: речь идёт о суждениях, которые принимаются во внимание в науках, а естественное суждение в науках во внимание не принимается, потому что оно не даёт ; поэтому то, что оно выпадает из разделения, не нарушает его полноты.
Вопросов: 3 — о том, что объясняет комментарий. С 6 из 10 и выше (две звезды) открывается следующий урок.
Вопрос 1
Почему, по аль-Кати, квантор — слово, указывающее на количество, — называется «сур» („стена“)?
والسُّورُ مأخوذٌ من سورِ البلد
Аль-Кати объясняет, что «сур» взято от слова, означающего стену города: как стена огораживает город, так слово, указывающее на количество, огораживает индивидов .
Вопрос 2
Возражают, что «естественное суждение» (табиийя) выпадает из тройного разделения, так что разделение не исчерпывающее. Что отвечает аль-Кати?
Аль-Кати отвечает, что разделение охватывает только , используемые в науках; естественное суждение не даёт , поэтому то, что оно выпадает из разделения, разделению не вредит.
Вопрос 3
Что из этого аль-Кати приводит как квантор частноотрицательного суждения?
Аль-Кати приводит «всякий» для общеутвердительного, «ни один» и «ни единый» для общеотрицательного, «некоторые» и «один» для частноутвердительного и «не всякий», «не некоторые» и «некоторые… не» для .
Следующий урок: Соединительные и разделительные условные суждения