Investigations into Transparent Intensional Logic: A Rule-based Approach

Mgr. Ivo Pezlar, Ph.D.

Doctoral thesis

Abstract:

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).

Abstract:

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).

Keywords

Transparent Intensional Logic, construction rules, formation rules, execution rules, logical analysis of natural language, Transparentní intenzionální logika, konstrukční pravidla, formační pravidla, exekuční pravidla, logická analýza přirozeného jazyka

Language used: English

Date on which the thesis was submitted / produced: 2. 2. 2016

Thesis defence

• Date of defence: 23. 6. 2016
• Supervisor: prof. PhDr. BcA. Jiří Raclavský, Ph.D.
• Reader: prof. PhDr. František Gahér, CSc., PhDr. Michal Peliš, Ph.D.

Masaryk University

Faculty of Arts

Doctoral programme / field:
Philosophy (4-years) / Philosophy