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

Модальність - це характеристика або оцінка судження, дана з деякою точки зору. Існують епістеміческі, деонтическая і алетіческая модальності.

1. Алетіческіе модальності. До них відносяться такі характеристики висловлювань, як «необхідно», «можливо», «випадково»

2. епістеміческі модальності. Види: «доведено» «спростовано» «переконаний» «сумнівається» «знає» «вірить»

3. деонтическая модальності (характеристика дій і вчинків людей). До них відносяться види: «обов'язково», «дозволено», «заборонено», «байдуже»

Основні еквівалентності для алетіческіх і епістематіческіх

За епістеміческой модальності, що виражає ступінь обгрунтованості судження, судження діляться на достовірні і проблематичні (ймовірні). Достовірні судження виражаються за допомогою операторів: доведено (верифіковано) - V і спростовано (фальсифікована) - F (Vp- доведено, що р; V p- доведено, що ні-р; Fp- спростовано, що р; F p- спростовано, що ні-р) .Проблематічние судження виражаються за допомогою оператора вероятно- р (РР ймовірно, що р; р р- ймовірно, що ні-р). Достовірні судження можуть бути виражені з допомогою оператора спростувати: Vp≡F p і Vp≡Fp, проблематичні сужденія- за допомогою оператора доведеності і спростувати: Рр≡Vр ^ Fp.

Алетіческая модальність виражається в термінах "необхідно", "випадково", "можливо", "неможливо" і ділиться на логічну і фактичну, яка виражається операторами: необхідно (# 9633; р- необхідно р, # 9633; р- необхідно не-р), випадково (# 9633; р і # 9633; р); можливо ( «знак ромб» р, «знак ромб» р), неможливо ( «знак ромб» р, «знак ромб» р)

23.Логіческіе відносини між деонтическая модальностями і їх значення для побудови нормативних міркувань

Деонтическая модальність виражає припис в формі поради, побажання, правила поведінки, наказу. До Деонтей-м модальностям відносяться нормативні висловлювання, в тому числі правові норми: правообязивающіе, правозапрещающіе, правопредоставляющіе. Вони виражаються за допомогою операторів: О-обов'язково, F-заборонено, P-дозволено. A- деякий немодального висловлювання.

FA ≡PA «Що не заборонено, дозволено»

OA ≡ PA (А обов'язково, якщо не дозволено не- А)

OA≡ PA (А необов'язково, якщо дозволено не-А)

FA ≡OA (А заборонено, якщо обов'язково не- А)

OA ≡FA (А обов'язково, якщо заборонено не-А)

Не мають місце OA → A, а також невірно, що A → PA