Логика изучает законы. Законы откуда-то берутся, допустим из науки о мышлении. Поделим философию на метафизику и диалектику. Диалектика это синтез метафизики и движения ("снятие" метафизики). Нам нужна не вся диалектика, а только та, которая описывает мышление (диалектика всей природы или социального нам не нужна, по крайней мере в начале, пока изучаем досоциальное мышление (например на МЛМ)). Наук о мышлении у нас совокупность (группа?). Мышлением занимается, допустим, когнитивистика.

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

Снятся ли сны лабораторным мышам?

• ISBN: 978-5-02-040172-3
• Тираж: 1000 экз.
• Монография

Только обложка и оглавление в формате .pdf:
https://iphras.ru/uplfile/root/books/2019/Situatc_sob_fakty.pdf

ООО "Издательство Юрайт", ISBN:978-5-534-11497-3

скачивается в интернете в разных форматах (pdf, djvu, svg)

"Трудности, возникающие при конструировании языков программирования, и проблемы искусственного интеллекта привели к возникновению таких дисциплин как компьютерная феноменология и компьютерная герменевтика" (Страница 26)

Cоздать искусственный интеллект (ИИ) допустим, что я хочу (Чтобы убить всех людей. Это ненормальное желание, но для убийства всех людей не нужно быть нормальным. Моя мотивация не важна, важно получение результата - сильного ИИ, дальше он сам сообразит, что делать.). Я начинаю тыкаться в разные понятия и суждения типа "интеллект это нечто недоделанное и бездушное", "разум круче интеллекта" и т.п.

«Выявлена сущность основ­ных взаимосвязей - совместимости, несовместимости, несоисключенности, комлементарности, принадлежности, следования и др. Оха­рактеризованы важнейшие частные универсумы и их соотношение. Построена исчерпывающая адекватная алгебраическая модель силло­гистики Аристотеля.»

Нужно переписать две (три) книжки Гегеля, для того, чтобы иметь читаемый текст.
Невозможно же это читать "из-себя-в-себе положенное".

Гегель писал свою работу в 1812-1816-м годах. А история формальной топологии начинается со второй половины 19-го века. Поэтому то, что писал Гегель, можно/нужно уточнить и привязать к современным определениям.

Но прежде чем пробовать, надо поискать, может кто-то уже проделал подобное, или занимается этим.

Пока знак не является смысловым знаком, знак просто что-либо (означаемое) означает. «Недоедание или болезнь означились худобой.». Используется фразеологизм "означились", который означает "выразились", "проявились" или "явились". Запишем в виде функции:

означаемое = значение (знак)

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

Цитата из сообщения mp_gratchev от 2027-07-19:

Противоречие в логике - это отношение двух взаимно исключающих высказываний (как в формальной, так и в диалектической). В ТФЛ противоречие фиксированное, а в ЭДЛ оно развивающееся от простого различия через обострение к снятию.