Teadmiste puudulikkusest. 19.Eeldusest „Mõni vihmauss pole mittetark“ tuletati lause „Mõni tark on vihmauss“. Milleotsese järelduse tüüpi kasutades see tulem saadi? Väite vastandamine. 20.Kui õigusnormid tuginevad despootlikule printsiibile siis peetakse tõeseks üht järgnevatest väidetest: Kui toiming pole keelatud, siis pole veel kindel, et see on lubatud. 21.Kohustuslik ------ keelatud (vastand) 22.Aleetiliste väidete loogilises ruudus on paratamatuse operaatorite vastupidiseks operaatoriks … ? Võimatu 23.Üldjaatavast väitest saab ümberpööramisel…? Osajaatav. 24.Loomulikus tuletussüsteemis tähistab lisamisreegel (add) tehet, milles: ….? 25.Kesktermin on termin, mis esineb kategoorilise süllogismi…? Mõlemas eelduses. 26.Milline ei kuulu … intensionaalsete definitsioonide hulka? Ostensiivne. 27.Milline … ei ole kehtiv tingiv-kategooriline süllogism? Aluse eitus
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). Loogiliselt mittevõimalik on kõik see, mis pole võimalik mitte üheski võimalikus maailmas. ! 12/14 35. ALEETILISTE OTSUSTUSTE LOOGILINE RUUT. 36. AKSIOLOOGILISED MODAALSUSED. MODAALSE LOOGIKA PEAMISI TÜÜPE. Aksioloogilised modaalsed alused väljendavad hinnanguid. Episteemilised modaalsed laused väljendavad teadmiste astet. (on tõestatud, et…; on ümberlükatud, et…; on lahendamatu, et…) Intensionaalne loogika uurib veendumust väljendavaid lauseid. 37. DEONTILISE LOOGIKA PÕHIIDEED. Deontilised modaalsed laused väljendavad norme. Mingisuguse käitumise iseloomulik omadus on toiming
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). Loogiliselt mittevõimalik on kõik see, mis pole võimalik mitte üheski võimalikus maailmas. ! 12/14 35. ALEETILISTE OTSUSTUSTE LOOGILINE RUUT. 36. AKSIOLOOGILISED MODAALSUSED. MODAALSE LOOGIKA PEAMISI TÜÜPE. Aksioloogilised modaalsed alused väljendavad hinnanguid. Episteemilised modaalsed laused väljendavad teadmiste astet. (on tõestatud, et...; on ümberlükatud, et...; on lahendamatu, et...) Intensionaalne loogika uurib veendumust väljendavaid lauseid. 37. DEONTILISE LOOGIKA PÕHIIDEED. Deontilised modaalsed laused väljendavad norme. Mingisuguse käitumise iseloomulik omadus on toiming
Seega kui kehtib formaalne implikatsioon, peab kehtima ka materiaalne implikatsioon. Teiselt poolt lause p q on tõene, kui selle alus on väär või tagajärg on tõene. Juhtumid, mil alus on väär, ei lähe arvesse. Järelduvuse probleem tekib üksnes tõese aluse puhul. Paratamatult tõese implikatsiooni korral ei saa tekkida olukorda, kus alus on tõene ja järeldus väär. Seega kui on paratamatu, et implikatsioon on tõene, siis on tagatud loogiline järelduvus. Aleetiliste modaalsete operaatorite vahelisi seoseid saab käsitleda analoogiliselt kategooriliste väidete vaheliste seostega loogilises ruudus, vt joonis 11.1. Analoogia tuleneb asjaolust, et paratamatuse operaatorit saab tõlgendada üldisuskvantorina üle kõigi võimalike maailmade ja võimalikkuse operaatorit saab tõlgendada olemasolukvantorina vähemalt ühes võimalikus maailmas. (Vt õpikust alalõiku ,,Modaalse loogika kanoonilisest tõlgendusest
iii. Paratamatul lausel pole võimalik olla väär ja pole võimalik, et väär lause on paratamatu. iv. Paratamatul lausel pole võimalik olla tõene ja pole võimalik, et tõene lause on paratamatu. v. Paratamatul lausel on võimalik olla nii tõene kui väär (olenevalt kontekstist) ja on võimalik, et nii tõene kui ka väär lause on paratamatu. 2) Tuginedes aleetiliste väidete loogilisele ruudule saame väita, et .. i. See, mis on paratamatu ei ole võimalik. ii. See mis on võimalik, on paratamatu. iii. See, mis ei ole paratamatu, ei ole ka võimalik. iv. See, mis pole võimalik, pole ühtlasti ka mitteparatamatu. v. See, mis ei ole võimalik, ei ole ka paratamatu. 2. DEONTILINE LOOGIKA 1) Normatiivselt neutraalne toiming x [I (x) & I(¬x)] tähendab seda, et ..
annaabi.ee 
