Если имя словосочетание записано как „ОдноДругоеСлово”,
то его нужно переписать как „Одно_другое_слово”.
Пример: „JavaScriptObject” → „ДжаваСкриптовый_объект”, но
это гипотетически, так как латинский алфавит запрещён,
как не хтоничный, не патриотичный и
не уважающий законное право россиянина на
родной русский язык с кириллическим алфавитом.
Для случаев с именами собственными (названия, фамилии)
в середине словосочетания - всегда сохранять
оригинальный регистр имени
(т.е. у собственных имён сохраняется заглавная первая буква).
Важнее сохранить заглавную букву собственного имени,
чем привести всё к нижнему регистру.

Для имён прилагательных, имя должно быть в среднем роде,
если есть такая возможность, например „Означающее”, „Двигаемое”.
„Двигаемый” в мужском роде обычно пишут в викисловарях,
но это неудобно, средний род удобнее
(абстрактнее и при необходимости
можно конкретизировать в мужской и женский рода).
В словосочетании роды́ должны быть согласованы.

Множественное абстрагирование - это
реализация многоаспектного рассмотрения.
С одной стороны так, с другой эдак.
Если два абстрагирующих понятия предъявляют
разные требования к свойствам, значит
в конкретизованном понятии свойства присутствуют все,
но при рассмотрении в аспекте избранного абстрагирующего
понятия видны не все.

В реальности и
в правильно построенной онтологии, отражающей реальность
(или непротиворечивой модели реальности),
не может быть ситуаций, когда два абстрагирующих понятия
предъявляют логически противоречащие
друг другу требования к потомку.
Это возможность для проверки онтологии на корректность.
При абстрагировании нигде нет наследования. Вообще нет наследования.
Совсем нет наследования. Никак нет наследования.
И ошибок, связанных с наследованием тут нет и быть не может.

Общая схема конструирования:
    Аксиоматический уровень:
        Определяется сам через себя, используя только аксиоматические понятия.
        Аксиоматические движения используются для конструирования других сложных движений.
        Через Абстрагирование создаются общие версии аксиоматических понятий.
    Общий уровень: Определяет новые понятия, используя:
        Аксиоматические понятия
        Уже определенные общие понятия
    Запрет: в определении нельзя использовать понятия, которые:
        Не являются аксиоматическими
        Еще не были определены ранее

В основном всё описывается отношениями.
Аксиоматические отношения существуют сразу,
вместе с аксиоматическими действиями, свойствами и понятиями.

Отношение_<Название> для <Понятие-Источник>, <Понятие-Источник>, ...:
  - <Движение> (с отношением "<...>", со свойством "<...>")
  - <Результат1> (со свойством "<...>")
  - <Результат2> (со свойством "<...>")

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

/* Аксиоматически конкретизируем (АК) понятие
в А-понятие, А-движение, А-cвойство и А-отношение */

Аксиоматическая_конкретизация_освойствления из Понятия:
- Аксиоматическая_конкретизация (с отношением "конкретизирующее понятие Движение",
    со свойствами "Аксиоматическое", "Двигающее")
- Аксиоматическое_Понятие (со свойством "Освойствляемое")
- Аксиоматическое_Свойство (со свойством "Освойствляющее")

Аксиоматическая_конкретизация_отнесения из Понятия:
- Аксиоматическая_конкретизация (с отношением "конкретизирующее понятие Движение",
    со свойствами "Аксиоматическое", "Двигающее")
- Аксиоматическое_Понятие (со свойством "Относимое")
- Аксиоматическое_Отношение (со свойством "Относящее")

Аксиоматическая_конкретизация_движения из Понятия:
- Аксиоматическая_конкретизация (с отношением "конкретизирующее понятие Движение",
   со свойствами "Аксиоматическое", "Двигающее")
- Аксиоматическое_Понятие (со свойством "Двигаемое")
- Аксиоматическое_движение (со свойством "Двигающее")

Аксиоматическая_конкретизация_конкретизации из Конкретизации:
- Аксиоматическая_конкретизация (с отношением "конкретизирующее понятие Отношение",
    со свойствами "Аксиоматическое", "Конкретизирующее");
- Аксиоматическое_Понятие (со свойством "Конкретизирующее");
- Понятие (со свойством "Конкретизируемое").

/* Аксиоматически абстрагируем (АА) по А
А-понятие, А-движение, А-cвойство и А-отношение */

