<<
>>

§ 5. Алетична логіка як основа для дослідження інших модальностей

Алетичну логіку вважають основою, базою усієї мо­дальної логіки в цілому. Паралелі між элегичною логікою та іншими гілками модальної логіки очевидні.

Наприклад, модальність “необхідно” має аналоги: в епістемічній логіці — модальність “знаю” (K); в темпо-

Логічний аналіз модальних висловлювань

195

Модальності Можна комбінувати і тлумачити різними способами.

Наприклад, майбутнє можна витлумачити як царину наших бажань, а минуле — як царину результатів наших дій; логіка передбачень може будуватися як поєднання епістемічної логіки (логіки знань) та логіки часу і т. ін.

Проілюстровані взаємозв’язки між різними модаль­ностями засвідчують можливість об’єднання різних видів модальних логік в межах одного логічного числення ’.

<< | >>
Источник: Хоменко І. В., Алексюк І. А.. Основи логіки: Підручник для студентів вищих навчальних педагогічних закладів. — К. : Золоті ворота,1996. — 256 с. — (Трансформація гумані­тарної освіти в Україні).. 1996

Еще по теме § 5. Алетична логіка як основа для дослідження інших модальностей: