Create category_1a.md

LD2/ontology/fil/category_1a.md

@@ -0,0 +1,53 @@
+## 1
+Отлично, давай разложим это системно. Чтобы не было путаницы, сразу зафиксируем: у Аристотеля традиционно 10 категорий, но мы специально «разбиваем» субстанцию на первую и вторую — и получаем условные 11 позиций для сопоставления. А в SUMO на первых трёх уровнях иерархии как раз лежат те самые крупные классы, которые позволяют аккуратно сопоставить философские категории с формальной онтологией.
+
+---
+
+## Уровни иерархии SUMO (первые три)
+
+**Уровень 1:** `Entity` (корень, всё, что вообще существует в онтологии).  
+**Уровень 2:** два непересекающихся подкласса — `Physical` (то, что занимает место в пространстве-времени) и `Abstract` (всё остальное: свойства, отношения, множества, пропозиции).  
+**Уровень 3:** подклассы второго уровня:
+- В `Physical`: `Object`, `Process`, `Time`, `Place`.
+- В `Abstract`: `Quantity`, `Proposition`, `Attribute`, `Relation`, `SetOrClass`.
+
+---
+
+## Сводная таблица: категории Аристотеля ↔ уровни SUMO
+
+| № | Категория Аристотеля (и уточнение) | Смысл категории | Уровень SUMO | ID / класс | Материнский класс | Примеры |
+|---|---|---|---|---|---|---|
+| 1 | **Первая субстанция** (конкретная вещь) | Индивидуальный объект, существующий сам по себе; носитель свойств. | Physical → Object | `sumo#object` | Physical → Entity | Сократ (конкретный человек), этот стол, кошка Мурка. В SUMO: экземпляр класса `Human` или `Table`. |
+| 2 | **Вторая субстанция** (вид, род) | Универсалия, определяющая природу вещей; «что есть вещь». | Abstract → SetOrClass | `sumo#setorclass` | Abstract → Entity | «Человек» как вид, «животное» как род, «мебель» как класс. В SUMO: класс `Human`, `Animal`, `Furniture`. |
+| 3 | **Количество** (Quantity) | Число, мера, протяжённость. | Abstract → Quantity | `sumo#quantity` | Abstract → Entity | 5 метров, 3 яблока, 10 кг. В SUMO: экземпляры `Quantity` с единицами измерения. |
+| 4 | **Качество** (Quality) | Свойство, характеристика, которая может изменяться у субстанции. | Abstract → Attribute | `sumo#attribute` | Abstract → Entity | Красный цвет, твёрдость, вес. В SUMO: атрибуты вроде `color`, `hardness`; часто реализуются через слоты. |
+| 5 | **Отношение** (Relation) | Связь между двумя и более сущностями. | Abstract → Relation | `sumo#relation` | Abstract → Entity | «Отец», «сосед», «тяжелее». В SUMO: предикаты вроде `parentOf`, `adjacentTo`, `heavierThan`. |
+| 6 | **Место** (Place) | Пространственная локализация, «где». | Physical → Place | `sumo#place` | Physical → Entity | Город Москва, парк Горького, комната 101. В SUMO: географические и локационные сущности. |
+| 7 | **Время** (Time) | Временная локализация, «когда». | Physical → Time | `sumo#time` | Physical → Entity | Понедельник, 12:00, 2024 год. В SUMO: временные точки и интервалы. |
+| 8 | **Положение** (Position) | Поза, ориентация, пространственное расположение объекта. | Physical → Object (атрибуты) / Attribute | `sumo#object` + атрибуты | Physical → Entity / Abstract → Attribute | «Стоящий», «лежащий», «лицом к северу». В SUMO: состояние описывается через атрибуты или слоты объекта. |
+| 9 | **Состояние** (State) | Внутреннее состояние, которое может меняться, но не является действием. | Attribute / Process (в зависимости от трактовки) | `sumo#attribute` или `sumo#process` | Abstract → Entity / Physical → Process | «Болен», «спокоен», «заряжен». В SUMO: часто как атрибут; динамические состояния — как процесс. |
+| 10 | **Действие** (Action) | Активное изменение, производимое субъектом. | Physical → Process | `sumo#process` | Physical → Entity | «Бежит», «строит», «читает». В SUMO: процессы с агентом и результатом. |
+| 11 | **Страдание** (Passion) | Пассивное претерпевание, воздействие извне. | Physical → Process / Relation | `sumo#process` или `sumo#relation` | Physical → Entity / Abstract → Entity | «Его ударили», «он ранен», «на него действует сила». В SUMO: процесс с пациентом или отношение воздействия. |
+
+---
+
+## Как сюда вписываются Proposition и SetOrClass
+
+Ты просила включить их в разбор — и это как раз ключ к пониманию «второй субстанции» и абстрактного мира Платона.
+
+- **Proposition** (Пропозиция) — это утверждения, высказывания, которые могут быть истинными или ложными. В аристотелевской логике это уровень суждений («Сократ мудр»), а не самих категорий. В SUMO `Proposition` — это абстрактные сущности, которые связывают термины и выражают отношения. Они не являются прямой категорией Аристотеля, но позволяют формализовать то, *как* мы говорим о категориях (например, «Сократ — человек» как пропозиция).
+- **SetOrClass** (Множество или класс) — это как раз то, куда попадают «вторые субстанции» Аристотеля и «идеи» Платона. Класс «человек» — это не конкретный индивид, а множество всех людей. В SUMO это абстрактная сущность, которая определяет принадлежность и наследование свойств.
+
+**Пример для Proposition:** «Сократ бежит» — это пропозиция, которая связывает индивида (первая субстанция), класс (вторая субстанция) и процесс (действие). В SUMO она будет выражена как триплет или аксиома: `(instance Socrates Human) ∧ (agent Running Socrates)`.
+
+---
+
+## Важные нюансы и оговорки
+
+1. **Не все категории имеют отдельный класс.** Например, «положение» и «состояние» в SUMO не вынесены в отдельные корневые классы третьего уровня — они реализуются через атрибуты объектов или как процессы. Это нормально: формальные онтологии детализируют то, что важно для вычислений, и опускают то, что можно выразить комбинациями.
+2. **Разделение Physical/Abstract — это компромисс.** Аристотель не делил мир на «физическое» и «абстрактное» в современном смысле. Но в SUMO это разделение позволяет чётко отделить то, что имеет пространственно-временную локализацию (объекты и процессы), от того, что не имеет (свойства, отношения, классы).
+3. **Платоновские идеи — это SetOrClass и Attribute.** Идея «Справедливости» может быть и классом (множеством справедливых поступков), и атрибутом (качеством, присущим поступкам). В SUMO это будет экземпляр `Abstract → SetOrClass` или `Abstract → Attribute`.
+
+---
+
+Если скажешь, для какой задачи тебе нужно это сопоставление (например, чтобы перевести аристотелевские примеры в Turtle/OWL, построить диаграмму в Mermaid или объяснить студентам), я могу дать готовый фрагмент кода или схему. 😊