IV029 Logical Analysis of Natural Language I

Faculty of Informatics
Autumn 2009
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 10:00–11:50 A107
Prerequisites
Knowledge of elementary logic is desirable.
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
Course objectives
At the end of this course the student will be able to synthesize the meaning of the given expression in terms of the meanings of its components. (S)he will be able to write down (in not extremely complicated cases) the respective procedure (construction). (S)he will be able to defend anti-contextualism in terms of distinguishing between meaning and supposition. Basically, (s)he will adopt the procedural method of analysis.
Syllabus
  • The problem of meaning. Syntactics, Semantics, Pragmatics. Frege: meaning and sense. Critique of Freges semantics. Critique of Quines behavioristic semantics. Theories of possible worlds. Montague, Kripke,Tichý. The functional theory of meaning. Functions as prescriptions, functions as mappings. The principle of extensionality, compositionality. The simple hierarchy of types. Atomic and complex types of order 1. Intensiona, extensíons. Type-theoretical analysis of expressions. The notion of construction. The ramified hierarchy of types. De re, de dicto. Propoziční postoje, Pojmové postoje. Interrogative sentences. 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
  • MATERNA, Pavel. Logická analýza přirozeného jazyka. Elportál. Brno: Masarykova univerzita, 2007. ISSN 1802-128X. URL info
  • MATERNA, Pavel, Karel PALA and Jiří ZLATUŠKA. Logická analýza přirozeného jazyka. 1. vyd. Praha: Academia, 1989, 143 s. ISBN 80-200-0027-5. info
Teaching methods
lectures, class discussions, presentations by professionals in the sectors(if possible)
Assessment methods
This is the first part of a two-semesters lecture. At the end an oral colloquium or a partly written examination follows. The written part of the examination consists in an analysis of a given expression. During the lecture students are motivated to discuss. Some further literature can be recommended during the course. The possibility of presentation of a specialist is taken into account.
Language of instruction
Czech
Further comments (probably available only in Czech)
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 2007, Autumn 2008, 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 2009, recent)
  • Permalink: https://is.muni.cz/course/fi/autumn2009/IV029