<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Vlasáková, Marta</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Co má existenční kvantifikátor společného s existencí?</style></title><secondary-title><style face="normal" font="default" size="100%">Organon F</style></secondary-title><translated-title><style face="normal" font="default" size="100%">What Do the Existential Quantifier and Existence Have in Common?</style></translated-title></titles><dates><year><style  face="normal" font="default" size="100%">2007</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.klemens.sav.sk/fiusav/doc/organon/2007/2/177-186.pdf</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">14</style></volume><pages><style face="normal" font="default" size="100%">177-186</style></pages><abstract><style face="normal" font="default" size="100%">Recent extensional logic considers a formula containing existential quantifier as an adequate way of rewriting a statement about the existence of something. Quine even claims that “to be is to be the value of a variable”. That means that if we consider a theory to be true, we have to treat all members of an appropriate universe as existing. This article intends to point out a difficulty in this conception: The primary task of an existential quantifier is only to claim that something can be found in a universe, whatever the universe is.</style></abstract><work-type><style face="normal" font="default" size="100%">State</style></work-type><custom2><style face="normal" font="default" size="100%">Papers</style></custom2><custom3><style face="normal" font="default" size="100%">177186</style></custom3></record></records></xml>