"mitteparem" - 1 õppematerjal

Loogika konspekt 6-10

väärad. Väärtuse omistab inimene või inimeste grupp ja sellepärast on väärtus subjektiivne. Aksioloogilised laused on vastastiku teisendatavad: Objekt on positiivse väärtusega siis ja ainult siis, kui selle objekti puudumine on negatiivse väärtusega. Ükskõiksust defineeritakse kui mittehalb ja mittehea. Esimene objekt on teisest parem siis ja ainult siis, kui teine on esimesest halvem. Võrdväärsust defineeritakse kui mitteparem ja mittehalvem. EPISTEEMILISED LAUSED (ik epistemic, ld. epistéme teadmine) väljendavad teadmiste astet. Teadmise astme väljendamist kindlustavad modaalsed kvantorid (operaatorid): on tõestatud, et ... on ümberlükatud, et ... on lahendamatu, et ... Episteemiliste mõistete süsteemi töötas esimesena välja Kurt Gödel (1906-1978). Selles süsteemis on määravaks modaalsus on tõestatav. Seaduspärasused on järgmised: Teadmine on alati tõene.