Väidetele, milles esinevad nimed, nimede panemine
Karmo Talts
Sõnastame järgmise piirangu väidete nimetamisele: väitele, mis ei kasuta nimesid, võib panna nime. Väitele, mis kasutab ainult väidete, mis ei kasuta nimesid, nimesid, võib panna nime. Väitele, mis kasutab ainult väidete, mis kasutavad ainult väidete, mis ei kasuta nimesid, nimesid, võib panna nime. Jne.
Vaatame nüüd valetaja paradoksi- Valetajalause ei ole väide, mis ei kasuta nimesid. Valetajalause ei ole väide, mille nimi on pandud väitele, mis kasutab nimesid lubatud viisil.
Vaatame nüüd valetajatsükleid. Kumbki tsükli väidtest ei ole väide, mis ei kasuta nimesid. Kumbki tsükli väide ei ole väide, mille nimi on pandud väitele, mis kasutab nimesid lubatud viisil.
Karmo Talts
Sõnastame järgmise piirangu väidete nimetamisele: väitele, mis ei kasuta nimesid, võib panna nime. Väitele, mis kasutab ainult väidete, mis ei kasuta nimesid, nimesid, võib panna nime. Väitele, mis kasutab ainult väidete, mis kasutavad ainult väidete, mis ei kasuta nimesid, nimesid, võib panna nime. Jne.
Vaatame nüüd valetaja paradoksi- Valetajalause ei ole väide, mis ei kasuta nimesid. Valetajalause ei ole väide, mille nimi on pandud väitele, mis kasutab nimesid lubatud viisil.
Vaatame nüüd valetajatsükleid. Kumbki tsükli väidtest ei ole väide, mis ei kasuta nimesid. Kumbki tsükli väide ei ole väide, mille nimi on pandud väitele, mis kasutab nimesid lubatud viisil.
No comments:
Post a Comment