What do existential quantifier and existence have in common

Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
čeština
Original language name
Co má existenční kvantifikátor společného s existencí
Original language description
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.
Czech name
Co má existenční kvantifikátor společného s existencí
Czech description
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.

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
AA - Philosophy and religion
OECD FORD branch
—

Publication year
2007
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)