Transparent quantification into hyperpropositional contexts de re

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

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Transparent quantification into hyperpropositional contexts de re

Original language description

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

Czech name

—

Czech description

—

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

CEP classification

IN - Informatics

OECD FORD branch

—

Project

<a href="/en/project/GAP401%2F10%2F0792" target="_blank" >GAP401/10/0792: Temporal aspects of knowledge and information</a><br>

Continuities

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

Publication year

2012

Confidentiality

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

Name of the periodical

Logique et analyse

ISSN

0024-5836

e-ISSN

—

Volume of the periodical

55

Issue of the periodical within the volume

220

Country of publishing house

BE - BELGIUM

Number of pages

42

Pages from-to

513-554

UT code for WoS article

—

EID of the result in the Scopus database

—