Transparent Quantification into Hyperintensional objectual attitudes

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F14%3A86089968" target="_blank" >RIV/61989100:27240/14:86089968 - isvavai.cz</a>
Result on the web
<a href="http://link.springer.com/article/10.1007/s11229-014-0578-z" target="_blank" >http://link.springer.com/article/10.1007/s11229-014-0578-z</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s11229-014-0578-z" target="_blank" >10.1007/s11229-014-0578-z</a>

Result language
angličtina
Original language name
Transparent Quantification into Hyperintensional objectual attitudes
Original language description
We demonstrate how to validly quantify into hyperintensional contexts involving non-propositional attitudes like seeking, solving, calculating, worshipping, and wanting to become. We describe and apply a typed extensional logic of hyperintensions that preserves compositionality of meaning, referential transparency and substitutivity of identicals also in hyperintensional attitude contexts. We specify and prove rules for quantifying into hyperintensional contexts. These rules presuppose a rigorous methodfor substituting variables into hyperintensional contexts, and the method will be described. We prove the following. First, it is always valid to quantify into hyperintensional attitude contexts and over hyperintensional entities. Second, factive empirical attitudes (e.g. finding the site of Troy) validate, furthermore, quantifying over intensions and extensions, and so do non-factive attitudes, both empirical and non-empirical (e.g. calculating the last decimal of the expansion of Pi),
Czech name
—
Czech description
—

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

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

Similar results(10)