Eksistentsiväidete analüüs teise järgu loogika abil ja kujuteldavad objektid
Karmo Talts
Vaatame võimalusi eksistentsiväidete analüüsimiseks teise järgu loogika abil. Kui P-sid ei ole, siis predikaadi P puhul ei leidu objekte, millele on predikaat P. Predikaadi Draakon puhul ei leidu objekte, millel on predikaat Draakon jne.
Vaatame nüüd kujutlemist. Kui me kujutleme Pegasust, siis objekt, millel on predikaat Pegasus, leidumine sõltub sellest, et me seda objekti kujutleme. See tähendab, et kujuteldav objekt on objekt, mille meie kujutlus loob.
No comments:
Post a Comment