Piirangud nimede kasutamisele üksikväidetes ja väidete hulkades
Karmo Talts
Vaatame valetajalause formaalset kuju X: X on väär. See on paradoksaalne ainult siis, kui nime X esinemisjuhud mõlemal pool koolonit nimetavad sama väidet.
Sõnastame nüüd piirangu: väite nimi ei tohi esineda nimetatavas väites endas.
Vaatame nüüd paradoksaalseid väidete tsükleid. Need ei sisalda ühtegi väidet, mis ei kasuta mõne väite nime.
Sõnastame nüüd piirangu: iga väidete hulk, mis sisaldab rohkem kui ühte väidet, peab sisaldama vähemalt ühte väidet, mis ei kasuta mõne väite nime.
No comments:
Post a Comment