§ 4. Взаємозв’язок між алетичними модальностями. Закони алетичної логіки
Алетичні модальності взаємопов’язані між собою. Якщо модальний оператор необхідності позначити “ ", модальний оператор можливості позначити "0", модальний оператор випадковості позначити "Δ", тоді відповідні визначення можна представити символічно.
1) А є необхідним тоді і тільки тоді, коли неможливо не-А
2) А є можливим тоді і тільки тоді, коли необхідно не-А:
3) А є випадковим тоді і тільки тоді, коли можливо А і можливо не-Л:
Основні закони алетичної логіки:
1) Необхідне є реальним:
Нерідко в міркуваннях припускаються помилки, пов’язаної із зворотнім тлумаченням зазначеної імплікації, тобто “все реальне є необхідним” (A ⊃ А).
Якшо шось наявне в дійсності, то це зовсім не означає, шо воно є необхідним. Наприклад, факт дійсності, що X перебував на місці злочину під час його скоєння, не означає, що перебування Х-а на місці злочину було необхідним, а отже, не означає те, що він необхідно є причетним до злочину.
2) Реальне (дійсне) є можливим:
(“Якшо А, то можливо, шо А”).
Зворотня імплікація: 0Az>A не є вірною. Із можливості чогось не випливає його дійсність, реальність. Наприклад, якшо деяка людина X могла скоїти якийсь злочин, то це не означає, що вона дійсно його скоїла.
3) Необхідне є можливим:
(“Якшо необхідно, що А, то можливо, що Л”).