Главная – Журналы – Философия науки 2025 номер S5

Предмет исследования - нетривиальная модально-логическая проблема эквивалентности de-dicto и de-re типов модальностей. Цель - прояснение, точная формулировка, и добавление уточненного принципа эквивалентности этих типов модальностей в качестве новой схемы собственных аксиом в мультимодальную аксиоматическую систему формальной философии Φ+∃. Научная новизна : для достижения этой цели, уже опубликованная формальная аксиоматическая теория Φ+∃ преобразована в некую качественно отличную от нее логически формализованную мультимодальную аксиоматическую систему, названную Φ^DR, благодаря принятию во внимание и систематическому использованию в ней упомянутых различных типов модальностей, именуемых dicto и de-re. Для осуществления такой трансформации, (1) изменены определения алфавитов языка-объекта и метаязыка теории Φ+∃: в алфавит метаязыка теории Ф^DR добавлены новые символы Ω^D и Ω^R, обозначающие некие (любые) модальности совершенства упомянутых типов D и R, соответственно; (2) ко множеству аксиомных схем теории Φ+∃, в теорию Φ^DR добавлена одна новая схема аксиом, содержащая символы Ω^D и Ω^R; (3) на искусственном языке Φ^DR дана точная формулировка принципа эквивалентности типов модальностей dicto и de-re , а также определено то конкретное эпистемическое условие, при котором этот принцип эквивалентности имеет законную силу. Впервые предложена некая нетривиальная мультимодальная интерпретация традиционного формально-логического квадрата и гексагона логической оппозиции абстрактных понятий. Также впервые упомянутые геометрические фигуры использованы в качестве наглядных моделей системы формально-аксиологических отношений между качественно различными de-re- модальностями-совершенства как ценностными функциями .