FI:IV029 Logical Analysis of Natural La - Course Information

IV029 Logical Analysis of Natural Language I

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 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

• Applied Informatics (programme FI, B-AP)
• Applied Informatics (programme FI, N-AP)
• Informatics with another discipline (programme FI, B-BI)
• Informatics with another discipline (programme FI, B-FY)
• Informatics with another discipline (programme FI, B-GE)
• Informatics with another discipline (programme FI, B-GK)
• Informatics with another discipline (programme FI, B-CH)
• Informatics with another discipline (programme FI, B-IO)
• Informatics with another discipline (programme FI, B-MA)
• Informatics with another discipline (programme FI, B-TV)
• Informatics (programme FI, B-IN)
• Informatics (programme FI, D-IN)
• Informatics (programme FI, M-IN)
• Informatics (programme FI, N-IN)
• Upper Secondary School Teacher Training in Informatics (programme FI, M-SS)
• Upper Secondary School Teacher Training in Informatics (programme FI, N-SS)

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

Assessment methods (in Czech)

Prvni cast dvousemestrove prednasky. Po prvnim semestru ustni kolokvium na zaklade prednasky a doporucene literatury.

Language of instruction

Czech

Further Comments

The course is taught annually.

Teacher's information

http://www.phil.muni.cz

• Enrolment Statistics (Autumn 2003, recent)
  
• Permalink: https://is.muni.cz/course/fi/autumn2003/IV029