Eksistenca - lastnost ali kvantifikator? : magistrsko deloArko, Matija (Avtor) Šuster, Danilo (Mentor) filozofijafilozofija logikeeksistencapredikat prvega redapredikat drugega redaabstraktni predmetimagistrska dela: Magistrska naloga se ukvarja z vprašanjem, ali je eksistenca lastnost ali kvantifikator. Na začetku naloge obravnavamo ontološki dokaz o bivanju boţjem v Anzelmovi, Descartesovi in moderni modalni verziji. Kant je prvi izrazil intuicijo, da eksistenca ni prava lastnost, medtem ko je Frege jasno izrazil mnenje, da je eksistenca predikat drugega reda. Naloga se nadaljuje z Russellovo in Quineovo logično analizo. V tem delu naloge je poudarek tudi na logični analizi praznih imen oziroma stavkov, ki taka imena vsebujejo. Rešitve, ki jih ti avtorji podajajo, pa primerjamo z rešitvami, ki jih ponujata predmetnostna teoretika A. Meinong in E. Zalta. Omenili pa bomo tudi teorijo pretvarjanja G. Evansa. Glavni zaključki naloge so naslednji: (1) eksistenca je predikat prvega reda in ni zgolj logična - trivialna lastnost vseh stvari; (2) eksistenca je določilo, torej je informativna lastnost; (3) povezava med eksistenco kot lastnostjo in eksistencialnim kvantifikatorjem sicer obstaja, vendar sam eksistencialni (parcialni) kvantifikator ne izraţa eksistence. Eksistencialni (parcialni) kvantifikator je treba brati nevtralno. (4) eksistenca je kot predikat prvega reda vključena v razlago eksistencialnega kvantifikatorja. Pri teh odgovorih smo predpostavili obstoj abstraktnih objektov, sklicujoč se na dejstvo, da semantika, ki vsebuje abstraktne objekte, mnogo enostavneje in uspešneje rešuje problem praznih imen in pa negativnih singularnih izjav. M. Arko20042009-05-31 19:10:33Magistrsko delo10667UDK: 16(043.2)COBISS_ID: 13347336NUK URN: URN:SI:UM:DK:HI3VU4F7sl