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

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F07%3A00095929" target="_blank" >RIV/67985955:_____/07:00095929 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
čeština
Název v původním jazyce
Co má existenční kvantifikátor společného s existencí
Popis výsledku v původním jazyce
Současná extenzionalistická logika považuje za adekvátní způsob formálního přepisu tvrzení o existence něčeho formuli obsahující existenční kvantifikátor. Quine dokonce prohlašuje, že "být znamená být hodnotou proměnné", tj. považujeme-li jistou teorii za pravdivou, musíme považovat za jsoucí všechny prvky příslušného univerza. Tento článek chce poukázat na problémy tohoto přístupu: prvotní úlohou existenciálního kvantifikátoru spočívá totiž pouze v konstatování, zda to či ono můžeme nalézt v univerzu,ať už je toto univerzum jakékoli.
Název v anglickém jazyce
What do existential quantifier and existence have in common
Popis výsledku anglicky
The resent extensional logic considers as an adequate way how to rewrite a statement about existence of something by a formula containing existential quantifier. Quine even claims that "to be is to be the value of a variable". That means, if we considera theory true, we have to treat all members of an appropriate universe as existing. This article intends to point out to a difficulty of 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.

Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
AA - Filosofie a náboženství
OECD FORD obor
—

Rok uplatnění
2007
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Podobné výsledky(10)