Tõeskeem, mis loeb valetaja paradoksi tüüpi paradoksaalsed väited vääraks
Karmo Talts
Sõnastame vääruseskeemi, mis loeb valetaja paradoksi tüüpi paradoksaalsed väited vääraks. P on väär parajasti siis, kui pole nii, et P või P on ekvivalentne iseenda eitusega.
Vaatame nüüd tõeskeemi. P on tõene parajasti siis, kui P ja P pole ekvivalentne iseenda eitusega.
No comments:
Post a Comment