Filters
The Rule of Substitution and Hyperintensional Contexts
The correct Rule of Substitition usable also in hyperintensional contexts is formulated and tested in various contexts. I show and examine genuine and pseudo- hyperintensional contexts (in the latter ones,...
Philosophy, History and Philosophy of science and technology
- 2018 •
- O
Rok uplatnění
O - Ostatní výsledky
The Rule of Explicit Substitution into (Hyper)intensional Contexts
The correct Rule of Substitition usable also in hyperintensional contexts is formulated and tested in various contexts. I show and examine genuine and pseudo- hyperintensional contexts (in the latter ones,...
Philosophy, History and Philosophy of science and technology
- 2018 •
- O
Rok uplatnění
O - Ostatní výsledky
Transparent Quantification into Hyperintensional objectual attitudes
We demonstrate how to validly quantify into hyperintensional contexts involving of identicals also in hyperintensional attitude contexts. We specify and prove rules for quantifying into hyperintensional
IN - Informatika
- 2014 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Explicit Substitution in Hyperintensional Contexts
I propose the correct rule of substititivity of identicals usable also in hyperintensional contexts. The logical framework in use is Tichy's ramified partial type theory, which is very expressive. The proposal is thus rather general...
Philosophy, History and Philosophy of science and technology
- 2016 •
- O
Rok uplatnění
O - Ostatní výsledky
Transparent quantification into hyperintensional contexts
into hyperintensional contexts. Intensional Logic: TIL) that comes with a context-invariant semantics, a ramified type preserves transparency and compositionality for all contexts, does not turn attitude reports i...
AA - Filosofie a náboženství
- 2011 •
- D
Rok uplatnění
D - Stať ve sborníku
Hyperintensional Reasoning Based on Natural Language Knowledge Base
recognise three kinds of context, namely extensional, intensional and hyperintensional there is a common agreement that the analysis should be hyperintensional, most of the automatic, we introduce the system of reasoning b...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
How to Validly Quantify into Hyperintensional Nonpropositional Attitudes
are the following. First, it is always valid to quantify into hyperintensional attitude contexts and over hyperintensional entities. Second, factive attitudes (e.g. finding the siteIn this paper I demonstrate how to validl...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2015 •
- D
Rok uplatnění
D - Stať ve sborníku
Qualifying quantifying-in
to formally validate quantifying into a non-factive, hyperintensional attitude context.Quantifying-in is existential quantification into non-extensional contexts headed by a modal or attitudinal operator. The sense and sen...
IN - Informatika
- 2015 •
- C •
- Link
Rok uplatnění
C - Kapitola v odborné knize
Výsledek na webu
Hyperintensional, intensional and extensional context recognition
a hyperintensional context in which the mode of presentation of the denoted functionIn the paper we introduce three kinds of context in which one and the same) function. The three kinds of context are these. An ex...
IN - Informatika
- 2013 •
- D
Rok uplatnění
D - Stať ve sborníku
Towards an Extensional Calculus of Hyperintensions
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 ...
IN - Informatika
- 2012 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
- 1 - 10 out of 49 259