Väidetes sisalduvad nimed ja väidetele nimede panemine
Karmo Talts
Sõnastame järgmise piirangu väidetele nimede panemisele. Väitele, mis ei sisalda mõne väite nime, võib panna nime. Väitele, mis kasutab väite, millele on lubatud panna nime, nime, võib panna nime.
Vaatame näidet. Väide „lumi on valge“ ei sisalda nimesid. Seega me võime sellele panna nime, näiteks X. Väide X on tõene sisaldab väite, millel on lubatud panna nime, nime. Seega me võime sellele panna nime, näiteks Y jne.
Vaatame nüüd valetajalauset. Väide X on väär sisaldab nime. Seega tohib sellele väitele nime panna, kui väidete, millel on nimi, ahelat pidi tagasi minnes jõuame me väiteni, mis ei sisalda nimesid. Seega ei tohi valetajalause formaalset kuju sõnastada.
No comments:
Post a Comment