Filters
Show more
Show more
Show less
Show less
Show less
Show less
Show more
Show more
More filters
Results
Explication and Deduction: from Simple to Ramified Theory of Types
In the first part of the paper, I argue that explicating systems which fall under simple theory of types are limited in explicating our conceptual scheme. Such limitation is avoided if one utilizes rather ramified type theo...
AA - Filosofie a náboženství
- 2013 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
The Paradox of Liar and Its Solutions
After historical recapitulation of already suggested solutions to liar paradox with showing its disadvantages I examine the solution proposed by Pavel Tichý. Tichý showed by means of his transparent intensional logic which incorporates (generalized) ...
AA - Filosofie a náboženství
- 2007 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Fitch?s Paradox of Knowability, Typing Knowledge and Ramified Theory of Types
It is already known that Fitch's knowability paradox can be solved by typing knowledge within ramified theory of types. One of the aims of this paper is to provide a greater defence of the approach against recently raised c...
AA - Filosofie a náboženství
- 2013 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
St. Anselm?s Ontological Arguments
Logic with its bi-dimensional ontology of entities organized in the ramified hierarchy of types.
AA - Filosofie a náboženství
- 2011 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Concepts as hyperintensional objects
The author defends the view that the notion of concept, if used in the logical (not cognitivist) tradition, should be explicated procedurally (i.e., not set-theoretically). He argues that Tichý's Transparent Intensional Logic is an apt tool for such ...
AA - Filosofie a náboženství
- 2014 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Axiom of Reducibility: Through the Looking Glass of Paradox and What Russell Found There
on the ramified hierarchy of types. Instead of the well-known criticisms by famous thinkersRussell?s ramified type theory did not allow generalising in mathematical practice, which is why Russell introduc...
AA - Filosofie a náboženství
- 2013 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Epistemological paradoxes and typing of knowledge
Fitch's knowability paradox and some other epistemic paradoxes can be solved by typing knowledge within a ramified theory of types. One of the aims of the talk for the particular application of typing knowledge to ...
AA - Filosofie a náboženství
- 2012 •
- O
Rok uplatnění
O - Ostatní výsledky
Fitch's Paradox of Knowability, Typing Knowledge and Ramified Theory of Types
It is already known that Fitch's paradox of knowability can be solved by typing knowledge. Distinguishing Russellian typing from - a bit derivative - Tarskian typing I attempt to defend the approach against recently raised ...
AA - Filosofie a náboženství
- 2013 •
- O
Rok uplatnění
O - Ostatní výsledky
Type Checking Algorithm for the TIL-Script Language
logical strata. The ramified type hierarchy does just that. The type of first order objects includes all objects that are not constructions. The type of second-order objects includes constructions of firs...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Transparent quantification into hyperintensional contexts
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...
AA - Filosofie a náboženství
- 2011 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 out of 101 357