Оппозиция и истинность утверждений Аристотеля: универсальные и частичные субъекты

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

---

Содержание

• Введение в логику Аристотеля и трактат “О трактовке”
• Универсальные и частичные субъекты в категорических суждениях
• Логический квадрат как инструмент анализа оппозиции
• Отношения истинности между утверждениями с универсальным и частичным субъектами
• Значение учения Аристотеля для современной логики

---

Введение в логику Аристотеля и трактат “О трактовке”

Трактат “О трактовке” (Περὶ Ἑρμηνείας) представляет собой один из ключевых текстов Аристотеля по формальной логике, написанный около 350 года до н.э. В 10-й главе, фрагменте 19b19-19b30, Аристотель развивает свою теорию простых категорических суждений, которая стала основой всей последующей формальной логики. Этот раздел представляет собой фундаментальный анализ оппозиции и отношений истинности между различными типами утверждений.

Аристотель здесь исследует, как изменяются логические свойства высказываний в зависимости от того, какой тип субъекта они содержат: универсальный или частичный. Это исследование имеет огромное значение для понимания классических законов логики, включая закон противоречия и закон исключенного третьего.

Важно отметить, что анализ Аристотеля предвосхитил современную теорию логического квадрата, который станет систематизированным инструментом для визуализации отношений между различными типами категорических суждений в более поздней логической традиции.

---

Универсальные и частичные субъекты в категорических суждениях

Согласно Аристотелю, различие между универсальными и частичными субъектами является ключевым для понимания логических отношений между суждениями. Универсальный субъект означает, что предикат относится ко всем членам класса, обозначенному субъектом, в то время как частичный субъект указывает, что предикат относится лишь к части этого класса.

В контексте трактата “О трактовке” гл. 10, фрагмент 19b19-19b30, Аристотель выделяет два основных случая:

1. Универсальный субъект, применяемый неуниверсально: Когда субъект универсален, но предикат может быть как универсальным, так и частичным. Если предикат универсален, то суждение имеет форму “Все S есть P” (A-тип). Если же предикат частичный, то суждение принимает форму “Некоторые S есть P” (I-тип).

2. Частичный субъект: Когда сам субъект частичен, предикат обязан быть универсальным, и суждение всегда имеет форму “Все S есть P” (A-тип).

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

Такая классификация лежит в основе классификации простых категорических суждений, которая стала фундаментом для всей последующей логики Аристотеля и оказала огромное влияние на развитие современной формальной логики.

---

Логический квадрат как инструмент анализа оппозиции

Логический квадрат представляет собой графическое схематическое представление отношений истинности между различными типами категорических суждений. Хотя Аристотель не использовал термин “логический квадрат”, его анализ в “О трактовке” является теоретической основой для этого инструмента.

В классическом логическом квадрате выделяются четыре основных типа отношений:

1. Противоречие (contradictio): Суждения, которые не могут быть одновременно истинными и не могут быть одновременно ложными. Например, “Все люди смертны” и “Некоторые люди не смертны”.

2. Противоположность (contrarietas): Суждения, которые не могут быть одновременно истинными, но могут быть одновременно ложными. Например, “Все люди смертны” и “Ни один человек не смертен”.

3. Частичное противоречие (subcontrarietas): Суждения, которые не могут быть одновременно ложными, но могут быть одновременно истинными. Например, “Некоторые люди смертны” и “Некоторые люди не смертны”.

4. Подчинение (subalternatio): Отношение между универсальным и частичным суждениями одинакового качества, где истинность универсального влечет истинность частичного, но не наоборот.

В контексте вопроса Аристотеля, логический квадрат помогает визуализировать, как изменяются эти отношения в зависимости от типа субъекта. Универсальный субъект позволяет реализовать все четыре типа отношений, тогда как частичный субъект ограничивает возможные отношения, поскольку порождает только универсальные суждения с универсальными предикатами.

Этот инструмент анализа оппозиции стал одним из важнейших достижений классической логики и продолжает использоваться в современной логической семантике.

---

Отношения истинности между утверждениями с универсальным и частичным субъектами

Согласно Аристотелю в трактате “О трактовке” гл. 10, фрагмент 19b19-19b30, отношения истинности между утверждениями с универсальным и частичным субъектами существенно различаются.

Для утверждений с универсальным субъектом, применяемым неуниверсально, характерны следующие оппозиционные отношения:

1. Противоречия:

• “Всегда P” (A-тип) и “Никогда P” (E-тип) - не могут быть одновременно истинными и не могут быть одновременно ложными
• “Частично P” (I-тип) и “Нечастично P” (O-тип) - не могут быть одновременно истинными и не могут быть одновременно ложными

2. Противоположности:

• “Всегда P” (A-тип) и “Никогда P” (E-тип) - не могут быть одновременно истинными, но могут быть одновременно ложными

3. Частичные противоречия:

• “Частично P” (I-тип) и “Нечастично P” (O-тип) - не могут быть одновременно ложными, но могут быть одновременно истинными

4. Подчинение:

• “Всегда P” (A-тип) и “Частично P” (I-тип) - истинность первого влечет истинность второго
• “Никогда P” (E-тип) и “Нечастично P” (O-тип) - истинность первого влечет истинность второго

Для утверждений с частичным субъектом ситуация иная:

1. Поскольку частичный субъект допускает только универсальный предикат, все такие суждения имеют универсальный характер (A-тип).

2. Это означает, что отношения между ними упрощаются до отношений между универсальными утверждениями одного типа.

3. Противоречие здесь может возникнуть только между “Все S есть P” и “Некоторые S не есть P”, но последнее уже не является утверждением с частичным субъектом в аристотелевском смысле.

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

---

Значение учения Аристотеля для современной логики

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

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

Во-вторых, классификация простых категорических суждений Аристотеля остается основой для многих современных логических систем. Хотя формальная логика значительно продвинулась с времен Аристотеля, базовые классификации суждений по количеству (общие и частные) и качеству (утвердительные и отрицательные) остаются фундаментальными.

В-третьих, анализ отношений истинности между различными типами суждений оказал влияние на развитие современной семантики и теории значения. Понимание того, как изменения в структуре высказания влияют на его логические свойства, остается важной темой в современной философии языка.

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

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

---

Источники

1. Стэнфордская энциклопедия философии — Анализ логики Аристотеля и различий между универсальными и частичными субъектами: https://plato.stanford.edu/entries/aristotle-logic/

2. Интернет архив классики — Полный текст трактата Аристотеля “О трактовке” с переводом на английский язык: https://classics.mit.edu/Aristotle/interpretation.html

3. Philosophy Pages — Обзор истории западной логики и влияния Аристотеля: https://www.philosophypages.com/hy/2b.htm

---

Заключение

Анализ Аристотеля в трактате “О трактовке” гл. 10, фрагмент 19b19-19b30, представляет собой фундаментальное различие между универсальными и частичными субъектами и их влиянием на оппозиционные отношения и истинностные характеристики суждений. Универсальный субъект, применяемый неуниверсально, допускает как универсальные, так и частичные предикаты, создавая сложную сеть оппозиционных отношений, описываемую через логический квадрат. В отличие от этого, частичный субъект ограничивает предикат универсальным, что упрощает логические отношения.

Этот анализ Аристотеля остается актуальным для современной логики, поскольку он заложил основы классификации категорических суждений и понимания их логических свойств. Законы логики, включая закон противоречия и закон исключенного третьего, которые Аристотель развивал в этом контексте, продолжают оказывать значительное влияние на современную формальную логику и философию языка.