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
Terminated in academic year 2024/2025
Transparent Intensional Logic
| Type of study | Doctoral |
|---|---|
| Language of instruction | Czech |
| Code | 460-6014/01 |
| 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
- 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
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.
Tichý, P.: The Foundations of Frege's Logic. De Gruyter 1988.