Extensional logic of hyperintensions

Kód výsledku v IS VaVaI

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

Výsledek na webu

<a href="http://dx.doi.org/10.1007/978-3-642-28279-9_19" target="_blank" >http://dx.doi.org/10.1007/978-3-642-28279-9_19</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-642-28279-9_19" target="_blank" >10.1007/978-3-642-28279-9_19</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Extensional logic of hyperintensions

Popis výsledku v původním jazyce

In this paper I describe an extensional logic of hyperintensions, viz. Tichý's Transparent Intensional Logic (TIL). TIL preserves transparency and compositionality in all kinds of context, and validates quantifying into all contexts, including intensional and hyperintensional ones. The availability of an extensional logic of hyperintensions defies the received view that an intensional (let alone hyperintensional) logic is one that fails to validate transparency, compositionality, and quantifying-in. Themain features of our logic are that the senses and denotations of (non-indexical) terms and expressions remain invariant across contexts and that our ramified type theory enables quantification over any logical objects of any order. The syntax of TIL isthe typed lambda calculus; its semantics is based on a procedural redefinition of, inter alia, functional abstraction and application. The only two non-standard features are a hyperintension (called Trivialization) that presents other hy

Název v anglickém jazyce

Extensional logic of hyperintensions

Popis výsledku anglicky

In this paper I describe an extensional logic of hyperintensions, viz. Tichý's Transparent Intensional Logic (TIL). TIL preserves transparency and compositionality in all kinds of context, and validates quantifying into all contexts, including intensional and hyperintensional ones. The availability of an extensional logic of hyperintensions defies the received view that an intensional (let alone hyperintensional) logic is one that fails to validate transparency, compositionality, and quantifying-in. Themain features of our logic are that the senses and denotations of (non-indexical) terms and expressions remain invariant across contexts and that our ramified type theory enables quantification over any logical objects of any order. The syntax of TIL isthe typed lambda calculus; its semantics is based on a procedural redefinition of, inter alia, functional abstraction and application. The only two non-standard features are a hyperintension (called Trivialization) that presents other hy

Druh

C - Kapitola v odborné knize

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

—

Návaznosti

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 knihy nebo sborníku

Lecture Notes in Computer Science. Volume 7260

ISBN

978-3-642-28278-2

Počet stran výsledku

33

Strana od-do

268-290

Počet stran knihy

336

Název nakladatele

Springer

Místo vydání

Berlin

Kód UT WoS kapitoly

—