Use-mention Distinction in Transparent Intensional Logic

Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.

Bakalářská práce

Abstract:

This thesis investigates the consequences of use--mention distinction in the logical analysis of natural language. This is done in the framework of Transparent Intensional Logic (TIL). After presenting the basics of TIL and the use--mention distinction, we investigate TIL's behaviour as a functional programming language. We propose modifications that allow TIL to keep the properties desired for any functional calculus and logic even in the case of partial functions. We inspect related problems as different contexts handling (de re, de dicto, hyper-intensions), anaphora, substitution, relation between different analyses and the inference, together with the suggested implementation of the proposed solutions.

Keywords

Transparent Intensional Logic, TIL, use--mention distinction, logical analysis, $\lambda$-calculus, functional programming, partial functions, intensions, de dicto/de re, anaphora, inference

Jazyk práce: angličtina

Datum vytvoření / odevzdání či podání práce: 5. 1. 2007

Obhajoba závěrečné práce

• Obhajoba proběhla 7. 2. 2007
• Vedoucí: prof. PhDr. Pavel Materna, CSc.

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Informatika / Informatika