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

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

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

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

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

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

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

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

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

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

Вообще можно сделать список лучше, в виде базы данных и сайт-отображателя с поиском в разных аспектах.

UPD:
появилась более свежая версия списка:
2024-07-23
(в нём добавлены порядковые номера)

У нас есть лябмда-исчисление, но лямбда - это, во-первых, буква не русская, во-вторых она для глаголов.
В русском языке есть не только глаголы, но и существительные. Поэтому одной лямбды недостаточно, нужно две буквы.
Кроме буквы П с хвостиком, ещё есть буква Л с хвостиком - Ԯ
ею можно заменить лямбду.

2006, Нежное это, на ютубе

ребёнок: У коровы нет других забот
ребёнок: Ест траву и молоко даёт
ребёнок: Для кого старается она?
женщина девушка: Для меня, для меня, для меня

Текст составлен капиталистами под бренд "для меня".

Попробуем формализовать его в ЭДЛ и выявить лживость мудрость капиталистов.

S - корова, P - нет

S - корова, P - ест

S - корова, P - даёт

2024-07-06, mp_gratchev
А у вас? Формализует [ли логика] образное мышление?

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

https://ru.wikipedia.org/wiki/Принцип_дополнительности

Я не понимаю, как из вот этого:

Всякое истинно глубокое явление природы, например «жизнь», «атомный объект», «физическая система», не может быть определено однозначно с помощью слов нашего языка

было получено вот это:

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