Концептно-контекстная логика
Концептно-контекстная логика - это нотация, метод записи, и метод работы со смыслами (концептами) и контекстами
Теория категорий
теория категорий — мощнейший и недооцененный инструмент для формализации отношений между концептами и контекстами. То, что она редко обсуждается в этом ключе, — скорее досадное недоразумение, чем свидетельство её непригодности.
Трансцендирование
Выпрыгивание, переход за границы контекста.
1996, McCarthy J., A logical approach to context
https://www-formal.stanford.edu/jmc/logical.pdf
Cyc
1991, Guha R.V., Contexts: A Formalization and Some Applications
https://www.filosoficas.unam.mx/~morado/TextosAjenos/guha-thesis.pdf
Использование контекстов для реализации «микротеорий» в Cyc описано в работе [Guh91].
[Guh91] R. V. Guha. Contexts: A Formalization and Some Applications. PhD thesis, Stanford University, 1991. Also published as technical report STAN-CS-91-1399-Thesis, and MCC Technical Report Number ACT-CYC-423-91.
Гипотетически, такая штука есть в ОпенСайке(OpenCyC-е), но я о ней ничего не знаю.
Information Knowledge Language (IKL)
не подходит для «концептно-контекстной логики»:
- Контекст — это просто ограничение на квантор в едином универсуме
- Статика, единая онтология, непротиворечивость
- Смысл предложения не меняется при переходе между контекстами
IKL решает другую задачу: он нужен для того, чтобы сохранять смысл неизменным при обмене знаниями между разными системами (интероперабельность). А нужен механизм изменения смысла при смене контекста (Динамика, диалектика, текучесть, противоречивость).
Контекстная логика (Раухваргер А.Б.)
Раухваргер Алексей Борисович
https://www.ystu.ru/users/raukhvarger-aleksey-borisovich/
«В ряде работ сформировано новое направление в математической логике: контекстная логика.»
Библиографический список
*. Раухваргер, А.Б. Надконтекстные функции и контекст доказательств // Матема- тические методы в технике и технологиях: сб. тр. междунар. науч. конф. В 12 т. Т.4. СПб.: Изд-во Политехн. ун-та, 2018. С. 95-98.
2018, Раухваргер А.Б., Надконтекстные функции и контекст доказательств
https://search.rsl.ru/ru/record/01009848683
На основе предложенного ранее формального аппарата контекстной логики сформулировано понятие надконтекстных функций, минимального контекста совокупности предложений и контекста доказательств. Показано, что контекстная логика, с использованием этих дополнений, может служить основой автоматического доказательства.
*. Раухваргер А.Б., Калинин В.Б. О возможности построения контекстной логики и ее использования в качестве логической основы программирования и булевой платформы теории вероятностей. Актуальные проблемы математики и информатики. Сборник статей к 20–летию факультета ИВТ. Ярославль, ЯрГУ. 2007. С. 81-86.
https://search.rsl.ru/ru/record/01003329677
*. Раухваргер А.Б. О контекстной логике и возможных сферах ее применения. Математические методы в технике и технологиях. Сборник трудов XX Международной научной конференции. Том 8. Ярославль, ЯГТУ. 2007. С. 198-202.
https://search.rsl.ru/ru/record/01003145671
«Раухваргер строит формальную логику для автоматического доказательства в фиксированных контекстах. Концептно-контекстная логика идёт дальше: интересует не доказательство внутри контекста, а изменение смысла концептов при переходе между контекстами. Это требует не просто логики, а мета-логики, где контексты становятся перворожденными (полноправными) объектами».
Концепт vs понятие (Суржанская Ю.В.)
2012, Суржанская Ю.В., Проблема соотношения концепта и понятия в философском и научном мышлении
Фразеологические концепты (Малюгина А.)
2007, Малюгина А., Типы фразеологических концептов и способы их контекстной репрезентации
Динамические контексты (Кислов А.Г.)
2000, Кислов А.Г., Онто-гносеологические основания логического анализа динамических контекстов
- Аим
- Для комментирования войдите или зарегистрируйтесь
Философский штурм | Совместное философское творчество © 2006-2014
Сайт представляет собой площадку для функционирования философского интернет-сообщества, участники которого заинтересованы не только в индивидуальном, но и в коллективном философском творчестве.
Комментарии
не упомянут
1879, Фреге Г., Исчисление понятий, или подражающий арифметике формальный язык чистого мышления.
а он ведь почти той же самой темой занимался. И книжки у него интересные.
1891, Фреге Г., Функция и понятие
1892, Фреге Г., О смысле и значении
1892, Фреге Г., О понятии и предмете
1918, Фреге Г., Мысль. Логическое исследование
1923, Фреге Г., Устройство мысли
Аим, 12 Июль, 2026 - 15:01
Теперь бы ещё понять,
какая от этого польза сельскому хозяйству ?
Или ещё как4ому производству.
Ну как же, оснащаем тракторы мозгами, они выполняют с/х работы с самостоятельной динамической адаптацией к условиям. Потому что мозги оценивают обстановку диалектически. А чтобы они диалектически могли мыслить - им нужна формальная методика.
Известно, что диалектическое мышление работает с понятиями (создаёт новые, накапливая таким образом знания). Поэтому для реализации диалектической логики точно нужен движок, позволяющий понятия преобразовывать. Как бы он мог работать? Вот это и является целью.
Впрочем, я не разговариваю с последователями Чалмерса, они безумны.
Аим, 13 Июль, 2026 - 16:48, ссылка
Ясно : абсурда *
Стало быть, для с\х - в принципе ничего полезного
------------------
* Типа А=неА, одного тут ДЛ-трегера
Любая логика контекстная.
Например в Космологии,
всё что тяжелее водорода,
называют Металлами !
Просто некоторые контексты общеприняты как стандарты,
и называються некой "Правильной " Логикой.
А другие контексты вне "ГОСТА ", и называються Диалектической Логикой.
Ошибочность конкретных Логических Построений, это вопросы к Авторам !