J 2000

Tichý's Five modes of forming constructions

RACLAVSKÝ, Jiří

Základní údaje

Originální název

Tichý's Five modes of forming constructions

Název česky

Tichého Five modes of forming constructions

Autoři

RACLAVSKÝ, Jiří (203 Česká republika, garant)

Vydání

Sborník prací Filozofické fakulty brněnské univerzity, Brno, MU, 2000, 0231-7664

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

60300 6.3 Philosophy, Ethics and Religion

Stát vydavatele

Česká republika

Utajení

není předmětem státního či obchodního tajemství

Kód RIV

RIV/00216224:14210/00:00011279

Organizační jednotka

Filozofická fakulta

Klíčová slova anglicky

constructions; procedures; meaning; sense; Tichý; logical analysis of natural language

Příznaky

Recenzováno
Změněno: 25. 6. 2009 12:57, prof. PhDr. BcA. Jiří Raclavský, Ph.D.

Anotace

V originále

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 TIL zá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í.

Česky

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 TIL zá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í.