Аксиоматическая_абстакция_понятия из Аксиоматическое_Понятие:
- Абстрактная_абстракция_по_свойству (с отношением "конкретизирующее понятие Абстрагирование",
    со свойствами "Аксиоматическое", "Аксиоматическое_свойство")
- Понятие (со свойством "Существующее")

Аксиоматическая_абстакция_движения из Аксиоматическое_Движение:
- Абстрактная_абстракция_по_свойству (с отношением "конкретизирующее понятие Абстрагирование",
    со свойствами "Аксиоматическое", "Аксиоматическое_свойство")
- Движение (со свойством "Совершающееся")

Аксиоматическая_абстакция_свойства из Аксиоматическое_Свойство:
- Абстрактная_абстракция_по_свойству (с отношением "конкретизирующее понятие Абстрагирование",
    со свойствами "Аксиоматическое", "Аксиоматическое_свойство")
- Свойство (со свойством "Присущее")

Аксиоматическая_абстакция_отношения из Аксиоматическое_Отношение:
- Абстрактная_абстракция_по_свойству (с отношением "конкретизирующее понятие Абстрагирование",
    со свойствами "Абстрактное", "Абстрагирующее_свойство")
- Отношение

/* Аксиоматическое_движение уже конкретизировано из понятия,
конкретизируем А-движения в А-конкретизацию, А-абстрагирование */

Аксиоматическая_конкретизация_аксиоматической_конкретизации из Аксиоматическое_движение:
- Аксиоматическая_конкретизация (с отношением "конкретизирующее понятие Движение",
    со свойствами "Аксиоматическое", "Двигающее")
- Аксиоматическое_движение (со свойством "Конкретизируемое")
- Аксиоматическая_конкретизация (со свойством "Конкретизирующее")

Аксиоматическая_конкретизация_аксиоматического_абстрагирования из Аксиоматическое_движение:
- Аксиоматическая_конкретизация (с отношением "конкретизирующее понятие Движение",
    со свойствами "Аксиоматическое", "Двигающее")
- Аксиоматическое_движение (со свойством "Абстрагируемое")
- Аксиоматическое_абстрагирование (со свойством "Абстрагирующее")

/* АА по А
А-конкретизация, А-абстрагирование */

Аксиоматическое_абстрагирование_конкретизации из Аксиоматическая_конкретизация:
- Абстрактная_абстракция_по_свойству (с отношением "конкретизирующее понятие Абстрагирование",
    со свойствами "Абстрактное", "Абстрагирующее_свойство")
- Конкретизация

Аксиоматическое_абстрагирование_абстрагирования из Аксиоматическое_абстрагирование:
- Абстрактная_абстракция_по_свойству (с отношением "конкретизирующее понятие Абстрагирование",
    со свойствами "Абстрактное", "Абстрагирующее_свойство")
- Абстрагирование

/* Аксиоматическое - это свойство.
Аксиоматическое_свойство и свойство у нас уже есть */

Отношение_конкретизации_аксиоматического из Свойство:
- Аксиоматизация (с отношением "конкретизирующее понятие Движение",
    со свойствами "Аксиоматизирующее", "Двигающее")
- Понятие (со свойством "Аксиоматизируемое")
- Аксиоматическое (со свойством "Аксиоматизирующее")
/* Движение "Аксиоматизация" аксиоматическим не является, поэтому использовать его нельзя.
Это специально, чтобы не возникало новое аксиоматическое,
а только аксиоматически абстрагировалось.
Как бы ещё запретить (неаксиоматическую) конкретизацию аксиоматического?
Т.е. вообще, Аксиоматические понятия вовлекаются
только в аксиоматические движения.
Но позже можно будет определить понятие "Теория"
на основе группы аксиом.
*/

Отношение_конкретизации из Отношение:
- Конкретизация (с отношением "конкретизирующее понятие Движение",
    со свойством "Двигающее")
- Понятие (свойство "Конкретизируемое")
- Понятие (свойство "Конкретизирующее")
/*
Отношение — это понятие (со свойством "Относящее").
Понятиевость позволяет отношениям участвовать в других отношениях (например, конкретизироваться).
*/

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

Всё это нужно для того, чтобы определять разные понятия,
для начала было бы неплохо определить понятие "Строка"

Синтаксис другой, старый, потому что новый недоработан.

„Упорядоченное”
    конкретизация „Свойство”
        основание: что-то является упорядоченным, а что-то нет

„Уникальное”
    конкретизация „Свойство”
        основание: что-то является уникальным в некотором множестве

