IA157 Logical Analysis of Natural Language II

Faculty of Informatics
Spring 2010
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.
Timetable
Thu 12:00–13:50 B011
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 22 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
  • MATERNA, Pavel. Svět pojmů a logika. 1. vyd. Praha: Filosofia, 1995, 136 s. ISBN 80-7007-078-1. info
  • MATERNA, Pavel. Logická analýza přirozeného jazyka II. Elportál. Brno: Masarykova univerzita, 2007. ISSN 1802-128X. URL info
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
The course is also listed under the following terms Spring 2003, Spring 2004, Spring 2005, Spring 2006, Spring 2007, Spring 2008, Spring 2009, Spring 2011, Spring 2012, Spring 2013, Spring 2014, Spring 2015.
  • Enrolment Statistics (Spring 2010, recent)
  • Permalink: https://is.muni.cz/course/fi/spring2010/IA157