Концептно-контекстная логика

Аватар пользователя Аим
Систематизация и связи
Философское творчество

Концептно-контекстная логика - это нотация, метод записи, и метод работы со смыслами (концептами) и контекстами

Теория категорий

теория категорий — мощнейший и недооцененный инструмент для формализации отношений между концептами и контекстами. То, что она редко обсуждается в этом ключе, — скорее досадное недоразумение, чем свидетельство её непригодности.

Трансцендирование

Выпрыгивание, переход за границы контекста.

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, Кислов А.Г., Онто-гносеологические основания логического анализа динамических контекстов

 

Комментарии

Аватар пользователя Аим

не упомянут

1879, Фреге Г., Исчисление понятий, или подражающий арифметике формальный язык чистого мышления.

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

1891, Фреге Г., Функция и понятие

1892, Фреге Г., О смысле и значении

1892, Фреге Г., О понятии и предмете

1918, Фреге Г., Мысль. Логическое исследование

1923, Фреге Г., Устройство мысли

 

Аватар пользователя mp_gratchev

Тема:
"Концептно-контекстная логика".

А где изложение самой ККЛ?

--

Аватар пользователя cherry

Аим, 12 Июль, 2026 - 15:01

Концептно-контекстная логика - это нотация, метод записи, и метод работы со смыслами (концептами) и контекстами

Теория категорий

теория категорий — мощнейший и недооцененный инструмент для формализации отношений между концептами и контекстами. То, что она редко обсуждается в этом ключе, — скорее досадное недоразумение, чем свидетельство её непригодности.

Теперь бы ещё понять,
какая от этого польза  сельскому хозяйству ? 
Или ещё как4ому производству.

Аватар пользователя Аим

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

Известно, что диалектическое мышление работает с понятиями (создаёт новые, накапливая таким образом знания). Поэтому для реализации диалектической логики точно нужен движок, позволяющий понятия преобразовывать. Как бы он мог работать? Вот это и является целью.

Впрочем, я не разговариваю с последователями Чалмерса, они безумны.

Аватар пользователя cherry

Аим, 13 Июль, 2026 - 16:48, ссылка

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

Ясно : абсурда *
Стало быть, для с\х - в принципе ничего полезного

 

------------------
 * Типа  А=неА, одного тут ДЛ-трегера 

 

 

Аватар пользователя Sergiy_f1

Любая логика контекстная.
Например в Космологии,
всё что тяжелее водорода,
называют Металлами !

Просто некоторые контексты общеприняты как стандарты,
и называються некой "Правильной " Логикой.

А другие контексты вне "ГОСТА ", и называються Диалектической Логикой.

Ошибочность конкретных Логических Построений, это вопросы к Авторам !

Аватар пользователя mp_gratchev

//А другие контексты вне "ГОСТА ", и называются Диалектической Логикой//

Что Вам известно о диалектической логике помимо того, что она вне "ГОСТА"?

Аватар пользователя mp_gratchev

//нужен механизм изменения смысла при смене контекста//

Имеем,
"В огороде бузина, в Киеве дядька".

Здесь два контекста — огород и Киев. При переходе от одного контекста к другому меняется смысл. Речь о бузине подменяется речью о дядьке.

Какой тут механизм? Например, механизм "испорченного телефона".

--

Аватар пользователя Аим

Не в тему. Тут два контекста. Они не связаны. Об этом и пословица. Зачем пытаться связывать то, что в реальности не связано?

Аватар пользователя mp_gratchev

В таком случае, уточнение:
[нужен механизм изменения смысла при смене _с в я з а н н о г о_ одного с другим контекста].

--

Аватар пользователя Сергей Борчиков

Да каким же образом Вы увяжете контексты?
Например, одна поговорка произносится в конткесте парилки в бане, другая в контексте  лекции профессора в университете. Какая связь парилки с университетом? И зачем она нужна?
Больше того, мне слёту кажется, что если контексты логически связаны, то они образуют один общий, но сложный (интегральный) контекст.

