"osavastupidisus" - 1 õppematerjal

LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK

mitte vastupidi; see, mis on võimatu, on ka mitteparatamatu, ent mitte vastupidi. See, mis ei ole võimalik, ei ole ka paratamatu (ja mitte vastupidi) ning see, mis pole mitteparatamatu, ei ole ka võimatu (ja mitte vastupidi). Vastupidisus väljendub nii, et see, mis on paratamatu, pole võimatu ning see, mis on võimatu, pole paratamatu. Lause ei saa olla korraga paratamatu ja võimatu, ent saab korraga mitte olla paratamatu ja mitte olla võimatu. Osavastupidisus väljendub nii, et mis pole võimalik, on mitteparatamatu, ja mis pole mitteparatamatu, on võimalik. Lause saab korraga olla võimalik ja mitteparatamatu. Ei saa olla nii, et lause pole võimalik ja ühtlasi pole mitteparatamatu (on paratamatu). Paratamatuse ja võimalikkuse defineerimine üle kõikide võimalike maailmade on problemaatiline, sest see tähendab mingis teises maailmas propositsioonile tõesuse omistamist