Tichého Five modes of forming constructions

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F00%3A00011279" target="_blank" >RIV/00216224:14210/00:00011279 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Tichý's Five modes of forming constructions

Popis výsledku v původním jazyce

The topic of the article is Tichýs Five modes of Forming Constructions (from his monography Foundations of Freges logic) which define sc. constructions. I show and discuss how constructions are integrated in his transparent intensional logic intenzionální logice (TIL). Constructions are explications of Freges sense (Sinn) but for Tichý are meanings of language expressions. Constructions (as modified lambda terms) construct set-theoritical entities like extensions and intensions, however they themselvesare not set-theoretical entities. This fixes the fact that for any set-theoretical mapping there is n different procedures which construct this mapping. So constructions can serve as meanings that are structured. This enables better logical analysis of natural language than any usual intensional logic.

Název v anglickém jazyce

Tichý's Five modes of forming constructions

Popis výsledku anglicky

The topic of the article is Tichýs Five modes of Forming Constructions (from his monography Foundations of Freges logic) which define sc. constructions. I show and discuss how constructions are integrated in his transparent intensional logic intenzionální logice (TIL). Constructions are explications of Freges sense (Sinn) but for Tichý are meanings of language expressions. Constructions (as modified lambda terms) construct set-theoritical entities like extensions and intensions, however they themselvesare not set-theoretical entities. This fixes the fact that for any set-theoretical mapping there is n different procedures which construct this mapping. So constructions can serve as meanings that are structured. This enables better logical analysis of natural language than any usual intensional logic.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

AA - Filosofie a náboženství

OECD FORD obor

—

Projekt

<a href="/cs/project/GA401%2F97%2F0157" target="_blank" >GA401/97/0157: Rekonstrukce filozofické logiky</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2000

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ů

Název periodika

Sborník prací Filozofické fakulty brněnské univerzity

ISSN

0231-7664

e-ISSN

—

Svazek periodika

—

Číslo periodika v rámci svazku

1

Stát vydavatele periodika

CZ - Česká republika

Počet stran výsledku

7

Strana od-do

75

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—