общая теория структур или к вопросу о протологике
хотел тут заметку забабахать, типа я знаю как строить универсальную логику, универсальнее которой нет ничего и быть не может )
думаю назвать ее протологикой или предлогикой, типа дологика, типа это прародитель всех логик
ну можно, конечно, назвать и металогикой, что мне в целом нравится, но не хочется использовать
все слова заняты )
наверное, надо бы такую универсальную окончательною логику, которая мать всех логик назвать, может быть, логика структур, подумаю позже еще...
универсальная логика, универсальные алгебры, универсумы всякие всяких абстрактных математических теорий, типа теория множеств, теория категорий
по идее все это некие структуры
тогда то, о чем я говорю, это по идее некая общая теория структур (ОТС)
собственно самая общая универсальная структура это два объекта и стрелка между ними
универсальный язык такой ОТС это язык упорядоченных пар (Первый, Bторой)
(Первый, Bторой)=(a,b)
это означает, что есть два объекта и есть стрелочка из первого объекта во второй, т.е. связь между объектами
тезис: упорядоченная пара это универсальная простейшая структура, через которую выражаются все мыслимые и немыслимые сегодня иные структуры
это же дает нам и универсальный язык
это же дает нам и универсальную логику
это дает нам самую общую базовую структуру,
с помощью которой мы можем строить всю математику, весь язык (формальный и неформальный), использовать в AI (искуств.интеллект)
да, могут быть иные формализмы приводящие к тому же результату
добавляя различные правила и условия на объекты и стрелки и на их комбинации мы будем получать различные формальные теории: теорию категорий, теорию множеств, топологию, алгебру, логики разные, метаматематику (теория моделей) и прочая, и прочая
логично назвать это теория структур, та или иная построенная структура и есть конкретная аксиоматическая теория, также с помощью структур можно строить интерпретации теория, т.е. модели в смысле метаматематики и всякие иные модели
ps немного метафизики
есть всякие дао и троичности во всяких эзотериках
у нас тоже все на это похоже )
сначала нет ничего, нет ничего это пустое множество или просто 0
когда мы осознали что у нас есть пустота (пустое множество или ноль)
то мы можем сказать, у нас появилось нечто и назовем это 1
и обозначить можем {0} типа пустое множество как объект
далее мы уже можем строить упорядоченные пары {0,{0}}
и далее мы можем строить всё
так из ничего 0 родилось 1, из 0 и 1 возникла троичность (упорядоченная пара) два объекта и связь между ними т.е. простейшая система со связью между двумя объектами
и все вот она троичность и всё завертелось
для того чтобы всё строить, нужно иметь модель простейшей структуры, для этого нужны два объекта, которые и определяют связь между объектами своим местоположением
в общем это никакой мистики тут нет и нет никакой шизофрении
все это формализуется аналогично формализации теории категорий
по сути есть элементарный список из двух элементов и мы из него строим всё мыслимое человеком и наукой
так из отсутствия и наличия отсутствия мы построили общую теорию структур )
думаю назвать ее протологикой или предлогикой, типа дологика, типа это прародитель всех логик
ну можно, конечно, назвать и металогикой, что мне в целом нравится, но не хочется использовать
все слова заняты )
наверное, надо бы такую универсальную окончательною логику, которая мать всех логик назвать, может быть, логика структур, подумаю позже еще...
универсальная логика, универсальные алгебры, универсумы всякие всяких абстрактных математических теорий, типа теория множеств, теория категорий
по идее все это некие структуры
тогда то, о чем я говорю, это по идее некая общая теория структур (ОТС)
собственно самая общая универсальная структура это два объекта и стрелка между ними
универсальный язык такой ОТС это язык упорядоченных пар (Первый, Bторой)
(Первый, Bторой)=(a,b)
это означает, что есть два объекта и есть стрелочка из первого объекта во второй, т.е. связь между объектами
тезис: упорядоченная пара это универсальная простейшая структура, через которую выражаются все мыслимые и немыслимые сегодня иные структуры
это же дает нам и универсальный язык
это же дает нам и универсальную логику
это дает нам самую общую базовую структуру,
с помощью которой мы можем строить всю математику, весь язык (формальный и неформальный), использовать в AI (искуств.интеллект)
да, могут быть иные формализмы приводящие к тому же результату
добавляя различные правила и условия на объекты и стрелки и на их комбинации мы будем получать различные формальные теории: теорию категорий, теорию множеств, топологию, алгебру, логики разные, метаматематику (теория моделей) и прочая, и прочая
логично назвать это теория структур, та или иная построенная структура и есть конкретная аксиоматическая теория, также с помощью структур можно строить интерпретации теория, т.е. модели в смысле метаматематики и всякие иные модели
ps немного метафизики
есть всякие дао и троичности во всяких эзотериках
у нас тоже все на это похоже )
сначала нет ничего, нет ничего это пустое множество или просто 0
когда мы осознали что у нас есть пустота (пустое множество или ноль)
то мы можем сказать, у нас появилось нечто и назовем это 1
и обозначить можем {0} типа пустое множество как объект
далее мы уже можем строить упорядоченные пары {0,{0}}
и далее мы можем строить всё
так из ничего 0 родилось 1, из 0 и 1 возникла троичность (упорядоченная пара) два объекта и связь между ними т.е. простейшая система со связью между двумя объектами
и все вот она троичность и всё завертелось
для того чтобы всё строить, нужно иметь модель простейшей структуры, для этого нужны два объекта, которые и определяют связь между объектами своим местоположением
в общем это никакой мистики тут нет и нет никакой шизофрении
все это формализуется аналогично формализации теории категорий
по сути есть элементарный список из двух элементов и мы из него строим всё мыслимое человеком и наукой
так из отсутствия и наличия отсутствия мы построили общую теорию структур )