Transparent quantification into hyperpropositional attitudes de dicto

Result code in 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>

Result on the web

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

Result language

angličtina

Original language name

Transparent quantification into hyperpropositional attitudes de dicto

Original language description

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.

Czech name

—

Czech description

—

Type

J_imp - Article in a specialist periodical, which is included in the Web of Science database

CEP classification

—

OECD FORD branch

10102 - Applied mathematics

Project

—

Continuities

S - Specificky vyzkum na vysokych skolach

Publication year

2022

Confidentiality

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

Name of the periodical

Linguistics and Philosophy

ISSN

0165-0157

e-ISSN

1573-0549

Volume of the periodical

45

Issue of the periodical within the volume

5

Country of publishing house

DE - GERMANY

Number of pages

46

Pages from-to

"1119–1164"

UT code for WoS article

000773868900001

EID of the result in the Scopus database

2-s2.0-85127291588