Modality - o evaluare caracteristică sau judecata, acest lucru dintr-un anumit punct de vedere. Există epistemic, modalitate deontică și alethică.
1. modalitate alethică. Acestea includ caracteristici declarații, cum ar fi „necesare“, „poate“, „accident“
2. epistemică modalitate. Tipuri de „dovedit“ pentru a „respinge“ „convins“ „îndoială“, „știu“, „crede“
3. modalități deontice (acțiuni și acțiunile oamenilor caracteristice). Acestea includ tipurile de „necesar“, „permis“, „interzis“, „indiferent“
echivalență cheie pentru alethică și epistematicheskih
Prin modalitatea epistemică care exprimă gradul de judecată validitate, judecata este împărțită în semnificative și problematice (probabil). hotărâre semnificativă sunt exprimate folosind operatori s-au dovedit (verificat) - V și a respins (falsificată) - F (VP- demonstrat că p; V P- a demonstrat că nu-p; Fp- respins că p F P- respins care nu-p) hotărârile .Problematichnye exprimate cu operatorul de probabilitate p (pp probabil ca p, p este probabil că nu-p). judecăți de încredere pot fi exprimate cu ajutorul operatorului de a respinge: Vp≡F p și Vp≡Fp, suzhdeniya- problematică cu operatorul probei pentru a respinge: Rr≡Vr ^ Fp.
modalitate alethică este exprimată în termeni de „necesar“, „accident“, „poate“, „imposibil“, și este împărțit în logică și de fapt, care este exprimată de către operatori: este necesar (# 9633; p trebuie să fie p # 9633; p trebuie să fie nu-p), aleatoare (# 9633; și p # 9633; p); este posibil ( „semn diamant“ p „marca de diamant“ p), este imposibil ( „semnul de diamant“ p „marca de diamant“ p)
relațiile 23.Logicheskie dintre modalitățile deontici și semnificația lor pentru construcția de raționament normativ
modalitate deontică exprimă o prescripție sub formă de sfaturi, sugestii, reguli de conduită a ordinului. Prin Deontay modalități de a XII includ declaratii normative, inclusiv statul de drept: pravoobyazyvayuschie, pravozapreschayuschie, pravopredostavlyayuschie. Acestea sunt exprimate cu ajutorul operatorilor: O-în mod necesar, F-interzis, P-permis. A- o declarație non-modal.
FA ≡PA «Ceea ce nu este interzis este permis“
OA ≡ PA (A necesară în cazul în care nu este permis non-A)
OA≡ PA (A opțional, în cazul în care un non-autorizat)
FA ≡OA (A interzis, dacă este necesar, non-A)
OA ≡FA (Și, cu siguranță, în cazul în care nu sunt interzise-A)
Nu au loc OA → A, și, de asemenea adevărat că A → PA