Transparent quantification into hyperintensional contexts

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F11%3A00372736" target="_blank" >RIV/67985955:_____/11:00372736 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/61989100:27240/11:86079015

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Transparent quantification into hyperintensional contexts

Popis výsledku v původním jazyce

We describe an extensional logic of hyperintensions (Tichy's Transparent Intensional Logic: TIL) that comes with a context-invariant semantics, a ramified type hierarchy, partial functions, and hyperintensions that may fail to yield an object. TIL preserves transparency and compositionality for all contexts, does not turn attitude reports into oratio oblique, and so validates quantifying into hyperintensional contexts. Section 2 summarizes the relevant semantic foundations. Section 3 sets out the relevant logical foundations. Section 4 proves a general rule of quantifying into hyperintensional contexts.

Název v anglickém jazyce

Transparent quantification into hyperintensional contexts

Popis výsledku anglicky

We describe an extensional logic of hyperintensions (Tichy's Transparent Intensional Logic: TIL) that comes with a context-invariant semantics, a ramified type hierarchy, partial functions, and hyperintensions that may fail to yield an object. TIL preserves transparency and compositionality for all contexts, does not turn attitude reports into oratio oblique, and so validates quantifying into hyperintensional contexts. Section 2 summarizes the relevant semantic foundations. Section 3 sets out the relevant logical foundations. Section 4 proves a general rule of quantifying into hyperintensional contexts.

Druh

D - Stať ve sborníku

CEP obor

AA - Filosofie a náboženství

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

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2011

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 statě ve sborníku

The Logica Yearbook 2010

ISBN

978-1-84890-038-7

ISSN

—

e-ISSN

—

Počet stran výsledku

17

Strana od-do

81-97

Název nakladatele

College Publications

Místo vydání

London

Místo konání akce

Hejnice

Datum konání akce

21. 6. 2010

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—