Transparent Quantification into Hyperintensional objectual attitudes

Kód výsledku v 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>

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

Transparent Quantification into Hyperintensional objectual attitudes

Popis výsledku v původním jazyce

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),

Název v anglickém jazyce

Transparent Quantification into Hyperintensional objectual attitudes

Popis výsledku anglicky

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),

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2014

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ů

Název periodika

Synthese

ISSN

0039-7857

e-ISSN

—

Svazek periodika

192

Číslo periodika v rámci svazku

3

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

43

Strana od-do

635-677

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—