I029 Logical Analysis of Natural Language I

Faculty of Informatics
Autumn 2001
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 11:00–12:50 B410
Prerequisites (in Czech)
P998 Bc-Exam
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
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
  • Problém významu. Syntaktika, sémantika, pragmatika. Frege: význam a smysl. Churchova formulace.
  • Kritika fregeovské sémantiky. Kritika Quineovy behavioristické sémantiky.
  • Teorie možných světů. Montague, Kripke.
  • Funkcionální teorie významu. Funkce jako předpis, funkce jako zobrazení.
  • Princip extenzionality, princip skladebnosti. Jednoduchá hierarchie typů. Atomické a složené typy 1.řádu. Intenze, extenze. Typová analýza výrazů. Pojem konstrukce. De re a de dicto. Parmenidův princip. Analýza tázacích vět. Pojem existence. Rozvětvená hierarchie typů. Analýza propozičních postojů.
Language of instruction
Czech
Further Comments
The course is taught annually.
Teacher's information
http://www.phil.muni.cz
The course is also listed under the following terms Autumn 1995, Autumn 1996, Autumn 1997, Autumn 1998, Autumn 1999, Autumn 2000.
  • Enrolment Statistics (recent)
  • Permalink: https://is.muni.cz/course/fi/autumn2001/I029