Towards an Extensional Calculus of Hyperintensions

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F12%3A86082202" target="_blank" >RIV/61989100:27240/12:86082202 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Towards an Extensional Calculus of Hyperintensions
Original language description
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 received view is that an intensional (let alone hyperintensional) context is one that fails to validate transparency, compositionality, and quantifying-in; and vice versa, if a context fails to validate these extensionalprinciples, then the context is "opaque", that is non-extensional. We steer clear of this circle by defining extensionality for hyperintensions presenting functions, functions (including possible-world intensions), and functional values. The main features of our logic are that the senses of expressions remain invariant across contexts and that our ramified type theory enables quantification over any logical objects of any order into any context. The syntax of TIL is the typed lambda calc
Czech name
—
Czech description
—

Type
J<sub>x</sub> - 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ů

Similar results(10)