
Концептно-контекстная логика - это нотация, метод записи, и метод работы со смыслами (концептами) и контекстами
теория категорий — мощнейший и недооцененный инструмент для формализации отношений между концептами и контекстами. То, что она редко обсуждается в этом ключе, — скорее досадное недоразумение, чем свидетельство её непригодности.
Выпрыгивание, переход за границы контекста.
1996, McCarthy J., A logical approach to context
https://www-formal.stanford.edu/jmc/logical.pdf
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-е), но я о ней ничего не знаю.
не подходит для «концептно-контекстной логики»:
- Контекст — это просто ограничение на квантор в едином универсуме
- Статика, единая онтология, непротиворечивость
- Смысл предложения не меняется при переходе между контекстами
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
«Раухваргер строит формальную логику для автоматического доказательства в фиксированных контекстах. Концептно-контекстная логика идёт дальше: интересует не доказательство внутри контекста, а изменение смысла концептов при переходе между контекстами. Это требует не просто логики, а мета-логики, где контексты становятся перворожденными (полноправными) объектами».
2012, Суржанская Ю.В., Проблема соотношения концепта и понятия в философском и научном мышлении
2007, Малюгина А., Типы фразеологических концептов и способы их контекстной репрезентации
2000, Кислов А.Г., Онто-гносеологические основания логического анализа динамических контекстов
Комментарии
не упомянут
1879, Фреге Г., Исчисление понятий, или подражающий арифметике формальный язык чистого мышления.
а он ведь почти той же самой темой занимался. И книжки у него интересные.
1891, Фреге Г., Функция и понятие
1892, Фреге Г., О смысле и значении
1892, Фреге Г., О понятии и предмете
1918, Фреге Г., Мысль. Логическое исследование
1923, Фреге Г., Устройство мысли
Тема:
"Концептно-контекстная логика".
А где изложение самой ККЛ?
--
Аим, 12 Июль, 2026 - 15:01
Теперь бы ещё понять,
какая от этого польза сельскому хозяйству ?
Или ещё как4ому производству.
Ну как же, оснащаем тракторы мозгами, они выполняют с/х работы с самостоятельной динамической адаптацией к условиям. Потому что мозги оценивают обстановку диалектически. А чтобы они диалектически могли мыслить - им нужна формальная методика.
Известно, что диалектическое мышление работает с понятиями (создаёт новые, накапливая таким образом знания). Поэтому для реализации диалектической логики точно нужен движок, позволяющий понятия преобразовывать. Как бы он мог работать? Вот это и является целью.
Впрочем, я не разговариваю с последователями Чалмерса, они безумны.
Аим, 13 Июль, 2026 - 16:48, ссылка
Ясно : абсурда *
Стало быть, для с\х - в принципе ничего полезного
------------------
* Типа А=неА, одного тут ДЛ-трегера
Любая логика контекстная.
Например в Космологии,
всё что тяжелее водорода,
называют Металлами !
Просто некоторые контексты общеприняты как стандарты,
и называються некой "Правильной " Логикой.
А другие контексты вне "ГОСТА ", и называються Диалектической Логикой.
Ошибочность конкретных Логических Построений, это вопросы к Авторам !
//А другие контексты вне "ГОСТА ", и называются Диалектической Логикой//
Что Вам известно о диалектической логике помимо того, что она вне "ГОСТА"?
https://zenodo.org/records/21869215/files/motohasi20260810DescriptiveMediumEta.pdf
https://zenodo.org/records/17669295
//нужен механизм изменения смысла при смене контекста//
Имеем,
"В огороде бузина, в Киеве дядька".
Здесь два контекста — огород и Киев. При переходе от одного контекста к другому меняется смысл. Речь о бузине подменяется речью о дядьке.
Какой тут механизм? Например, механизм "испорченного телефона".
--
Не в тему. Тут два контекста. Они не связаны. Об этом и пословица. Зачем пытаться связывать то, что в реальности не связано?
В таком случае, уточнение:
[нужен механизм изменения смысла при смене _с в я з а н н о г о_ одного с другим контекста].
--
Да каким же образом Вы увяжете контексты?
Например, одна поговорка произносится в конткесте парилки в бане, другая в контексте лекции профессора в университете. Какая связь парилки с университетом? И зачем она нужна?
Больше того, мне слёту кажется, что если контексты логически связаны, то они образуют один общий, но сложный (интегральный) контекст.
Два текста:
Свет - это волна (1).
Свет - это корпускулы (2).
Связанные контексты:
1.
Исаак Ньютон развивал корпускулярную теорию: он представлял свет как поток частиц (корпускул), движущихся по прямым траекториям. Эта идея хорошо объясняла некоторые явления (например, прямолинейное распространение), но не справлялась с другими (независимое распространение двух пучков, скорость света в среде).
2.
Параллельно Христиан Гюйгенс предложил волновую теорию: свет — это волна, распространяющаяся в гипотетическом эфире.
Теперь ищем переход смысла от одного контекста к другому.
Смысл в корпускулярно-волновом дуализме.
--
Мог бы придраться, потому что тут все-таки просто разные предикаты (смыслы) одного и того же предмета (света). Например, корова мычит и корова дает молоко. Никто не говорит, что корова мычит в одних контекстах, а дает молоко в других. Но не буду, пусть будут разные контексты, потому что тут речь идет о теориях.
И, верно, классическая теория света в одном контексте - корпускулярная, в другом - волновая. Есть резон говорить о новом смысле (постулате) - корпускулярно-волновом дуализме. И его механизм известен - это примитивное допущение соприсутствия обеих теорий. И точка.
Этот механизм фиксирует дуальность теорий, но ничего не говорит о самом свете: почему ЕДИНЫЙ свет в одних условиях ведет себя как частица, а в других как волна. Это проблема оказалась не по зубам классической физике.
А вот квантовая механика (квантовой теория) решила эту проблему, показав единую, квантовую природу (механизм) света, который не есть ни частица, ни волна. Ну это уже для детального рассмотрения физиков, а не логиков.
А вот претендентам на логику (хоть ЭДЛ, хоть ККЛ) хорошо бы точно так же определиться с "квантовой теорией" мысли, из которой бы следовало, в каких контекстах мысль ведет себя как смысл, в каких как слово, в каких как переживание, а в каких как контекст.
ЭДЛ и ККЛ
И не в тему, и в тему одновременно.
Не в тему, потому что Грачев перепутал текст с контекстом, а АИМ ему вторит.
"В огороде бузина" - один текст (не контекст), один смысл.
"в Киеве дядька" - второй текст (не контекст), второй смысл.
Оба смысла логически тривиально соединены в сложное суждение, которое абсурдно, и имеет контекст-1 поговорки, квалифицирующей нелогичную речь.
Однако в чем контекст-2? Зачем Грачев привел здесь эту поговорку? Не для того же, чтобы просветить нас знанием русских поговорок. Контекст-2 связан с диалогом, в котором один субъект М указал другому субъекту А на отсутствие абсурдности, а неисполнительности, т.е. следования своему же постулату - "нужен механизм изменения смысла при смене контекста".
Поэтому реплика Грачева совершенно в тему (Аим не прав).
Поэтому для него и всех - концептно-контекстая логическая задачка:
пусть есть поговорка П, использумая в речи всех людей в филологическом контексте-1;
пусть в диалоге между М и А она используется в контексте-2.
Следовательно, согласно постулату ККЛ-логики, при смене одного контекста на другой должен поменяться смысл поговорки П.
Вопросы:
- поменялся ли смысл поговорки П,
- если поменялся то как, покажите,
- если не поменялся, то действие постулата ограничены, тогда покажите границы, когда он меняется и почему, а когда не меняется и почему.
И делов-то.
Кстати, это касается и ЭДЛ Грачева, ведь это ее прерогатива - диалог двух и более субъектов. Вот он диалог налицо.