Use-mention Distinction in Transparent Intensional Logic

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

Bachelor's thesis

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

Language used: English

Date on which the thesis was submitted / produced: 5. 1. 2007

Thesis defence

• Date of defence: 7. 2. 2007
• Supervisor: prof. PhDr. Pavel Materna, CSc.

Masaryk University

Faculty of Informatics

Bachelor programme / field:
Informatics / Informatics