Semantiline dialetheism ja kõrgema järgu parakonistentsed loogikad

Semantiline dialetheism ja kõrgema järgu parakonistentsed loogikad 

Karmo Talts

Vaatame, milline loogika sobiks semantilisele dialetheistile. Kolmanda järgu loogikast madalamates loogikates pole üldse võimalik predikaatidele predikaate omistada, seega ta vajab vähemalt kolmanda järgu parakonsistentset loogikat.
Vaatame nüüd, kuidas ta saab lahus hoida vasturääkivused tähenduses ja maailmas. Kuigi ta ei tunnista eeldust, et iga predikaadi P puhul on nii, et P-l ei saa korraga olla predikaat Q ja mitte olla predikaat Q, võib ta omaks võtta eelduse, et iga esimese järgu objekti x puhul ei saa x-il korraga olla predikaati P ja mitte olla predikaati P.