Transparent Intensional Logic

Type of study	Doctoral
Language of instruction	English
Code	460-6014/02
Abbreviation	TIL
Course title	Transparent Intensional Logic
Credits	10
Coordinating department	Department of Computer Science
Course coordinator	prof. RNDr. Marie Duží, CSc.

Subject syllabus

- TIL Semantic schema, procedural semantics
- Basic definitions; ramified theory of types, constructions
- Method of analysis, Parmenides principle
- Quantifiers (general and existential), restricted quantifiers, singularizers
- Empirical and analytical expressions
- Partiality, compositionality, requisites/prerequisites
- Inference rules, Beta-conversion
- Three kinds of context, substitution method
- Procedural isomorphism
- Logic of attitudes
- Logic of intensions, intensional essentialism
- Theory of concepts, modalities

Literature

Duží, M., Jespersen B., Materna, P. (2010): Procedural Semantics for Hyper-intensional Logic. Sprinter.
Duží, M., Materna P.: Constructions. http://til.phil.muni.cz/text/constructions_duzi_materna.pdf

Advised literature

Materna P.: Concepts and Objects. Acta Philosophica Fennica, Vol. 63, Helsinki 1998.
Tichý, P.: The Foundations of Frege's Logic. De Gruyter 1988.

back to search page