Detail príspevku/publikácie

Co má existenční kvantifikátor společného s existencí?

Organon F, 2007, roč. 14, č. 2, s. 177-186.
Súbor na stiahnutie: PDF*
BibTex EndNote Tagged EndNote XML RIS

Štatistika dokumentu:

Počet prístupov: 2,905
Počet prístupov dnes: 0
Naposledy zobrazené: 11.10.2024 - 02:50
Počet stiahnutí PDF: 799

Abstrakt

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.

*Príspevok je chránený zákonom o autorskom práve a právach súvisiacich s autorským právom (autorský zákon).