näib õigena. 33. TEESI ÜMBERLÜKE. Teesi ümberlükkamise võtted: - leidub fakte, mis räägivad teesile vastu. - arutluse või eelduste (põhjendite) kriitika. - tõestatakse, et teesist järgneb paratamatult järeldus, mis ei vasta tegelikkusele - tõestatakse antitees – kui antitees on tõene, siis tees on väär (A–O; E–I) 34. MODAALSED OTSUSTUSED. VÕIMALIKKUS JA PARATAMATUS. Aleetilised modaalsed laused väljendavad paratamatust, võimalikkust, sattumuslikkust ja mittevõimalikkust. Klassikalistele loogikatehetele lisanduvad võimalikkuse märk (ruut nurga peal) ja paratamatuse märk (ruut külje peal). Iga tõene lause on võimalik, iga paratamatu lause on tõene. Loogiliselt paratamatu lause on tõene kõikides võimalikes maailmades. Loogiliselt võimalik on kõik see, mis võib kehtida vähemalt ühes võimalikus maailmas (ja see, mis kehtib tegelikult)
näib õigena. 33. TEESI ÜMBERLÜKE. Teesi ümberlükkamise võtted: - leidub fakte, mis räägivad teesile vastu. - arutluse või eelduste (põhjendite) kriitika. - tõestatakse, et teesist järgneb paratamatult järeldus, mis ei vasta tegelikkusele - tõestatakse antitees kui antitees on tõene, siis tees on väär (AO; EI) 34. MODAALSED OTSUSTUSED. VÕIMALIKKUS JA PARATAMATUS. Aleetilised modaalsed laused väljendavad paratamatust, võimalikkust, sattumuslikkust ja mittevõimalikkust. Klassikalistele loogikatehetele lisanduvad võimalikkuse märk (ruut nurga peal) ja paratamatuse märk (ruut külje peal). Iga tõene lause on võimalik, iga paratamatu lause on tõene. Loogiliselt paratamatu lause on tõene kõikides võimalikes maailmades. Loogiliselt võimalik on kõik see, mis võib kehtida vähemalt ühes võimalikus maailmas (ja see, mis kehtib tegelikult)
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. Siin kehtivad kõik klassikalise loogika seadused ja lisaks veel võimalikkuse modaalne operaator (ik necessity) ja paratamatuse modaalne operaator (ik possibility), mida kasutatakse sarnaselt eitusega. Väidete p ja p tõeväärtused pole väite p tõeväärtusega täielikult määratud.
on üksikväide, siis on võimalik selliseid dilemmasid käsitleda analoogiliselt eeltooduga, ainult et esimeses eelduses tuleb teostada üldisuskvantori eemaldamine. Kui aga ka disjunktiivne eeldus on üldine väide, siis peab hakkama analüüsima, mis juhtub dilemmaga disjunktiivse väite subjekti mahu erinevate elementide korral. 1 10. MODAALNE LOOGIKA ALEETILISED MODAALSUSED Klassikaline loogika eeldab, et lausega väljendatakse mingi propositsiooni tõesust või väärust. On aga olukordi, kus me tahaksime propositsiooni iseloomustada, jättes tõeväärtuse lahtiseks. Nt lause ,,Homme lähen ma tööle" väljendab propositsiooni, mille tõeväärtus ei ole täna veel teada, kuid ma saan öelda: ,,On võimalik, et ma lähen homme tööle." Kui see on võimalik, siis ilmselt pole see võimatu
annaabi.ee 
