КРИТИЧНИЙ ПЕРЕГЛЯД ОНТОЛОГІЧНИХ ЗАСАД АЛЕТИЧНОЇ ЛОГІКИ

Abstract

Предметом дослідження є перегляд онтологічних принципів алетичної логіки та побудова на цій основі модальної системи. За зразок (і для перегляду принципів, і для побудови модальної системи) взято підхід, сформований автором під час дослідження в галузі деонтичної логіки. Згідно з цим підходом, логічні відношення між нормами «обов’язково», «заборонено» і «дозволено» повинні укладатися в схему трикутника, з тим, що чинність однієї (довільної) з трьох норм означає нечинність двох інших норм. Для коректного відбору модальних операторів до алетичної модальної системи виконано класифікацію атрибутів явищ «дійсне», «недійсне», «випадкове», «необхідне», «можливе» і «неможливе». Прийнято, що для побудови алетичної модальної системи (подібно, як і під час побудови деонтичної модальної системи) достатньо трьох модальних операторів – дійсне, можливе, неможливе. Випадкове явище ми виозначуємо як таке, яке не спричинене у зв’язку з аналізованими в якомусь конкретному контексті подіями (кожне явище в одному контексті необхідне, а в іншому – випадкове). Отже випадкове це таке, що не повинно необхідно настати (не є необхідним), і не повинно необхідно не настати (не є неможливим). В такому разі воно є тотожне можливому. Тому розмежування випадкового і можливого, принаймні в контексті алетичних модальностей, можна оцінити як штучне. Побудовано правила згідно з принципами: 1) якщо ми не перебуваємо в якійсь конкретній вершині трикутника, то ми перебуваємо в одній з решти двох; 2) якщо ми перебуваємо в якійсь конкретній вершині трикутника, то ми не перебуваємо в жодній з решти двох (кожні два варіанти можуть бути водночас нечинними) та інші. Виконане дослідження дало змогу уточнити, які саме набори модальних операторів коректно поєднувати в алетичних модальних системах. Зроблено висновок, що припущення про можливість описати алетичні модальності на підставі трикутника відносин, підтвердилося – побудовано модальну систему, яку можна використовувати, для прикладу, в практиці міркувань.