Use-mention Distinction in Transparent Intensional Logic

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.