IA157 Logical Analysis of Natural Language

Faculty of Informatics
Spring 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
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
  • TICHÝ, Pavel. O čem mluvíme? :vybrané stati k logice a sémantice. Edited by Jaroslav Peregrin. Vyd. 1. Praha: Filosofia, 1996, 161 s. ISBN 80-7007-087-0. info
  • MATERNA, Pavel. Svět pojmů a logika. 1. vyd. Praha: Filosofia, 1995, 136 s. ISBN 80-7007-078-1. info
Language of instruction
Czech
Further Comments
The course is taught annually.
The course is also listed under the following terms Spring 2004, Spring 2005, Spring 2006, Spring 2007, Spring 2008, Spring 2009, Spring 2010, Spring 2011, Spring 2012, Spring 2013, Spring 2014, Spring 2015.
  • Enrolment Statistics (Spring 2003, recent)
  • Permalink: https://is.muni.cz/course/fi/spring2003/IA157