Transparent quantification into hyperpropositional contexts de re

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F12%3A86079014" target="_blank" >RIV/61989100:27240/12:86079014 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Transparent quantification into hyperpropositional contexts de re

Popis výsledku v původním jazyce

In this paper we provide two logical rules for transparent quantification into hyperpropositional contexts de re. Issues unique to the de re variant include partiality and existential presupposition, substitutivity of co-referential (as opposed to co-denoting or synonymous) terms, anaphora, and active vs. passive voice. The validity of quantifying-in presupposes an extensional logic of hyperintensions preserving transparency and compositionality in hyperintensional contexts. This requires raising the bar for what qualifies as co-denotation or equivalence in extensional contexts. Our logic is Tichý?s Transparent Intensional Logic. The syntax of TIL is the typed lambda calculus; its highly expressive semantics is based on a procedural redefinition of, inter alia, functional abstraction and application. The two non-standard features we need are a hyperintension (called Trivialization) that presents other hyperintensions and a four-place substitution function (called Sub) defined over hype

Název v anglickém jazyce

Transparent quantification into hyperpropositional contexts de re

Popis výsledku anglicky

In this paper we provide two logical rules for transparent quantification into hyperpropositional contexts de re. Issues unique to the de re variant include partiality and existential presupposition, substitutivity of co-referential (as opposed to co-denoting or synonymous) terms, anaphora, and active vs. passive voice. The validity of quantifying-in presupposes an extensional logic of hyperintensions preserving transparency and compositionality in hyperintensional contexts. This requires raising the bar for what qualifies as co-denotation or equivalence in extensional contexts. Our logic is Tichý?s Transparent Intensional Logic. The syntax of TIL is the typed lambda calculus; its highly expressive semantics is based on a procedural redefinition of, inter alia, functional abstraction and application. The two non-standard features we need are a hyperintension (called Trivialization) that presents other hyperintensions and a four-place substitution function (called Sub) defined over hype

Druh

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

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/GAP401%2F10%2F0792" target="_blank" >GAP401/10/0792: Temporální aspekty znalostí a informací</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2012

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

Logique et analyse

ISSN

0024-5836

e-ISSN

—

Svazek periodika

55

Číslo periodika v rámci svazku

220

Stát vydavatele periodika

BE - Belgické království

Počet stran výsledku

42

Strana od-do

513-554

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—