Missuguse tõeväärtuste ja modaalsustega väited defineerivad Curry lausete definitsioonid

Missuguse tõeväärtuste ja modaalsustega väited defineerivad Curry lausete definitsioonid  

Karmo Talts

 

Vaatame, kas  Curry lause definitisoon defineerib midagi võimalikku. Curry lause C on defineeritud konditsionaalina "kui on nii, et C, siis mingi väär väide on tõene". Curry lause järelduseks võib olla nii sattumuslikult väär, kui ka paratamatult väär väide.

Vaatame nüüd Curry lause, mille järeldus on paratamatult väär, definitsiooni. Kui on nii, et C, siis mingi paratamatult väär väide on tõene. Seega on võimatu, et C ja see Curry lause definitsioon defineerib midagi võimatut. 

Vaatame nüüd Curry lause, mille järeldus on sattumuslikult väär, definitsiooni. Kui on nii, et C, siis mingi võimalikult tõene väide on tõene. Seega on võimalik, et C ja see Curry lause definitsioon defineerib midagi võimalikku. 

Vaatame nüüd, ka selline Curry lause defineerib midagi tegelikult tõest. Kui on nii, et C, siis mingi sattumuslikult väär väide on tõene. Seega pole nii, et C ja Curry lause definitsioon defineerib midagi tegelikult väära.