Tühjalt tõeste väidete käsitlemine väidetena, millel on tõesusest madalam tõeväärtus

Tühjalt tõeste väidete käsitlemine väidetena, millel on tõesusest madalam tõeväärtus

Karmo Talts

Käsitleme väiteid, mis on klassikalises loogikas tühjalt tõesed, väidetena, mille tõeväärtus on madalam kui tõesel väitel ja kõrgem kui väära väitel. Kuna materiaalne konditsionaal ei näe sellist võimalust ette, siis me vajame uut konditsionaali.
Sõnastame selllise konditsionaali. P on väär või P-l on vahepealne tõeväärtus või Q on tõene.
Vaatame nüüd Curry lauseid. Kuna Curry lause on iseenda eeldus, siis on Curry lause siis, kui ta on väär, vahepealse tõeväärtusega, Kuigi seda, et Curry lause on vahepealse tõeväärtusega, on tarvis selleks, et Curry lause oleks väär, siis sellest, et Curry lause on vahepealse tõeväärtusega ei piisa selleks, et Curry lause oleks väär.