Эпистемическая логика логика времени

ЭПИСТЕМИЧЕСКАЯ ЛОГИКА ЛОГИКА ВРЕМЕНИ
Эпистемическая логика (от греческого ἐπιστήμη, наука, знание «), также логик знаний , имеет дела с верой и знанием в отдельных лицах и группах . Целью исследований с использованием эпистемической логики часто является динамическая или гибкая модель состояний мнений и знаний. Эта ветвь философской логики является частью модальной логики и часто совпадает с доксастической логикой в области убеждений и мнений
Эпистемическая логика - это философская логика, которая расширяет классическую логику и преобразует элементарную логику высказываний или предикатов. оператор для знаний (знания оператора «W») расширена (= эпистемический логик в том смысле , более узкого (логика знаний) ) или другие операторы из доксастической логики, например Б. для Верить (быть убежденным (сильное убеждение); вероятным (слабое убеждение) ) или Рассмотрение возможного (= эпистемическая логика в более широком смысле ) (логика веры и знания) . Эпистемическая логика в ее современной форме исследует связи между эпистемическими модальностями и более сложными исчислениями . Таким образом, эпистемологическая логика показывает систематические связи между формами знания, например, предполагаемое знание, которое считается возможным, или саморефлексия знания, и реконструирует основные концепции эпистемологии в логике. Ей интересно показать, когда утверждение считается доказанным, когда ему верят, когда оно утверждается и известно. Он также имеет дело с терминами лжи и ошибок и вероятности . Переходы к логике вероятностей плавны. Эпистемическая логика не может быть интерпретирована экстенсивно , но в лучшем случае интенсионально . An интенсиональная семантика является семантикой возможных миров раньше. Основная идея состоит в том, что кто-то убежден, что, если P имеет место в том мире, который он считает возможным. Для более точных синтаксических и семантических характеристик различных систем эпистемической или доксастической логики ; см. модальную логику . –
Однако принятие правила Геделя приводит к парадоксу «всезнания»: известными должны считаться все доказуемые (в той или иной системе знания) утверждения. Не спасает от парадокса всезнания и более слабое правило С: «если доказуемо Α ⊃ В, то доказуемо □A ⊃□B». Его принятие заставляет считать, что известны все следствия принимаемых утверждений. История науки противоречит такому пониманию явного знания. Может понадобиться огромный период времени, прежде чем все принятые следствия исходных законов научной теории будут получены в явном виде (период нормальной науки, по Т.Куну).
Ясно, что применение этих правил в логике знания должно быть ограничено. Сделать это можно двумя путями (об ограничениях, возникающих на предикатном уровне, см.