Базовая конструктивная онтология (CCO): Конструктивная теория Части, множества и отношения Core Constructional Ontology (CCO): a Constructional Theory of Parts, Sets, and Relations 4-Dimensionalism in Large Scale Data Sharing and Integration Newton Gateway to Mathematics Salvatore Florio https://gateway.newton.ac.uk/sites/default/files/asset/doc/2105/Salvatore%20Florio.pdf Ядро Конструктивной Теория: мереологические конструкции (стр.23) Логика - Логика множественного числа Конструкторы - Множество, Сумма, Пара Процесс строительства - Специальные предикаты и константы для типов конструкций Этапы - Стадийно-теоретические понятия (является стадией, существует на стадии, следует как стадия) (стр.29) --- 1) Логика множественного числа 2) Этапы 3) Начальные этапы 4) Что существует на этапах 5) Конструкторы 6) Сконструированные (построенные) конструкции (лог (рег.журнал) строительного процесса) 7) Максимальное расширение этапа 8) Классификация (стр.30) === Множественная логика Алекс Оливер и Тимоти Смайли, Plural Logic , Plural Logic Placeholder book cover Alex Oliver and Timothy Smiley https://ndpr.nd.edu/reviews/plural-logic/ Plural Quantification https://plato.stanford.edu/entries/plural-quant/ === Булос, Г. (1984). Быть — значит быть значением переменной (или быть некоторыми значениями некоторых переменных) . Философский журнал 81, 430-449. Boolos, G. (1984). To be is to be a value of a variable (or to be some values of some variables) ---