"modaliteet" - 1 õppematerjal

Loogika konspekt 6-10

¬B Robinson aitas seifi avada. (8,5) £ S & (B R); ¬B (8,5; DS) S&R  34_fl_vi-x L9 MODAALLOOGIKAST(ik modal logic) Sõna modaalsus (ld. modus `mõõt', `vahend') tähendab hinnangut, mille abil täpsustatakse otsustuse (S-P) terminite sisulist seost. Modaalse otsustuse üldvalem: M (S-P), Kus M on modaliteet ehk operaator: nii tähistatakse igasuguseid mõisteid, mis sobivad otsustuse (S-P) terminite sisulise seose täpsustamiseks. Nt: "on kindel (M), et poliitikud i tee midagi (S-P)"; "on hea (M), et ma olen rumal (S-P)." Modaalsete otsustuste liike on väga palju. ALEETILISED (ik alethic) modaalsed laused väljendavad paratamatust, juhuslikkust, võimalikkust ja mittevõimalikkust. Tavaliselt kui jutt on modaalloogikast, siis on tegemist just seda tüüpi lausetega