Систематизация и связи

Логика

Вместо введения

Для того чтобы объяснить, почему публикации такого уровня впервые появляются на ФШ, а не в каком нибудь Сайнсе, начну пожалуй с цитаты из "Уловки 22" Джозефа Хеллера.

 

Однако единственное, что они смогли сделать, — отправить его рядовым в армию. Четырьмя днями позднее он был произведен в майоры, и конгрессмены в Вашингтоне, забросив все прочие дела, бегали взад‑вперед по столичным тротуарам, хватаясь за голову и приговаривая: «Кто произвел в майоры этого Майора Майора? Нет, вы только скажите, кто его произвел?»

А произвела Майора Майора в майоры электронная счетно‑решающая машина, обладающая почти таким же тонким чувством юмора, как и папаша Майора Майора.

 

Со мной произошла почти такая же история. Совершенно неожиданно я получил диплом "Магистра Философии" государственного образца. А магистр, на минуточку - генеральское звание, в иерархии религиозного ордена. Потом мне предложили немножечко подучиться и стать кандидатом философских наук. И все при этом знают, что философия наукой не является. Я слегка поразмыслил, и решил, что такое идиотское повышение моя психическая организация не переживет, и закрыл для себя научную карьеру раз и навсегда. Тем более ловить там кроме ухудшения зрения и аппетита нечего.

Тем кто не видел современную науку изнутри никогда не понять ни бездны зияющих высот Зиновьева, ни трагедии города Ибановска, в котором идентичные Ибановы строчат монографии и косят друг на друга стрелки. Да и самого Зиновьева тоже не понять. 

Я не первый логик диссидент. Просто Зиновьев бегал от политики, а я бегаю от современной науки. Ну вот как понять систему, где вопрос истинно или ложно решает ученый совет? Типа чего мы тут утвердили, то и истинно. А кто с этим не согласный, извольте выйти в сад.

Но диплом то мне Государство выдало. И обучение, очень достойное, оплатило. А то, что я выбрал ФШ, для регистрации авторских прав на свои открытия в логике, так это очень хороший интернет ресурс. Отцам основателям ФШ, огромное спасибо за эту интернет площадку.

Моя магистерская диссертация называлась. "Формализация и принятие решений"

Кандидатской я считаю. Формализацию закона достаточного основания.

А эта публикация, это уже докторская.

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

ЭДЛ Кормина

ЭДЛ в моем варианте очень отличается от ЭДЛ Грачева. Во первых это однозначно формализованная система. Во вторых она не имеет никакого отношения к субъекту рассуждения, как у Михаила Петровича.

ЭДЛ - логика привязанная к логическому субъекту, а не к субъекту рассуждения.

Берем некое (х) 

У этого (х) есть имя "Яблоко"

У этого (х) есть масса свойств: спелое, красное, свежее.....

Имя "Яблоко" может обратиться в свойство "Яблочный" если мы будем говорить о "пироге" например.

ЭДЛ как раз и специализируется на построении семантических сетей. Эти сети можно плести начиная с любого места, развивая хоть в ширь, хоть вглубь. Формализованная система позволяет это делать с математической точностью. 

Но как только исчезает "х", исчезает и понятийная сетка. Значение лож система не предусматривает. 

Работая с (х) логика 1:0 невозможна.

Основа ЭДЛ - переключение квантора. Имя (частное) - квантор существования. Свойство (общее) - квантор общности. Частное всегда на первом месте в записи, общее всегда на втором месте в записи. Система собрана именно под такой порядок.

Пример записи 

∀х(А -> В)  - Все (х),  именуемые "Яблоко" обладают свойством быть "фруктом". По смыслу единичка конечно, но вопрос истинности и ложности в данный момент не интересен.

∀х(А <- В) - Всех (х), вправе именовать "Яблоко", поскольку они обладают свойством быть фруктом. Здесь по смыслу нолик.

∃х (А ∧ В) - Яблоко фрукт. (типа не айфон)

Это развитие логики форм Спенсера Брауна. Просто кроме границ и имени, различаются частное и общее. Однозначно определенная граница, отличается от неоднозначно определенной, которая задается "именем"

Граница с белым цветом снаружи спектра является неоднозначно определенной. Стереопара из двух картинок делает все цвета однозначно определенными, друг через друга.

ЭДЛ - цветная логика, в отличии от черно-белой двузначной, которая представляет из себя по сути цепь из двух последовательных рубильников.

