FI:IA157 Logical Analysis of NL II - Course Information
IA157 Logical Analysis of Natural Language II
Faculty of InformaticsSpring 2012
- Extent and Intensity
- 2/0. 2 credit(s) (plus extra credits for completion). Type of Completion: zk (examination).
- Teacher(s)
- prof. PhDr. Pavel Materna, CSc. (lecturer)
- Guaranteed by
- prof. Ing. Václav Přenosil, CSc.
Department of Machine Learning and Data Processing – Faculty of Informatics
Contact Person: prof. PhDr. Pavel Materna, CSc.
Supplier department: Department of Machine Learning and Data Processing – Faculty of Informatics - Timetable
- Thu 12:00–13:50 G101
- Prerequisites
- Recommended: examination from Logical analysis of natural language I.
- 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
- there are 23 fields of study the course is directly associated with, display
- Course objectives
- At the end of the semester the student possesses following knowledge and facilities: (s)he knows basic facts from the history of the theories of concept; (s)he is able to defend the necessity of procedural conception of concepts; (s)he is able to write down the procedure (construction) expressed by the given expression; (s)he is able to make distinction between synonymy,equivalence and coreference of expressions; (s)he can create conceptual systems and definitions.
- Syllabus
- Recapitulation of basic notgions and principles of Transparent intensional logic.
- Some facts from the history of the theories of concept: Plato, Aristotle, Bolzano, Frege, Church
- Realism, nominalism, conceptualism.
- The meaning of an expression E = a concept of the denotation of E.
- Concept: a closed construction modulo alpha and eta reduction.
- Indexicals. Concept as the meaning of a non-indexical expression.
- Empty concepts
- Simple concepts.
- Conceptual systems.
- Literature
- Teaching methods
- lectures accompanied by class disscussions (questions, debates). Occasionally a presentation by a member of Faculty of Informatics at VŠB TU Ostrava. Sometimes defining of a task to be solved at home. Compulsory reading: (Electronic) materials ("Logická analýza přirozenéého jazyka II").
- Assessment methods
- This is a continuation of the course Logical analysis of natural language I. The course is closed by an examination. Its written part consists in writing down a concept expressed by the given expression, the oral part is a discussion on theoretical problems. During the lecture discussions are supported. During the course some supplementary literature can be recommended. The possibilikty of inviting some specialist is taken into account.
- Language of instruction
- Czech
- Further comments (probably available only in Czech)
- Study Materials
The course is taught annually. - Teacher's information
- http://www.phil.muni.cz/~materna; www.cs.vsb.cz/~duzi
- Enrolment Statistics (Spring 2012, recent)
- Permalink: https://is.muni.cz/course/fi/spring2012/IA157