Модальні висловлювання.

Модальна логіка є розділ сучасної логіки, де вивчаються модальні висловлювання та їхні відношення в структурі міркувань. Існують такі види модальних логік і модальних висловлювань: алетичні, епістемічні, темпоральні, деонтичні. Алетичні висловлювання включають такі модальності: «необхідно», «можливо», «випадково» та їх модифікації. Епістемічні висловлювання включають до свого складу такі модальності: «знаю», «вірю», «вважаю», «доведено», «відомо», «спростовано» тощо. Темпоральні висловлювання включають такі оцінки змісту, у яких необхідні уточнення з використанням часових характеристик: «було так, що», «буде так, що», «завжди було так, що», «завжди буде так, що», «раніше», «пізніше», «одночасно» та ін. Деонтичні висловлювання характеризують наявність або відсутність в судженні певних норм за допомогою таких модальностей: «обов’язково», «необов’язково», «дозволено», «недозволено», «заборонено», «незаборонено» та ін. (див. табл. класифікації суджень і табл. видів модальних логік і модальних висловлювань).

Таблиця видів модальних логік і модальних висловлювань

Не нашли, что искали? Воспользуйтесь поиском: