Truth : An Explication in Transparent Intensional Logic

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F12%3A00060153" target="_blank" >RIV/00216224:14210/12:00060153 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/00216224:14210/15:00085088

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Truth : An Explication in Transparent Intensional Logic

Popis výsledku v původním jazyce

I suggest an explication of the notion "true" within the extensive logical framework of Pavel Tichý's Transparent intensional logic (TIL). The notion splits into three basic kinds accordingly to the range of their applicability, viz. to: a. propositions(which can be denotata of expressions), b. (so-called) constructions of propositions (which can be meanings of expressions-sentences), c. expressions. (Constructions are abstract structured entities akin to algorithms. They construct objects, e.g. propositions. Note the hyperintensional individuation of meanings in TIL. Propositions can be construed as facts.) Both notions of kind a. and b. are language independent. Truth of propositions (i.e. of classes of world-time couples) is rather transparent; truth of constructions is defined in terms of it. The notions of kind c. are relative to language; the relativity is either explicit, or implicit.

Název v anglickém jazyce

Truth : An Explication in Transparent Intensional Logic

Popis výsledku anglicky

I suggest an explication of the notion "true" within the extensive logical framework of Pavel Tichý's Transparent intensional logic (TIL). The notion splits into three basic kinds accordingly to the range of their applicability, viz. to: a. propositions(which can be denotata of expressions), b. (so-called) constructions of propositions (which can be meanings of expressions-sentences), c. expressions. (Constructions are abstract structured entities akin to algorithms. They construct objects, e.g. propositions. Note the hyperintensional individuation of meanings in TIL. Propositions can be construed as facts.) Both notions of kind a. and b. are language independent. Truth of propositions (i.e. of classes of world-time couples) is rather transparent; truth of constructions is defined in terms of it. The notions of kind c. are relative to language; the relativity is either explicit, or implicit.

Druh

O - Ostatní výsledky

CEP obor

AA - Filosofie a náboženství

OECD FORD obor

—

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2015

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů