Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Results found: 2

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  EXISTENTIAL QUANTIFIER
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
EN
Instead of the existential quantifier Bernard Bolzano uses his notion of 'Gegenständlichkeit einer Vorstellung an sich' (objectivity of a representation in itself). This approach makes it possible for him to solve the traditional problem of the predication of existence (i.e. whether it is possible to consider existence as a standard property of individuals) in accordance with an approach common today, namely to take existence to be primarily a property ('occupation') of a corresponding representation in itself, and not a characteristic of individuals. However, Bolzano considers a property of real existence to be attributable also to particular individuals, which is essentially different from the usual practice.
EN
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.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.