Loogika, kus väärtus "ebakonsistentne" on üks tõeväärtustest
Karmo Talts
Vaatame võimalusi käsitleda konsistentsust teisiti kui operaatorina, nagu DeCosta parakonsistentsetes loogikates. Kuna konsistentne väide võib olla nii tõene, kui ka väär, saab kasutusele võtta tõeväärtused "konsistentne ja tõene", "konsistentne ja väär" ja "ebakonsistentne".
Vaatame nüüd nende tõeväärtuste suhet. Konsistentsetest eeldustest järelduvad konsistentsed järeldused. Seega tõeset eeldusest järelduvad tõesed järeldused ja väärast eeldusest tõesed järeldused või väärad järeldused. Ebakonsistentsest väitest ei pruugi järelduda konsistentseid järeldusi. Seega ebakonsistentsest eeldusest järelduvad tõesed järeldused või väärad järeldused või ebakonsistensted järeldused. Seega on tõeväärtus "ebakonsistentne" kõige madalam tõeväärtus.
Kommentaare ei ole:
Postita kommentaar