Знания, это законы зафиксированные в концептах
(концепты после именования становятся терминами, и
после социализации - понятиями).

Знание — это социально закреплённый, воспроизводимый результат познания,
а не просто пропозиция в памяти агента.

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

В философии науки «закон» — это отношение (R между явлениями), обладающее свойствами:
- устойчивое, повторяющееся отношение между явлениями (устойчивость — воспроизводится);
- всеобщее (всеобщность не зависит от конкретного, отдельного, случая);
- необходимое (при данных условиях не может быть иначе);
- выраженное в концепте (то есть зафиксированное в понятии, а не просто наблюдаемое).

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

Закон выражается в концепте — то есть ядро концепта содержит отношение R с модальным статусом «необходимо и всеобще».

Концепт — единица мышления, у которой есть (или может быть):
- ядро — существенный признак (то, без чего концепт не тот);
- образ — чувственно-наглядная сторона;
- ассоциации — связи с другими концептами;
- ценность — зачем он субъекту;
+ модальный статус ядра (фактическое / аподиктическое / проблематическое / авторитарное).
мыслеобраз -> дефиниция -> концепт

Эпистемическая логика, далее ЭЛ.
ЭЛ (от Hintikka) работает с пропозициями и убеждениями, а не с законами, концептами, и их формированием.
Убеждение в ЭЛ пропозициональная установка: агент полагает, что P истинно. Всё.

Динамические ЭЛ (AGM, DEL) моделируют изменение убеждений, а не формирование знания.
AGM — Alchourrón, Gärdenfors, Makinson (1985). Модель пересмотра убеждений (belief revision).
Три операции:
expansion — добавление убеждения;
revision — добавление с сохранением непротиворечивости;
contraction — удаление.
Основа — логика пропозиций, постулаты рациональности. Не различает типы убеждений по роли.
DEL — Dynamic Epistemic Logic (динамическая эпистемическая логика).
Baltag, Moss, Solecki; van Ditmarsch, van der Hoek, Kooi.
Моделирует изменение знания и убеждений через действия:
announcement, public announcement, product update, action models.
Тоже работает с пропозициями и пропозициональными установками.
Обе — про изменение пропозициональных установок, но не про формирование концептов.

Не различается:
- осознанное и неосознанное;
- устойчивое и мимолётное;
- обоснованное и необоснованное;
- личное и социально разделяемое;
- истинное убеждение и ложное.

Нужно различать убеждения по их роли в рассуждении
(догма, предрассудок, гипотеза, концепт, закон).
Роль — это не пропозициональное содержание, а модальность употребления.

Концептная логика (concept genesis & concept revision)

Упражнение читателям:
разобрать пример (флогистон → кислород) в терминах смены модального статуса ядра.

«горение — выделение горючей субстанции, которая содержится в телах и при горении выделяется.»
Ключевой (ломающий) факт: при горении металлы увеличивают вес, а «известь» (оксид) тяжелее металла.
«горение — окисление, соединение с кислородом». Это уже не «выделение», а «присоединение».
Нужно показать, что пример флогистон → кислород — это не пересмотр убеждения, а смена ядра концепта с изменением модального статуса. ЭЛ этого не схватывает, потому что работает с пропозициями, а не с концептами.

В классическом примере с флогистоном нет ни противоречия, ни собеседников.
Теория и факт несовместимы — но это не противоречие между собеседниками, а
конфликт теории с наблюдением.
Это эпистемический конфликт, а не диалогическое противоречие.