Investigations into transparent intensional logic:a Rule-based approach /
Mým prvotním cílem bylo vytvoření deduktivního systému (tj. formulování odvozovacích pravidel) pro Transparentní intenzionální logiku (krátce TIL) tak, jak ji Pavel Tichý prezentoval ve své klíčové práci The Foundatations of Frege’s Logic (krátce FFL) z roku 1988. Při této snaze jsem ovšem narazil n...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Typ dokumentu: | VŠ práce nebo rukopis |
| Jazyk: | Angličtina |
| Vydáno: |
2016
|
| Témata: | |
| On-line přístup: | http://is.muni.cz/th/261588/ff_d/ |
| Shrnutí: | Mým prvotním cílem bylo vytvoření deduktivního systému (tj. formulování odvozovacích pravidel) pro Transparentní intenzionální logiku (krátce TIL) tak, jak ji Pavel Tichý prezentoval ve své klíčové práci The Foundatations of Frege’s Logic (krátce FFL) z roku 1988. Při této snaze jsem ovšem narazil na řadu překážek, které vycházejí ze samotného jádra TIL. Konkrétněji, způsob, jakým je TIL formalizována je poněkud odtržena od způsobu, jakým je využívána v praxi a spousta informací je pouze implicitně předpokládána. To vede ke značnému posílení TIL jako nástroje pro analýzu přirozeného jazyka, ovšem na úkor jejích deduktivních schopností. Tato omezení jsem se pokusil překonat poskytnutím alternativní formalizace TIL, která se snaží držet se co nejblíže způsobu, jakým je s TIL nakládáno při analýze nejen přirozeného jazyka. Tento záměr nakonec vedl k vytvoření nového systému tzv. explicitní TIL (krátce eTIL) My initial goal was to develop deductive system (i.e., set of inference rules) for Transparent Intensional Logic (TIL for short) as presented in Tichý‘s seminal work The Foundations of Frege's Logic (FFL for short). In doing so, however, I hit upon several obstacles stemming from the very core of TIL itself. Most importantly, the formalization of TIL is rather removed from the way that it is used in practice and lot of things are left implicit. Considerable advantages in regard to analysis of natural language are achieved in return, however, at the cost of its deductive capabilities. I tried to overcome these hindrances by providing alternative, more explicit formalization that would keep as close as possible to the actual reasoning done in TIL. This eventually led to a development of whole new calculus called eTIL (for explicit TIL) |
|---|---|
| Popis jednotky: | Vedoucí práce: Jiří Raclavský |
| Fyzický popis: | 115 listů |