Procedural Semantics of TIL

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F16%3A86097726" target="_blank" >RIV/61989100:27240/16:86097726 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

čeština

Original language name

Procedurální sémantika TIL

Original language description

V příspěvku se věnuji snad nejvýznamnějšímu a zároveň nejpřevratnějšímu rysu Tichého Transparentní intensionální logiky (TIL), a tou je procedurální sémantika. Ačkoliv ve druhé polovině minulého století již byla zřejmá potřeba explikovat význam hyperintensionálně a pokud možno strukturovaně, hyperintensionalita byla vymezena pouze negativně. Hyperintensionální je takový kontext, ve kterém selhává substituce logicky ekvivalentních výrazů a je nutné jemnější rozlišení významů než je pouhá ekvivalence. Tichý však nejen že definoval hyperintense pozitivně jakožto algoritmicky strukturované procedury, tj. TIL konstrukce, které přiřazujeme výrazům jako jejich kontextově invariantní významy, ale zároveň ukázal, že v rámci tohoto systému lze adekvátně řešit snad všechny problémy, na které tradiční PWS sémantika možných světů nestačí. V tomto článku demonstruji, že strukturované procedury jsou centrálním prvkem naší komunikace, a to napříč různými kulturami, obory i časem. Zároveň však nastíním problémy, které tato evidentně plausibilní koncepce významu sebou nese, a navrhnu jejich řešení.

Czech name

Procedurální sémantika TIL

Czech description

V příspěvku se věnuji snad nejvýznamnějšímu a zároveň nejpřevratnějšímu rysu Tichého Transparentní intensionální logiky (TIL), a tou je procedurální sémantika. Ačkoliv ve druhé polovině minulého století již byla zřejmá potřeba explikovat význam hyperintensionálně a pokud možno strukturovaně, hyperintensionalita byla vymezena pouze negativně. Hyperintensionální je takový kontext, ve kterém selhává substituce logicky ekvivalentních výrazů a je nutné jemnější rozlišení významů než je pouhá ekvivalence. Tichý však nejen že definoval hyperintense pozitivně jakožto algoritmicky strukturované procedury, tj. TIL konstrukce, které přiřazujeme výrazům jako jejich kontextově invariantní významy, ale zároveň ukázal, že v rámci tohoto systému lze adekvátně řešit snad všechny problémy, na které tradiční PWS sémantika možných světů nestačí. V tomto článku demonstruji, že strukturované procedury jsou centrálním prvkem naší komunikace, a to napříč různými kulturami, obory i časem. Zároveň však nastíním problémy, které tato evidentně plausibilní koncepce významu sebou nese, a navrhnu jejich řešení.

Type

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

CEP classification

IN - Informatics

OECD FORD branch

—

Project

<a href="/en/project/GA15-13277S" target="_blank" >GA15-13277S: Hyperintensional logic for natural language analysis</a><br>

Continuities

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

Publication year

2016

Confidentiality

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

Name of the periodical

Filosofický časopis

ISSN

0015-1831

e-ISSN

—

Volume of the periodical

64

Issue of the periodical within the volume

6

Country of publishing house

CZ - CZECH REPUBLIC

Number of pages

29

Pages from-to

901-929

UT code for WoS article

000392167600006

EID of the result in the Scopus database

2-s2.0-85011020054