IV029 Logical Analysis of Natural Language I

Faculty of Informatics
Autumn 2007
Extent and Intensity
2/0. 2 credit(s) (plus extra credits for completion). Recommended Type of Completion: k (colloquium). Other types of completion: zk (examination), z (credit).
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
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 38 fields of study the course is directly associated with, display
Course objectives
Basic notions of semantics of natural language. Transparent intensional logic (TIL) is exposed. It is shown that TIL is more expressive than other comparable systems, in particular Montague's logic. A simple and a ramified hierarchy of types appropriate for analysis of natural language is defined, as well as the key notion of construction (inspired by lambda claculus). Some semantic problems are solved.
Syllabus
  • The problem of meaning. Syntactics, Semantics, Pragmatics. Frege: meaning and sense. Church§s formulation. Critique of Freges semantics. Critique of Quines behavioristic semantics. Theories of possible worlds. Montague, Kripke. The functional theory of meaning. Functions as prescriptions, functions as mappings. The principle of extensionality, of compositionality. The simple hierarchy of types. Atomic and complex types of order 1. Intensions, extensions. Type-theoretical analysis of expressions. The notion of construction. De re and de dicto. Parmenides Principle. Analysis of interrogative sentences. The ramified hierarchy of types. Analysis of propositional attitudes. Notional attitudes.
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
Assessment methods (in Czech)
Prvni cast dvousemestrove prednasky. Po prvnim semestru ustni kolokvium na zaklade prednasky a doporucene literatury.
Language of instruction
Czech
Follow-Up Courses
Further Comments
The course is taught annually.
Teacher's information
http://www.phil.muni.cz/~materna
The course is also listed under the following terms Autumn 2002, Autumn 2003, Autumn 2004, Autumn 2005, Autumn 2006, Autumn 2008, Autumn 2009, Autumn 2010, Autumn 2011, Autumn 2012, Autumn 2013, Autumn 2014, Autumn 2015, Autumn 2016, Autumn 2017, Autumn 2018, Autumn 2019, Autumn 2020, Autumn 2021, Autumn 2022.
  • Enrolment Statistics (Autumn 2007, recent)
  • Permalink: https://is.muni.cz/course/fi/autumn2007/IV029