„Элементарное”
    конкретизация „Свойство”
        основание: в данный момент рассматривается в роли элемента

// „Простое”
//     [полный] синоним [для] „Элементарное”
/* нет основания для введения понятия */

„Составное”
    конкретизация „Свойство”
        основание: в данный момент рассматривается в роли структуры

// „Сложное”
//    синоним „Составное”
/* нет основания для введения понятия */

„Элемент”
    конкретизация „Понятие”
        основание: элементы входят в структуры
        основание: элементы входят в множества

„Множество”
    „Уникальное” - неотъемлемое свойство каждого элемента
        в контексте одного множества
    конкретизация „Понятие”
        основание: множество состоит из элементов
        основание: элементы множества уникальны в множестве
        основание: элементы множества
            не имеют между собой видимых в таком аспекте отношений,
            кроме принадлежности множеству

„Структура”
    конкретизация „Понятие”
        основание: содержит элементы и отношения между элементами
/*
Множество - не структура, так как элементы в множестве между
собой не связаны,
только элементы с множеством отношением принадлежности.
*/

„Последовательность”
   „Упорядоченное” - неотъемлемое свойство
   конкретизация „Структура”
       основание: содержит элементы и отношение порядка
/* А множество свойства „Упорядоченное” не имеет */

„Упорядоченное_множество_без_повторов”
   конкретизация „Множество”
       основание: добавляет порядок

„Параметр”
   конкретизация „Понятие”
       основание: понятие, рассматриваемое как параметр,
           может использоваться при параметризации.
           Понятие, выступающее в роли переменной
           при конструировании или уточнении другого понятия.

„Последовательность<Параметр>”
   конкретизация „Последовательность”
        основание: содержит элементы, которые
            могут рассматриваться как параметр

„Быть”
    конкретизация „Действие”
        основание: двигаться во времени

„Быть_тянущимся”
    конкретизация „Быть”
        основание: быть достаточно долго

„Способное<Действие>”
    конкретизация „Свойство”
        основание: что-либо или кто-либо
            могут быть способны, а могут не быть

„Гласное”
    конкретизация „Способное<Быть_тянущимся>”
/* и по цепочке наследования - конкретизация „Свойство” */

„Гласные”
    конкретизация „Гласное”
        основание: множественное число

„Гласная”
    конкретизация „Гласное”
        основание: женский род

„Знак”
    конкретизация „Понятие”
        основание: имеет значение
„Знак_по_Соссюру”
    конкретизация „Знак”
        основание — состоит из означающего и означаемого
„Знак_по_Фреге”
    конкретизация „Знак”
        основание — состоит из имени, смысла и значения

„Символ”
    „Способное<Символизировать>” - неотъемлемое свойство
    конкретизация „Понятие”
        основание: символ символизирует
        основание: символ — это понятие, которое
            в контексте интерпретируется
            как представитель другого понятия
        основание: всегда имеет интерпретацию
            (символизирует что-либо в контексте)
/*
Символ - НЕ ОБЯЗАТЕЛЬНО знак, он даёт способность символизировать
Пример:
Мавзолей символизирует огромное значение деятельности Ленина
    для истории страны и мира.
Мавзолей - „Символ”, но не „Знак”.
*/

„Речевой_знак”
    конкретизация „Знак”
        основание: знаки бывают речевые, дорожные

// „Знакосимвол”
//  „Символизирующее” - свойство
//  конкретизация „Знак”
//      основание: когда был текстовый режим работы экрана,
//          размеры всего, и окон, измерялись в знакоместах.
//          А звёздочки в поле ввода пароля - знакосимволы.

„И_символ_и_знак”
    конкретизация „Символ”
    конкретизация „Знак”
        основание: тут прямое, не переносное значение,
            в отличие от „Знакосимвол”
/*
Нет ничего странного в том, чтобы быть
одновременно символом и знаком
*/

„Символ_алфавита”
    конкретизация „Символ”
        основание: символ, принадлежащий алфавиту
            разные бывают символы, но не все они в алфавитах
/*
Символ алфавита не обязан быть знаком,
но он может быть „И_символ_и_знак”
*/

„Знак_письменной_речи”
    конкретизация „Речевой_знак”
        основание: речевой знак может быть звучащим и записанным

„Письменный_речевой_знак”
     синоним „Знак_письменной_речи”
