A modalitás ítéletek
Modalitás - jellemző értékelési vagy ítélet, ez egy bizonyos szempontból. Vannak episztemikus, deontic közlik, és alethic.
1. alethic módozat. Ezek közé tartozik a jellemzők, mint például a nyilatkozatok „szükséges”, „lehet”, „baleset”
2. episztemikus modalitás. Típusú „bizonyított”, hogy „cáfolni”, „meggyőződése”, „kétség”, „tudom”, „hisz”
3. deontic módozatai (jellemző cselekedetek és az emberek). Ezek közé tartozik a fajta „szükségszerűen”, „engedélyezett”, „tilos”, „közömbös”
Key egyenértékűségének alethic és epistematicheskih
By episztemikus modalitás mértékét kifejező érvényességi ítélet ítélet oszlik jelentős és problémás (valószínű). Jelentős ítélete vannak kifejezve az üzemeltetők bizonyult (ellenőrzött) - V és cáfolták (hamisított) - F (Vp- bebizonyította, hogy p; V p- bebizonyította, hogy nem-p; Fp- cáfolták, hogy p; F p- cáfolták hogy nem-p) .Problematichnye értékelések kifejezett p valószínűséggel operátor (pp valószínű, hogy p, p p valószínű, hogy nem-p). Megbízható értékelések fejezhető segítségével az üzemeltető megcáfolni: Vp≡F p és Vp≡Fp problémás suzhdeniya- az üzemeltető bizonyítási megcáfolni: Rr≡Vr ^ Fp.
Alethic módozat van kifejezve „szükséges”, „baleset”, „lehet”, „lehetetlen”, és van osztva logikai és ténybeli, amit kifejez szereplők: szükség van (# 9633; p legyen p # 9633; p kell lennie nem-p), random (# 9633; és p # 9633; p); lehetséges ( „gyémánt jel” p „mark diamond” p), lehetetlen ( „gyémánt jel” p „mark diamond” p)
23.Logicheskie közötti kapcsolatok deontic módozatait és azok jelentőségét az építési normatív érvelés
Deontic módozat fejezi kapható formájában tanácsok, javaslatok, magatartási szabályokat a sorrendben. By Deontay th módozatok közé normatív állításokat, beleértve a jogállamiság: pravoobyazyvayuschie, pravozapreschayuschie, pravopredostavlyayuschie. Ezek alkalmazásával fejezik ki szereplők: O-szükségszerűen, F-tiltott, P-megengedett. A- nem öröklődik nyilatkozatot.
FA ≡PA «Mi nem tilos engedélyezett”
OA ≡ PA (szükséges, de nem szabad, nem-A)
OA≡ PA (A adott esetben, ha a nem-engedélyezett A)
FA ≡OA (A tiltott, ha szükséges, nem-A)
OA ≡FA (És határozottan, ha nem tiltja-A)
Nincs helye OA → A, és is igaz, hogy A → PA