Explikace druhů pravdivosti
| Title in English | Explications of Being Truth |
|---|---|
| Authors | |
| Year of publication | 2008 |
| Type | Article in Periodical |
| Magazine / Source | Sborník prací Filozofické fakulty brněnské univerzity |
| MU Faculty or unit | |
| Citation | |
| Field | Philosophy and religion |
| Keywords | truth; truth-predicate; vicious circle principle; ramified hierarchy of types; transparent intensional logic |
| Description | Three kinds of truth-predicate are explicated by means of Pavel Tichý's transparent intensional logic. The first applies to propositions; the second applies to so-called constructions (some of them construct propositions); the third applies to expressions (usually expressing constructions). Since mappings may be partial and constructions may be abortive, a partial and a total variant correspond to each kind. To the second and the third kind it corresponds also a partial-total variant (which is the most natural one), and a partial-partial variant too (for the last kind they exist two combinations of the two preceding versions). The truth of expressions is language-relative. |
| Related projects: |