S или к
некоторым S (количество), либо утверждаем или отрицаем, что P относится ко всем / некоторым S (качество). Итак, имеются следующие четыре формы суждений: «все S есть P» (общеутвердительные), «все S не есть P» (общеотрицательные), «некоторые S есть P» (частноутвердительные) и, наконец, «некоторые S не есть P» (частноотрицательные): все, что мы говорим истинного или ложного, должно отображаться посредством одной из этих четырех логических форм.
По выполнении этой предварительной работы, согласно Аристотелю, становится возможным выявить формы правильных умозаключений, в коих в качестве посылок и заключения будут выступать суждения, каждое из которых будет иметь одну из четырех форм (необязательно одинаковую). Вышеприведенный пример имеет следующую форму:
– все M есть P
– все S есть M, следовательно:
– все S есть P, которая являет собой первый и самый известный модус первой фигуры «силлогизмов» Аристотеля; в Средние века этому модусу было дано женское имя Barbara. Таким образом, Аристотель открыл четырнадцать модусов силлогизмов, каждый из которых имеет внешнее сходство с Barbara и которые отличаются друг от друга качеством и количеством входящих в них суждений, а также расположением в двух посылках трех терминов (M, S, P).
Более двух тысяч лет логическая система Аристотеля и открытые им силлогизмы практически не подвергались пересмотру. А самое главное – несомненным представлялся тот факт, что, используя одну из четырех вышеуказанных форм, можно выразить абсолютно все, даже если это приводит к возникновению формулировок с грубыми стилистическими погрешностями.
Для того чтобы нагляднее продемонстрировать, сколь важны были для философии изменения, привнесенные в логический анализ Фреге и Расселом, позволим себе сказать еще несколько слов о философских последствиях анализа, разработанного стариком Аристотелем.
Последствия для метафизики
Многочисленные проблемы, волновавшие умы философов, возникают из следующего размышления: если признается, что формой-ядром любого повествовательного предложения выступает Субъект – связка – Предикат, то более-менее осознанно предполагается, что эта форма совпадает со структурой самой реальности так, что это соответствие между формой предложения и структурной реальности обеспечивает предложению возможность быть истинным. Это означает, что если мы следуем аристотелевской логике, то мы признаём, что реальность по сути состоит из «вещей», которые обладают или не обладают какими-либо свойствами. Речь в данном случае идет не о языке, но о метафизическом тезисе, касающемся структуры сущего в целом. Так от логики мы переходим к онтологии, то есть к учению о бытии как таковом.
