Transparent quantification into hyperpropositional attitudes de dicto

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F22%3A10249647" target="_blank" >RIV/61989100:27240/22:10249647 - isvavai.cz</a>

Výsledek na webu

<a href="https://link.springer.com/article/10.1007/s10988-021-09344-9#citeas" target="_blank" >https://link.springer.com/article/10.1007/s10988-021-09344-9#citeas</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/s10988-021-09344-9" target="_blank" >10.1007/s10988-021-09344-9</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Transparent quantification into hyperpropositional attitudes de dicto

Popis výsledku v původním jazyce

We prove how to validly quantify into hyperpropositional contexts de dicto in Transparent Intensional Logic. Hyperpropositions are sentential meanings and attitude complements individuated more finely than up to logical equivalence. A hyperpropositional context de dicto is a context in which only co-hyperintensional propositions can be validly substituted. A de dicto attitude ascription is one that preserves the attributee&apos;s perspective when one complement is substituted for another. Being an extensional logic of hyperintensions, Transparent Intensional Logic validates all the rules of extensional logic, including existential quantification. Yet the rules become more exacting when applied to hyperintensional contexts. The rules apply to only some types of entities, because the existence of only some types of entities is entailed by a hyperpropositional attitude de dicto. The insight that the paper offers is how a particular logic of hyperintensions is capable of validating quantifying-in in a principled and rigorous manner. This result advances the community-wide understanding of how to logically manipulate hyperintensions.

Název v anglickém jazyce

Transparent quantification into hyperpropositional attitudes de dicto

Popis výsledku anglicky

We prove how to validly quantify into hyperpropositional contexts de dicto in Transparent Intensional Logic. Hyperpropositions are sentential meanings and attitude complements individuated more finely than up to logical equivalence. A hyperpropositional context de dicto is a context in which only co-hyperintensional propositions can be validly substituted. A de dicto attitude ascription is one that preserves the attributee&apos;s perspective when one complement is substituted for another. Being an extensional logic of hyperintensions, Transparent Intensional Logic validates all the rules of extensional logic, including existential quantification. Yet the rules become more exacting when applied to hyperintensional contexts. The rules apply to only some types of entities, because the existence of only some types of entities is entailed by a hyperpropositional attitude de dicto. The insight that the paper offers is how a particular logic of hyperintensions is capable of validating quantifying-in in a principled and rigorous manner. This result advances the community-wide understanding of how to logically manipulate hyperintensions.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

10102 - Applied mathematics

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2022

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

Linguistics and Philosophy

ISSN

0165-0157

e-ISSN

1573-0549

Svazek periodika

45

Číslo periodika v rámci svazku

5

Stát vydavatele periodika

DE - Spolková republika Německo

Počet stran výsledku

46

Strana od-do

"1119–1164"

Kód UT WoS článku

000773868900001

EID výsledku v databázi Scopus

2-s2.0-85127291588