Tichý's Five modes of forming constructions

Result code in 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>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Tichý's Five modes of forming constructions

Original language description

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.

Czech name

Tichého Five modes of forming constructions

Czech description

Stať Tichého Pět způsobů formování konstrukcí podává, vysvětluje a komentuje Tichého definice z [Tichý 1988]. Konstrukce je v (Tichým vybudované) Transparentní intenzionální logice (TIL) explikací fregovského smyslu, toho, díky čemu výrazům rozumíme. Konstrukce konstruují intenze (resp. extenze), jsou to přitom nemnožinové entity. Tímto je zachycen fakt, že např. pro jednu funkci existuje n funkčních předpisů (konstrukce jsou modifikací lambda termů). Identifikací (a rozčleněním druhů) konstrukcí se TILzásadně odlišuje od jiných intenzionálních logik. Konstrukce nám umožňují lépe logicky analyzovat věty, a tudíž lépe podchytit vyplývání.

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

CEP classification

AA - Philosophy and religion

OECD FORD branch

—

Project

<a href="/en/project/GA401%2F97%2F0157" target="_blank" >GA401/97/0157: A reconstruction of the philosophical logic</a><br>

Continuities

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

Publication year

2000

Confidentiality

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

Name of the periodical

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

ISSN

0231-7664

e-ISSN

—

Volume of the periodical

—

Issue of the periodical within the volume

1

Country of publishing house

CZ - CZECH REPUBLIC

Number of pages

7

Pages from-to

75

UT code for WoS article

—

EID of the result in the Scopus database

—