Trivialismi mitte-tunnistamine kui loogikaseadus ja eitus
Karmo Talts
Vaatame selle loogilist tähendust, et keegi peale loogilise trivialisti ei tunnista, et kõik väited on tõesed. See tähendab, et kõik peale trivialisti tunnistavad järgmist loogikaseadust: kõik väited ei saa olla korraga tõesed, sest muidu muutub loogika triviaalseks.
Vaatame nüüd teoreemi, mis sellest seadusest tuleneb. Kui väitest P järeldub, et kõik väited on tõesed, siis on P väär.
Vaatame nüüd selle tähendust eituse jaoks. Kui meie loogika kasutab rohkem kui ühte eitust, siis eitus, mis tuuakse sisse, sellest, et väitest järeldub, et kõik väited on tõesed, on tugevam kui nõrgad eitused. See on kas sama tugev, kui meie loogika kõige tugevam eitus või on tugevam kõigist meie loogika eitustest.
Kommentaare ei ole:
Postita kommentaar