Konditsionaalist, mis on tõene siis, kui selle järeldus on tõene, on juttu siin https://www.blogger.com/blog/post/edit/1189111440024009831/6429908033773383505?hl=en
Konditsionaal, mis on tõene siis, kui konditsionaali järeldus on tõene, ja Curry paradoks
Karmo Talts
Vaatame, kas konditsionaalide, mis on tõesed siis, kui selle konditsionaali järeldus on tõene, kujul on võimalik sõnastada Curry lauseid. Kui sellest, et konditsionaali järeldus on väär, piisab selleks, et konditsionaal on väär, siis sellest, et absurdsus on väär, piisab selleks, et konditsionaal "kui see väide on tõene, siis on absurdsus tõene"on väär.
No comments:
Post a Comment