Поскольку категорическое предложение определяется двумя характеристиками (качеством и количеством), он включил обе в определение предложения: качество – через указание, что оно есть утвердительное или отрицательное высказывание (ибо это первое и общее качество предложений), а количество – через указание, что оно бывает общим, частным или неопределенным. Их значения он излагает здесь кратко, но подробнее говорит о них в «Об истолковании».
Следует заметить, что понятие «общего» в этом трактате и во «Второй Аналитике» излагается неодинаково.»
Дополнение к p.24a16.
«Итак, предложение (πρότασις) – это утвердительное или отрицательное высказывание о чем-то по отношению к чему-то; оно может быть общеутвердительным, частноутвердительным или неопределенным».
Уточнение аристотелевской теории суждений, связывая ее с его более ранними работами и разъясняя различия между предложением, высказыванием, утверждением и отрицанием. Основной акцент сделан на формальной структуре суждений, их классификации и условиях истинности.
1. Определение предложения (πρότασις)
– Здесь Аристотель дает формальное определение логического предложения (суждения).
– Оно может быть:
– утвердительным (καταφατικός) – «S есть P»
– отрицательным (ἀποφατικός) – «S не есть P»
– По количеству:
– общеутвердительное (καθόλου) – «Все S суть P»
– частноутвердительное (ἐν μέρει) – «Некоторые S суть P»
– неопределенное (ἀδιόριστος) – «S есть P» (без указания количества)
2. Связь с определением высказывания (ἀπόφασις) из «Об истолковании»
– В трактате «Об истолковании» (De Interpretatione) Аристотель определяет высказывание как «речь, в которой содержится истина или ложь».
– Однако здесь он уточняет:
– Высказывание (ἀπόφασις) – это суждение по критерию истинности (истинно/ложно).
– Предложение (πρότασις) – это суждение по форме (утвердительное/отрицательное).
– Пример:
– «Справедливость – благо» и «Несправедливость – зло» – оба истинные утверждения, но это разные предложения, так как у них разные субъекты и предикаты.
3. Различие между утверждением и отрицанием
– Истинные утверждение и отрицание могут быть одинаковыми по логической форме, но разными как предложения, поскольку их качество (утвердительность/отрицательность) различно.
4. Почему предложение определяется через свои виды?
– Аристотель не рассматривает предложение как род (γένος), потому что в родах виды равноправны, а здесь утверждение и отрицание иерархичны (утверждение первично, отрицание вторично).