Аватар пользователя mp_gratchev

Два текста:

Свет - это волна (1).
Свет - это корпускулы (2).

Связанные контексты:

1.
Исаак Ньютон развивал корпускулярную теорию: он представлял свет как поток частиц (корпускул), движущихся по прямым траекториям. Эта идея хорошо объясняла некоторые явления (например, прямолинейное распространение), но не справлялась с другими (независимое распространение двух пучков, скорость света в среде).

2.
Параллельно Христиан Гюйгенс предложил волновую теорию: свет — это волна, распространяющаяся в гипотетическом эфире.

Теперь ищем переход смысла от одного контекста к другому.

Смысл в корпускулярно-волновом дуализме.

--

Аватар пользователя Сергей Борчиков

Мог бы придраться, потому что тут все-таки просто разные предикаты (смыслы) одного и того же предмета (света). Например, корова мычит и корова дает молоко. Никто не говорит, что корова мычит в одних контекстах, а дает молоко в других. Но не буду, пусть будут разные контексты, потому что тут речь идет о теориях.
И, верно, классическая теория света в одном контексте - корпускулярная, в другом - волновая. Есть резон говорить о новом смысле (постулате) - корпускулярно-волновом дуализме. И его механизм известен - это примитивное допущение соприсутствия обеих теорий. И точка.
Этот механизм фиксирует дуальность теорий, но ничего не говорит о самом свете: почему ЕДИНЫЙ свет в одних условиях ведет себя как частица, а в других как волна. Это проблема оказалась не по зубам классической физике.
А вот квантовая механика (квантовой теория) решила эту проблему, показав единую, квантовую природу (механизм) света, который не есть ни частица, ни волна. Ну это уже для детального рассмотрения физиков, а не логиков.

А вот претендентам на логику (хоть ЭДЛ, хоть ККЛ) хорошо бы точно так же определиться с "квантовой теорией" мысли, из которой бы следовало, в каких контекстах мысль ведет себя как смысл, в каких как слово, в каких как переживание, а в каких как контекст.

Аватар пользователя Сергей Борчиков

ЭДЛ и ККЛ

Аим, 14 Август, 2026 - 11:19, ссылка

Не в тему.

И не в тему, и в тему одновременно.

Не в тему, потому что Грачев перепутал текст с контекстом, а АИМ ему вторит.
"В огороде бузина" - один текст (не контекст), один смысл.
"в Киеве дядька" - второй текст (не контекст), второй смысл.
Оба смысла логически тривиально соединены в сложное суждение, которое абсурдно, и имеет контекст-1 поговорки, квалифицирующей нелогичную речь.

Однако в чем контекст-2? Зачем Грачев привел здесь эту поговорку? Не для того же, чтобы просветить нас знанием русских поговорок. Контекст-2 связан с диалогом, в котором один субъект М указал другому субъекту А на отсутствие абсурдности, а неисполнительности, т.е. следования своему же постулату - "нужен механизм изменения смысла при смене контекста".

Поэтому реплика Грачева совершенно в тему (Аим не прав).
Поэтому для него и всех - концептно-контекстая логическая задачка:
пусть есть поговорка П, использумая в речи всех людей в филологическом контексте-1;
пусть в диалоге между М и А она используется в контексте-2.
Следовательно, согласно постулату ККЛ-логики, при смене одного контекста на другой должен поменяться смысл поговорки П.
Вопросы:
- поменялся ли смысл поговорки П,
- если поменялся то как, покажите,
- если не поменялся, то действие постулата ограничены, тогда покажите границы, когда он меняется и почему, а когда не меняется и почему.
И делов-то.

Кстати, это касается и ЭДЛ Грачева, ведь это ее прерогатива - диалог двух и более субъектов. Вот он диалог налицо.