"ametipositsioonis" - 1 õppematerjal

LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK

ei saa olla korraga kohustuslik. Ükski toiming ei saa olla kohustuslik ja keelatud ühel ajal, sest ei saa mingit toimingut korraga teostada ja teostamata jätta, see on võimatu toiming. Loogiliselt kooskõlaline koodeks ei saa kohustada agenti sooritama võimatut toimingut. Kui koodeks kohustab agenti sooritama võimatuid toiminguid, siis ei saa agent käituda normi järgi. Mõnes koodeksis esineb norme, mis sunnivad mingis ametipositsioonis agenti üht normi täites teist normi rikkuma. Sel juhul  8 on võimalik seda agenti alati vastutusele võtta, niipea kui selleks peaks vajadus tekkima, nt siis, kui agent võtab sõna valitsuse vastu. Deontiliste lausete vahelisi seoseid Operaatorid O ja F on vastastikku teisendatavad: kui toiming p on kohustuslik, siis on keelatud ¬p: Op F(¬p);