Klassikaline loogika ja tolerantsed ranged loogikad
Karmo Talts
Vaatame, kas klassikaline loogika kuulub tolerantsete rangete loogikate (tolerant strict logic) hulka. Selleks vaatame
kõigepealt, kas klassikaline loogika on järelduste suhtes range. Kui
klassikaline loogika ei oleks järelduste suhtes range, siis klassikaline
loogika aktspeteeriks ka väärasid järeldusi.
Vaatame nüüd, kas
klassikaline loogika on eelduste suhtes tolerantne. Kui klassikaline
loogika ei oleks eelduste suhtes tolerantne, siis juhul, kui eeldusest
järeldub väär järeldus, siis me otsustaks, et me poleks pidanud seda
eeldust kasutama. Tegelikult me arvame, et me võisime seda eeldust
kasutada, et sellest eeldusest väärat järeldust tuletades tõestada, et
eeldus on väär.
Vaatame nüüd, kuidas on võimalik eksplitsiitselt tolerantseid rangeid loogikaid mõista klassikalise loogika üldistusena.
Me üldistame selle, et väärasid järeldusi ei tule aktsepteerida,
selleks, et järeldusi, mis pole üheselt tõesed ei tule aktsepteerida ja selle, et väärasid eeldusi võib kasutada, ülditame me selleks, et eeldusi, mida pole üheselt tõesed, võib kasutada.