О логиках эмпирических модальностей

Abstract

В статье рассматривается класс ERA-логик с эмпирическими модальностями $\square$ (необходимость) и $\lozenge$ (возможность), которые характеризуют, соответственно, высказывания, представляющие эмпирические законы и эмпирические тенденции, т.е. эмпирические закономерности. Эмпирические закономерности являются результатом ДСМ-рассуждений, которые образованы взаимодействием правил индуктивного вывода и правил вывода по аналогии, а также процедурами абдуктивного принятия гипотез. Рассматриваемые ERA-логики являются пропозициональной имитацией ДСМ-рассуждений, применимых к последовательностям расширяемых баз фактов интеллектуальных систем. Характерной особенностью ERA-логик является применение двух концепций истины – когерентной и корреспондентной. Применение когерентной концепции истины обусловлено порождением гипотез посредством правил индуктивного вывода и вывода по аналогии. Применение же корреспондентной концепции истины обусловлено применением абдуктивного вывода, принятие результатов которого использует верификацию гипотез о предсказаниях. С этой целью ERA-логики применяют оператор Т: «истинно, что…». В заключении статьи обсуждаются нефинитные расширения ERA-логик, а также их отличия как логик эмпирических модальностей от логики М логических модальностей Г.Х. фон Вригта.