Use-mention Distinction in Transparent Intensional Logic – Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.
Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.
Bachelor's thesis
Use-mention Distinction in Transparent Intensional Logic
Use-mention Distinction in Transparent Intensional Logic
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 …more
Language used: English
Date on which the thesis was submitted / produced: 5. 1. 2007
Identifier:
https://is.muni.cz/th/ygeuu/
Thesis defence
- Date of defence: 7. 2. 2007
- Supervisor: prof. PhDr. Pavel Materna, CSc.
Citation record
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsBachelor programme / field:
Informatics / Informatics
Theses on a related topic
-
Investigations into Transparent Intensional Logic: A Rule-based Approach
Ivo Pezlar -
Montaguova logika ve srovnání s Transparentní intenzionální logikou
Daniel Balík -
Dotazování s časovými informacemi nad znalostmi v transparentní intenzionální logice
Andrej Gardoň -
Fra skam til stolthet. Kamp for menneskerettigheter på den norske LHBT fronten
Klára Tučková -
Fra monster til menneske. Troll i norsk litteratur på 1800-tallet.
Dmitrii Khalikov -
Logická analýza angličtiny pomocí TIL
Terézia Šulganová -
Tsjekkiske reiseskildringer om reiser til Norge publisert i det 20. århundre
Tereza Bystroňová -
Utvikling av kvinnerollen i det norske samfunnet mellom 1850 og 1913. Veien fra avhengighet til stemmerett.
Katarína Ružičková