Только обложка и оглавление в формате .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:
Противоречие в логике - это отношение двух взаимно исключающих высказываний (как в формальной, так и в диалектической). В ТФЛ противоречие фиксированное, а в ЭДЛ оно развивающееся от простого различия через обострение к снятию.
Вообще можно сделать список лучше, в виде базы данных и сайт-отображателя с поиском в разных аспектах.
UPD:
появилась более свежая версия списка:
2024-07-23
(в нём добавлены порядковые номера)
У нас есть лябмда-исчисление, но лямбда - это, во-первых, буква не русская, во-вторых она для глаголов.
В русском языке есть не только глаголы, но и существительные. Поэтому одной лямбды недостаточно, нужно две буквы.
Кроме буквы П с хвостиком, ещё есть буква Л с хвостиком - Ԯ
ею можно заменить лямбду.
2006, Нежное это, на ютубе
ребёнок: У коровы нет других забот
ребёнок: Ест траву и молоко даёт
ребёнок: Для кого старается она?
женщинадевушка: Для меня, для меня, для меня
Текст составлен капиталистами под бренд "для меня".
Попробуем формализовать его в ЭДЛ и выявить лживость мудрость капиталистов.
S - корова, P - нет
S - корова, P - ест
S - корова, P - даёт