On Partiality and Tichý's Transparent Intensional Logic
| Authors | |
|---|---|
| Year of publication | 2010 |
| Type | Article in Periodical |
| Magazine / Source | Hungarian Philosophical Review |
| MU Faculty or unit | |
| Citation | |
| Field | Philosophy and religion |
| Keywords | partiality; truth-value gaps; transparent intensional logic |
| Description | The paper focuses on treating of partiality within Tichý's logical system. Tichý's logic is two valued and type-theoretic. Tichý's simple theory of types (and the deduction system designed for it) accepts both total and partial functions. Tichý's late framework is explicitly ramified. So-called constructions (roughly: algorithms) construct, e.g., values of functions at arguments; in some cases, however, they do not construct anything at all. This special partiality phenomenon is discussed in the second part of the paper. |