/*
Например титло рисуется над всем числом.
Это письменный знак (знак письменной речи), но не символ алфавита.
не все символы алфавита — речевые, например, @, &.
Но ничто не мешает считать их знаками письменной речи
(диктуют же емейлы устно и воспринимают на слух).
*/

„Письменный_знак”
    конкретизация „Знак_письменной_речи”
        основание: знаки, которые надо писать

„Знак_механизированной_письменности”
    конкретизация „Знак_письменной_речи”
        основание: знаки, которые надо механизировать

// „Графема”
//    конкретизация „Письменный_знак”
//        основание: слитные знаки,
//            которые надо писать используя графику
/*
В дальнейшем нигде не используется
Да, оно короче, но не нужное, и, главное, путает
(лишние ассоциации с Unicode Grapheme Cluster).
*/

„Буква”
   конкретизация „Письменный_знак”
       основание: письменные речевые знаки бывают не только буквами, но и, например, цифрами
   конкретизация „Символ_алфавита”
       основание: буква - это символ буквенного алфавита
/* быть знаком и символом одновременно - это нормально */

„Цифра”
   конкретизация „Письменный_знак”
       основание: письменные речевые знаки бывают не только цифрами, но и, например, бувами
   конкретизация „Символ_алфавита”
       основание: цифра - это символ цифрового алфавита

„Знак_препинания”
   конкретизация „Письменный_знак”

„Знак_форматирования”
   конкретизация „Знак_механизированной_письменности”
        основание: они исторически встречаются
            в строках, текстах и файлах

„Пробел”, „Перевод_строки”, „Табуляция”
   конкретизация „Знак_форматирования”
       основание: у них разные порядковые номера
           в наборе символов Unicode
/*
Хотелось бы избавиться от них в моих текстах,
и переклассифицировать в то, что бывает только во внешних файлах,
но это сильно усложнит онтологию (добавляя понятия файлов, памяти)
*/

„Набор_символов”
   конкретизация „Последовательность<Письменный_речевой_знак>”
       основание: набор символов это упорядоченное множество алфавитов -
           цифрового, буквенного, и других,
           например математического алфавита
/* символы в наборе символов
отсортированы два раза - среди алфавитов и внутри каждого алфавита */

„Алфавит”
   конкретизация „Упорядоченное_множество_без_повторов”
       основание: алфавит содержит знаки механизированной письменности,
           это упорядоченное множество.
           Алфавит содержит элементы, которые
           могут быть рассмотрены как знаки и как символы
   конкретизация „Множество”
       основание: алфавит это множество букв
       основание: буквы в алфавите уникальны,
           и это даёт возможность рассматривать алфавит как множество.
           Последовательность как множество рассматривать нельзя,
           там элементы могут повторяться. Поэтому недостаточно
           считать алфавит конкретизацией только последовательности.
   конкретизация „Последовательность<Знак_механизированной_письменности>”
       основание: например математический алфавит
          со знаками `∃`, `∀`, `=`, `(`, `)`, `∧`, `∨`, `¬`,
          и т.д.
          Порядок букв в алфавите важен, поэтому недостаточно
          иметь возможность рассматривать алфавит как множество.
   конкретизация „Набор_символов”
       основание: алфавит относится к какой-либо письменности, например
           дореволюционная письменность, современная письменность
/*
Возможность рассматривать алфавит как последовательность
не даёт путей нарушения уникальности буквенного состава алфавита.
*/не прописан механизм разрешения конфликтов, если родительские понятия задают противоречивые свойства.

„Цифровой_алфавит”
    конкретизация „Алфавит”
        основание: алфавит из 10-ти индийских цифр

„Кириллический_алфавит”
    конкретизация „Алфавит”
        основание: алфавит из 33-х современных кириллических букв

„Дореволюционный_алфавит”
    конкретизация „Алфавит”
        основание: алфавит из 35-ти букв
            - (`ё`, `й`)
            + (`і`, `ѣ`, `ѳ`, `ѵ`)

„Греческий_алфавит”
    конкретизация „Алфавит”
        основание: алфавит из 24-х современных греческих букв

„Латинский_алфавит”
    конкретизация „Алфавит”
        основание: алфавит из 26-ти современных латинских букв

„Строка”
   конкретизация „Последовательность<Письменный_речевой_знак>”
        основание: строка - последовательность символов из набора символов

---

„Гласная_буква”
   конкретизация „Гласное”
   конкретизация „Буква”
       основание: некоторые буквы символизируют гласные звуки

Отредактировано Лис (2026-01-31 06:24:19)