"ammendatavuse" - 1 õppematerjal

Loogika konspekt 6-10

Eristatakse absoluutseid ja suhtelisi norme. Absoluutsete normide mõned loogilised vormid: F(p) ­ on keelatud, et p, F(x, p) - subjektile x on keelatud p. Relatiivsete normide mõned loogilised vormid: F(c, p) - p on keelatud tingimusel c, c P(x, p, y) - tingimusel c subjektile x on lubatud toiming p subjekti y suhtes. Deontilise loogika alusteks on klassikalise loogika kolm printsiipi: täielikkuse (ammendatavuse) mittevasturääkivuse ja vastastikku teisendamise printsiip. Deontilises loogikas kehtivad kehtivad lausearvutuse ja predikaatarvutuse tehted. Näiteks: ¬ F(p) - ei ole keelatud p, F(¬ p) - on keelatud mitte-p, Tõesuse mõiste deontilises loogikas. Deontilised operaatorid O, F, D ei määratle lauseid tõeste või vääradena. Normide tõesusest või väärusest saab rääkida ainult siis, kui normi mõistetakse kui lauset normist.