Kas parakonsistente loogika vahetab klassikalise loogikaga võrreldes teemat?
Karmo Talts
Vaatame, kas parakonsistentsed loogikad, mis lubavad väitel olla korraga tõene ja väär, vahetavad klassikalise loogikaga võrreldes teemat. Kui tõene tähendaks klassikalises loogikas seda, mida tõene tähendab kõne all olevat tüüpi parakonsistentsetes loogikates, siis ütleks vasturääkivuse seadus seda, et väide ei saa korraga olla ainult tõene või korraga tõene ja väär ja samas olla ainult väär või korraga tõene ja väär. Vasturääkivuse seadus ei ütle seda, vaid ütleb, et väide ei saa olla korraga ainult tõene ja ainult väär. Seega sõna „tõene” tähendab klassikalises loogikas seda, mida parakonsistentses loogikas tähendab väljend „ainult tõene”. Võimaluse, et väide on parakonsistentse loogika keeles väljendudes korraga tõene ja väär välistab hoopis välistatud kolmanda seadus, mis ütleb, et väide on parakonsistentse loogika keeles väljendudes ainult väär või ainult tõene. See tähendab, et parakonsistentne loogika muudab sõna „tõene” tähendust.
No comments:
Post a Comment