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

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

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

Цитата из сообщения 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/Принцип_дополнительности

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

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

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

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

Читая этот текст думайте как программист.

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

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

Идеальный результат, который я хочу получить: скармливаем программе текст, она его комментирует с точки зрения диалектической логики. В частности предлагает новые понятия, если их удалось сформировать.

Что я хочу сделать?

1) записать понятия диалектической логики словами

Мне бы очень помогла ЭДЛ,