Общая теория структур или к вопросу о протологике

Как строить универсальную логику, универсальнее которой нет ничего и быть не может. Думаю назвать ее протологикой или предлогикой, типа дологика, типа это прародитель всех логик. Можно, конечно, назвать и металогикой, что мне в целом нравится, но не хочется использовать, все слова заняты. Наверное, надо бы такую универсальную окончательною логику, которая мать всех логик назвать, может быть, логика структур — общая теория структур (ОТС).

Собственно самая общая универсальная структура это два объекта и стрелка между ними универсальный язык такой ОТС — это язык упорядоченных пар (Первый, Bторой)=(a,b). Это означает, что есть два объекта и есть стрелочка из первого объекта во второй, т.е. связь.

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

Это же дает нам и универсальный язык, это же дает нам и универсальную логику, это дает нам самую общую базовую структуру, с помощью которой мы можем строить всю математику, весь язык (формальный и неформальный), использовать в AI (искусственный интеллект).

Могут быть иные формализмы приводящие к тому же результату.

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

Немного метафизики. Есть всякие дао и троичности во всяких эзотериках у нас тоже все на это похоже. Сначала нет ничего, когда мы осознали что у нас есть пустота (пустое множество или ноль), то мы можем сказать, у нас появилось нечто и назовем это 1 и обозначить можем {0} типа пустое множество как объект. Далее мы уже можем строить упорядоченные пары {0,{0}} и далее мы можем строить всё так из ничего 0 родилось 1, из 0 и 1 возникла троичность (упорядоченная пара) два объекта и связь между ними т.е. простейшая система со связью между двумя объектами. И все вот она троичность и всё завертелось для того чтобы всё строить, нужно иметь модель простейшей структуры, для этого нужны два объекта, которые и определяют связь между объектами своим местоположением. В общем это никакой мистики тут нет и нет никакой шизофрении, все это формализуется аналогично формализации теории категорий по сути есть элементарный список из двух элементов и мы из него строим всё мыслимое человеком и наукой.

https://deep-econom.livejournal.com/77369.html

Общая теория структур или к вопросу о протологике: 7 комментариев

  1. БАЗОВАЯ ЛОГИКА ИЛИ АНАЛИТИКА

    Базовая логика или аналитика


    ФОРМИРОВАНИЕ СТРУКТУРЫ ИНДИВИДУАЛЬНОГО ЗНАНИЯ

    Формирование структуры индивидуального знания


    ОПЕРАЦИЯ — ЧАСТНЫЙ СЛУЧАЙ ОТНОШЕНИЯ

    Операция — частный случай отношения


    ТЕОРИЯ — ОПРЕДЕЛЕНИЕ
    https://metatronika.wordpress.com/2017/09/20/теория-определени
    Логика отношений
    https://gtmarket.ru/concepts/6901
    АТРИБУТ И ОТНОШЕНИЕ

    Атрибут и Отношение


    Портал в логику

    Портал в Логику


    К теме ОПРЕДЕЛЕНИЕ

    К теме ОПРЕДЕЛЕНИЕ


    ПОРТАЛ В КОНЦЕПТ СТРУКТУРА

    Портал в концепт СТРУКТУРА


    ПОРТАЛ В ТЕОРИИ

    Портал в теории

    Что такое логика? Всякие логики обобщаются до системы преобразования цепочек символов, это суть логики (любой разновидности любых логик). Логика это правила преобразования цепочек символов.
    https://deep-econom.livejournal.com/29115.html

    Нравится

    1. Я, фактически, задал этот же вопрос здесь
      https://metamodeling.livejournal.com/567.html

      Возможно, отличия нет. Что мне нравится в подходе, ничего нового, собираются и оптимизируются «пазлы», существующие теории и определения с точки зрения, что в основе всего — модель. Ставится задача построения теории «сильного искусственного интеллекта». Даже утверждается, что пазлы уже собраны. Конечно, в общем, пока без деталей. Я с позиции своего проекта «метатроника» (задача построить картину мира, представления, умещающие и понимаемые одним человеком … и может быть универсальный язык … проще существующих) на своём собственном примере, проект поддержал. Разбираюсь. Текстов немного. Я сделал тиддливики-файл из его постов, систематизирую. Параллельно, собираю информацию вокруг темы. Вспомнил, что ты в теме, пригласил. Давай разбираться вместе.

      Нравится

  2. Что такое логика?

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

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

    Формальная система
    https://ru.wikipedia.org/wiki/Формальная_система

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

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

    Формальная теория считается определенной, если:

    Задано конечное или счётное множество произвольных символов.

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

    Почему логично пользоваться логикой?
    https://deep-econom.livejournal.com/50401.html

    https://deep-econom.livejournal.com/29115.html

    Нравится

Оставьте комментарий