Эта публикация пересекается с темой Вадима Саковича "Бульев-Раж" 

Есть небольшие отличия в зеркальном подходе. У Вадима единички в таблице истинности наверху, а у меня внизу. Для битовой операции приемлемо как то, так и другое.

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

Спокус Халепний, 27 Август, 2017 - 23:39, ссылка

Тут надо заметить, что несмотря на многолетнее "зомбирование" насчет того, что есть только "И", "ИЛИ" и "НЕ" (иногда, чтоб не было бунта, ОНИ – чистые математики – разрешают использовать импликацию "ЕСЛИ ТО")… так вот, несмотря на такое внушение, булевых операций между двумя аргументами на самом деле существует ровно 16. Впрочем, сама четырёхбитовая комбинация, которая указывает на булеву операцию, уже содержит в себе этот факт, т.к. четыре бита образуют числа от 0 до 15 (и ни копейкой меньше).

Есть необходимость раскрыть отличия булевого функтора от функтора ЭДЛ, который лежит в основе систематизации машинных кодов. 

В функторе ЭДЛ задействованы все шесть связей. Через крайние связи 011 и 100 как раз происходит переключение квантора. Для полного ряда двоичного кода из 8 строк в системе не задействован 111 и 000. В них нет необходимости. В двоичный код булевого функтора посередине вставлен дополнительный нолик либо единичка. 

Дополнение позволило задействовать все связи функтора и систематизировать относительно этого порядка машинный код ЭДЛ. 

Связь между логической схемой ЭДЛ и булевыми функциями можно проследить на следующей иллюстрации.

Здесь продемонстрирована операция перемены квантора. Логическая схема ЭДЛ изображена в верхней части иллюстрации. Над каждой булевой функцией добавлено графическое изображение в перевернутом виде. (поскольку таблица истинности у меня с единичками внизу).Таким образом 

Если присмотреться к логической схеме ЭДЛ, то видно что она состоит из шести пересекающихся логических квадратов. Каждому из этих квадратов я присвоил имя. Это мое право, как автора. 

Черный квадрат - Логический квадрат Парменида. (логическая точка)

Красный квадрат - Логический квадрат Платона  (логическая площадь).

Желтый квадрат имеет исторически закрепившееся название - Логический квадрат Аристотеля (логика импликаций).

На схемах и в таблицах я буду различать эти логические квадраты по цветам. 

Логика интуиции (Парменид) - черный

Логика репликации - голубой

Логика антиимпликации - сиреневый

Логика антирепликации - зеленый

Логика импликации (Аристотель) - желтый

Логика эквивалентности (Платон) - красный

Взаимоувязка логических квадратов показана на следующей схеме.

Таким образом машинный адрес операций ЭДЛ получил первые три маркера в семизначном коде.

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

 

Каждая логическая операция перемены квантора теперь имеет конкретный трехзначный адрес.

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

Наличие границы (V) - (1)

Отсутствие границы (^) - (0)

На иллюстрации наличие границы отображено сверху черты, отсутствие границы - снизу черты.

Осталось привести таблицу соответствия машинного кода адресной системы операций ЭДЛ с битовыми операциями булевых функций. Квадрат Аристотеля я тоже повторно вставлю.

Вот в общем то и все. Большая жирная точка на диалектической логике. Та же самая логика, со всех сторон формальная.

Чего еще сказать? Лучше повториться.

Кормин Михаил, 2 Июнь, 2020 - 08:31

Данная публикация не требует одобрения ни одного ученого совета любой Академии наук, поскольку в доказательствах применяются символьные записи и таблицы истинности, действенные во всех возможных мирах. Я выбрал ФШ в качестве резервации авторского права на формализацию «Формализованного закона достаточного основания Лейбница» только потому, что он был открыт именно на этой площадке. ФШ специализированный ресурс, который открывался для обсуждения актуальных философских вопросов, а не как ресурс для людей, которым не с кем поговорить. От комментариев с критикой самой формализации я жду сопровождения символьными записями, либо графическими материалами.

Просто теперь речь идет, не о формализации ЗДО, а о приведении машинных кодов ЭДЛ к битовым операциям булевых функций. 

Вот чего я могу сказать доморощенным скептикам в оправдание своей гордыни.

1) Я у Государства не побираюсь, и на своем столе харчеваться привык, без привязки к продовольственной корзине, от которой ЗП госслужащих зависит.

2) ЭТО РАБОТАЕТ!!!