IV029 Logical Analysis of Natural Language I

Faculty of Informatics
Autumn 2002
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 12:00–13:50 B411
Prerequisites (in Czech)
! I029 Logical Analysis of Natural Language I
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ů.
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
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 2003, Autumn 2004, Autumn 2005, Autumn 2006, Autumn 2007, 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 2002, recent)
  • Permalink: https://is.muni.cz/course/fi/autumn2002/IV029