Transparent quantification into hyperintensional contexts
The result's identifiers
Result code in 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>
Alternative codes found
RIV/61989100:27240/11:86079015
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Transparent quantification into hyperintensional contexts
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
AA - Philosophy and religion
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GAP401%2F10%2F0792" target="_blank" >GAP401/10/0792: Temporal aspects of knowledge and information</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2011
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
The Logica Yearbook 2010
ISBN
978-1-84890-038-7
ISSN
—
e-ISSN
—
Number of pages
17
Pages from-to
81-97
Publisher name
College Publications
Place of publication
London
Event location
Hejnice
Event date
Jun 21, 2010
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—