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

Модальная логика). Во-первых, можно считать данное научное знание полностью завершенным. Тогда оба правила вывода потеряют свой парадоксальный характер. Во-вторых, можно релятивизировать эпистемический оператор относительно субъекта знания: вместо обычного оператора □ можно писать □а, где а – некоторый субъект познания. Тогда правила вывода будут ограничены областью явного знания субъекта и также утратят парадоксальность.
Развивая это направление дальше, можно ввести в логику знания несколько субъектов познания (напр., субъекта а и субъекта b). В этом случае удается дополнительно выразить рефлексивный характер знания, возможным объектом которого становится знание, принадлежащее другому субъекту. Так, комбинированная эпистемическая модальность □_a□_b□_a означает: а знает, что В знает, что а знает. Такие комбинированные модальности необходимы для создания на базе логики знания логической теории поведения.
Тем не менее развитие логики знания на базе модифицированного исчисления S5 сильно ограничивает потенциальные возможности эпистемической логики. Знание в этом случае понимается как дедуктивная организация выводов из хорошо установленных («истинных») законов. Между тем значительная часть знания построена на свободно выдвигаемых и проверяемых гипотезах, истинность или ложность которых еще не установлена. Если учитывать этот аспект знания, то вместо аксиомной схемы □A ⊃ А следует использовать ее более слабый аналог □A ⊃ □ A и трактовать □ как приемлемость, а  □ · как неотвергаемость эмпирической гипотезы (индуктивные модальности). Правило С теряет в этом случае парадоксальный характер, т.к. приемлемость гипотезы неминуемо влечет в рациональном знании одновременное принятие и всех ее следствий (даже если они и не выражены в явном виде). Одновременно особую важность приобретает эпистемический вариант дедуктивного правила вывода modus tollens.
Еще одно направление в развитии логики знания предполагает реализацию двух важных принципов: 1) объект познания изменяется во времени, причем эти изменения могут быть неожиданными (непредсказуемыми на основе известных законов и прошлого знания); 2) познающий и действующий субъект влияет на поведение объекта знания. Синтаксически такая логика, которую можно назвать «эволюционной логикой знания», основана на принципе положительной (дестабилизирующей) обратной связи и немонотонном переходе от одних совокупностей утверждений к другим. Семантически она основывается на известном предположении Юма о возможном изменении «порядка природы», а также на признании фундаментальной роли ожиданий субъектов в формировании будущей реальности. Такая логика полностью порывает с модальными традициями. В последние десятилетия возрастает интерес к эволюционной логике со стороны информатики и компьютерных дисциплин.
Логика времени
— раздел современной модальной логики, изучающий логические связи вре­менных утверждений, т. е. утверждений, в которых временной па­раметр включается в логическую форму. Л. в. начала складываться в 50-е годы XX в. прежде всего благодаря работам англ. логика А. Н. Прайора, хотя первые попытки учесть роль временного фак­тора в логическом выводе относятся еще к античности (Аристо­тель, Диодор Кронос).
Задачей Л.в. является построение искусственных (формализо­ванных) языков, способных сделать более ясными и точными, а следовательно, и более плодотворными рассуждения о предметах и явлениях, существующих во времени.
Л. в. представляет собой множество логических систем (логик), распадающихся на