Поділ суджень за модальністю

Епістемічна логіка - це розділ модальної логіки, який досліджує ерістемічні висловлювання та їхні відношення в структурі міркування.

Прикладами епістемічних висловлювань можуть бути речення:

(1)Відомо, що цей злочин вчинив О.

(2)Я вірю, що О. не є винним.

(3)Спростовано, що О. був на місці злочину в той час.

(4)Я знаю, що я нічого не знаю.

Деонтична логіка це розділ модальної логіки, який вивчає деонтичні висловлювання та їхні відношення в структурі міркування.

Прикладами деонтичних висловлювань можуть бути такі речення:

(1)Обов’язково дотримуватися законодавства.

(2)Дозволено купувати нерухомість.

(3)Заборонено читати чужі листи.

Вважається, що деонтичні модальності можуть бути виражені одна через одну:

1.Обов’язковим є те, від чого не дозволено утримуватися. Формально це визначення записується так: ОА = ~ P ~ A.

2.Дозволеним є те, що заборонено не робити. Формально це визначення записується так: ОА = ~ F ~ A.

3.Дозволеним є те, від виконання чого не обов’язково утримуватися. Формально це визначення записується так: РА = ~ O ~ A.

4.Дозволеним є те, що не є забороненим. Формально це визначення записується так: РА = ~ FA.

5.Забороненим є те, від чого слід обов’язково утримуватися. Формально це визначення записується так: FA = O ~ A.

6.Забороненим є те, що не є дозволеним. Формально це визначення записується так: FA = ~ PA.

КОНТРОЛЬНІ ЗАПИТАННЯ

1.На які розділи поділяється модальна логіка?

2.Що досліджує алетична логіка?

3.Що досліджує епістемічна логіка?

4.Що досліджує темпоральна логіка (логіка часу)?

5.Що досліджує деонтична логіка?

ЛІТЕРАТУРА