FI:IA157 Logical Analysis of NL - Course Information
IA157 Logical Analysis of Natural Language
Faculty of InformaticsSpring 2003
- Extent and Intensity
- 2/0. 2 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Other types of completion: k (colloquium), z (credit).
- Teacher(s)
- prof. PhDr. Pavel Materna, CSc. (lecturer)
- Guaranteed by
- prof. PhDr. Karel Pala, CSc.
Department of Machine Learning and Data Processing – Faculty of Informatics
Contact Person: prof. PhDr. Pavel Materna, CSc. - Timetable
- Thu 10:00–11:50 C511
- Course Enrolment Limitations
- The course is only offered to the students of the study fields the course is directly associated with.
- fields of study / plans the course is directly associated with
- there are 7 fields of study the course is directly associated with, display
- Course objectives (in Czech)
- Výklad navazuje na předmět Logická analýza přirozeného jazyka I a zaměřuje se především na aplikaci transparentní intenzionální logiky.
- Syllabus
- Transparent intensional logic, a general characteristics. A simple theory of types. Extensions, intensions. An extensionalist theory of intensions. The notion of construction. A comparison with constructivism. A modification of a ramified theory of types.
- A theory of concepts. Meaning - concept - object. Church: the sense of an expression = a concept of the boject (denoted). Quasi-identical closed construction. Concept. Conceptual systems.
- Solutions of some well-known semantic problems: Existence, intentional contexts. Quantification into intentional contexts. The paradoxes of analysis and of omniscience. Claims of identity. An analysis of interrogative sentences.
- Literature
- Language of instruction
- Czech
- Further Comments
- The course is taught annually.
- Enrolment Statistics (Spring 2003, recent)
- Permalink: https://is.muni.cz/course/fi/spring2003/IA157