Что предложение понимается многозначно, кажется, думал и Теофраст в трактате «Об утверждении». По крайней мере, он не определяет само предложение, но утверждение и отрицание.

Эти определения относятся не ко всякому предложению, но лишь к простому и так называемому категорическому; ибо «что-то о чем-то» и «общее или частное или неопределенное» – это его особенности. Гипотетическое предложение имеет свою истинность или ложность не в том, что «что-то сказывается о чем-то», но в следовании или противоречии. Данное определение относится и не к диалектическому предложению (ибо оно – в вопросе), но только к силлогистическому.

Он сказал «о чем-то» и при отрицании, поскольку и в отрицании есть некоторый подлежащий термин и сказуемый: ибо «о чем-то» здесь означает не утвердительное, но сказуемое, которое сказывается либо утвердительно, либо отрицательно. Однако в «Об истолковании», определяя утверждение и отрицание, он использовал «о чем-то» для утверждения, а для отрицания уже не «о чем-то», но «от чего-то», назвав его отрицанием «чего-то от чего-то».

Поскольку категорическое предложение определяется двумя характеристиками (качеством и количеством), он включил обе в определение предложения: качество – через указание, что оно есть утвердительное или отрицательное высказывание (ибо это первое и общее качество предложений), а количество – через указание, что оно бывает общим, частным или неопределенным. Их значения он излагает здесь кратко, но подробнее говорит о них в «Об истолковании».

Следует заметить, что понятие «общего» в этом трактате и во «Второй Аналитике» излагается неодинаково.»

Дополнение к p.24a16.

«Итак, предложение (πρότασις) – это утвердительное или отрицательное высказывание о чем-то по отношению к чему-то; оно может быть общеутвердительным, частноутвердительным или неопределенным».

Уточнение аристотелевской теории суждений, связывая ее с его более ранними работами и разъясняя различия между предложением, высказыванием, утверждением и отрицанием. Основной акцент сделан на формальной структуре суждений, их классификации и условиях истинности.

1. Определение предложения (πρότασις)

– Здесь Аристотель дает формальное определение логического предложения (суждения).

– Оно может быть:

– утвердительным (καταφατικός) – «S есть P»

– отрицательным (ἀποφατικός) – «S не есть P»

– По количеству:

– общеутвердительное (καθόλου) – «Все S суть P»

– частноутвердительное (ἐν μέρει) – «Некоторые S суть P»

– неопределенное (ἀδιόριστος) – «S есть P» (без указания количества)

2. Связь с определением высказывания (ἀπόφασις) из «Об истолковании»

– В трактате «Об истолковании» (De Interpretatione) Аристотель определяет высказывание как «речь, в которой содержится истина или ложь».

– Однако здесь он уточняет:

– Высказывание (ἀπόφασις) – это суждение по критерию истинности (истинно/ложно).

– Предложение (πρότασις) – это суждение по форме (утвердительное/отрицательное).

– Пример:

– «Справедливость – благо» и «Несправедливость – зло» – оба истинные утверждения, но это разные предложения, так как у них разные субъекты и предикаты.

3. Различие между утверждением и отрицанием

– Истинные утверждение и отрицание могут быть одинаковыми по логической форме, но разными как предложения, поскольку их качество (утвердительность/отрицательность) различно.

4. Почему предложение определяется через свои виды?

– Аристотель не рассматривает предложение как род (γένος), потому что в родах виды равноправны, а здесь утверждение и отрицание иерархичны (утверждение первично, отрицание вторично).

– Поэтому он определяет предложение через его виды (утверждение и отрицание), а не как самостоятельную сущность.