"episteemiliste" - 1 õppematerjal

Loogika konspekt 6-10

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. Kui väide on tõestatav, siis on ta tõene. Loogilised järeldused tõestatud väitest on tõestatavad. Kui väide on tõestatav, siis on tõestatav, et väide on tõestatav. Loogiline vasturääkivus ei ole tõestatav.