FI:I044 Logical Analysis of Natural La - Course Information
I044 Logical Analysis of Natural Language II
Faculty of InformaticsSpring 1996
- Extent and Intensity
- 0/0. 2 credit(s). Recommended Type of Completion: zk (examination). Other types of completion: k (colloquium), z (credit).
- Teacher(s)
- prof. PhDr. Pavel Materna, CSc. (lecturer)
- Guaranteed by
- Contact Person: prof. PhDr. Pavel Materna, CSc.
- Course Enrolment Limitations
- The course is also offered to the students of the fields other than those the course is directly associated with.
- fields of study / plans the course is directly associated with
- Informatics (programme FI, B-IN)
- Informatics (programme FI, M-IN)
- Upper Secondary School Teacher Training in Informatics (programme FI, M-IN)
- Upper Secondary School Teacher Training in Informatics (programme FI, M-SS)
- Information Technology (programme FI, B-IN)
- 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.
- Language of instruction
- Czech
- Enrolment Statistics (Spring 1996, recent)
- Permalink: https://is.muni.cz/course/fi/spring1996/I044