Moraaliväidete käsitlemine predikaatarvutuse abil
Karmo Talts
Vaatame võimalusi käsitleda, moraaliväiteid predikaatarvutuse abil. Traditsioonilised moraalinorme on siis võimalik mõista selliste väidetena, nagu „iga tapmine on kuri“, „iga vargus on kuri“ jne.
Vaatame nüüd, millised võimalused see traditsioonilise moraali eitamiseks jätab. See, kes ei nõustu, et iga x predikaadiga P on positiivse või negatiivse moraalse staatusega, ei pea tingimata olema nihilistlikul vaatel, et mitte ükski x predikaadiga P pole positiivse või negatiivse moraalse staatusega, sest ta võib väita, et vähemalt üks x predikaadiga P on positiivse või negatiivse moraalse staatusega.
Vaatame nüüd moraaliväidete predikaatarvutuse abil käsitlemise puuduseid. Kui mingit tegu pole sooritatud mitte ühtegi korda, siis on selle teo moraalse staatuse kohta eksistentsikvantori abil sõnastatud väited väärad ja üldisuskvantori abil selle teo moraalse staatuse kohta esitatud väited on tühjalt tõesed.
Vaatame nüüd võimalusi selle probleemi lahendamiseks. Kui meil me kasutame modaalloogikat, mis on ühtlasi predikaatloogika, siis me saame esitada väiteid võimalike maailmade kohta, kus neid tegusid, mida tegelikult pole sooritatud ühtegi korda, sooritatakse.
No comments:
Post a Comment