Далее он поясняет, что рассуждает о силлогизме ради учения о доказательстве, а о терминах и предложениях – ради учения о силлогизме.
О совершенных и несовершенных силлогизмах
Аристотель далее разъяснит, какие силлогизмы совершенны (τέλειοι), а какие – нет (ἀτελεῖς).
О выражениях «принадлежать всему» и «не принадлежать ничему»
Эти фразы означают:
– «принадлежать всему» = общеутвердительное суждение (κατά παντός),
– «не принадлежать ничему» = общеотрицательное суждение (κατά μηδενός).
Поскольку эти понятия будут использоваться при анализе силлогизмов и их фигур, автор предварительно разъясняет их.
Ключевые термины и пояснения
1. Аπόδειξις (доказательство) – строгий логический вывод, основанный на необходимых предпосылках.
2. Ἐπιστήμη ἀποδεικτική (доказательное знание) – научное знание, полученное через доказательство.
3. Πρότασις (предложение, посылка) – утверждение, из которого строится силлогизм.
4. Ὄρος (термин) – элемент предложения (субъект или предикат).
5. Συλλογισμός (силлогизм) – логическое умозаключение из двух посылок.
6. Τέλειοι συλλογισμοί (совершенные силлогизмы) – такие, чья очевидность не требует дополнительных шагов.
7. «Ἐν ὅλῳ εἶναι» / «ἐν μηδενὶ εἶναι» – «принадлежать всему» / «не принадлежать ничему» (общеутвердительные и общеотрицательные суждения).
p.24a16. «Итак, предложение (πρότασις) есть утвердительное или отрицательное высказывание чего-то о чем-то; оно бывает либо общим, либо частным, либо неопределенным.
Определением предложения можно считать и то, которое он дал для высказывания (ἀπόφανσις) в трактате «Об истолковании»: «речь, в которой присуще истинное или ложное». Однако здесь он дает определение предложению в собственном смысле. Ибо хотя предложение и высказывание тождественны по своему подлежащему, но различаются по определению. Поскольку оно истинно или ложно, это – высказывание; поскольку же оно утвердительно или отрицательно, это – предложение. Или: простое высказывание имеет бытие в том, чтобы быть истинным или ложным, а предложение – уже в том, как оно имеет эти свойства. Поэтому высказывания, неодинаково обладающие ими, суть одни и те же по виду, но не одни и те же как предложения. Например, предложение, гласящее, что справедливость есть благо, сходно с тем, которое гласит, что несправедливость есть зло – оба истинны и утвердительны, но это не одни и те же предложения, поскольку в них различаются подлежащие и сказуемые. Но и утверждение, и отрицание, если они истинны, сходны в этом отношении и суть одни и те же высказывания, но не одни и те же предложения, если в них различно качество высказывания: они – не одни и те же предложения, но одни и те же высказывания.