IA157 Logical Analysis of Natural Language

Faculty of Informatics
Spring 2005
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)
! I044 Logical Analysis of Natural Language II
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
Transparentní intenzionální logika. Obecná charakteristika. Jednoduchá teorie typů. Epistémická báze. Extenze a intenze. Extenzionální teorie intenzí. Pojem konstrukce. Porovnání s konstruktivismem. Modifikace rozvětvené teorie typů.
Teorie pojmu. Výraz - pojem - objekt. Church: význam výrazu = pojem objektu. Quasi-identické uzavřené konstrukce. Pojem. Pojmové systémy.
Řešení známých sémantických problémů: Existence. Intenzionální kontexty. Kvantifikace do intenzionálních kontextů. Paradox analýzy, paradox vševědoucnosti. Tvrzení identit. Analýza tázacích vět.
Syllabus
  • Transparent intensional logic, a general characteristics. A simple theory of types. Extensions, intensions. An extensionalist theory of intensions. The notion of construction. A comparison with constructivism. A modification of a ramified theory of types.
  • A theory of concepts. Meaning - concept - object. Church: the sense of an expression = a concept of the boject (denoted). Quasi-identical closed construction. Concept. Conceptual systems.
  • Solutions of some well-known semantic problems: Existence, intentional contexts. Quantification into intentional contexts. The paradoxes of analysis and of omniscience. Claims of identity. An analysis of interrogative sentences.
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. Svět pojmů a logika. 1. vyd. Praha: Filosofia, 1995, 136 s. ISBN 80-7007-078-1. info
Assessment methods (in Czech)
Navazuje na Logickou analyzu prirozeneho jazyka I. Na konci semestru zkouska vychazejici z prednasky a doporucene literatury. Zkouska se sklada z pisemneho vyreseni analyzy neprilis sloziteho vyrazu cestiny a z pohovoru o teoretickych zakladech.
Language of instruction
Czech
Further Comments
The course is taught annually.
Teacher's information
http://www.phil.muni.cz/~materna; www.cs.vsb.cz/~duzi
The course is also listed under the following terms Spring 2003, Spring 2004, Spring 2006, Spring 2007, Spring 2008, Spring 2009, Spring 2010, Spring 2011, Spring 2012, Spring 2013, Spring 2014, Spring 2015.
  • Enrolment Statistics (Spring 2005, recent)
  • Permalink: https://is.muni.cz/course/fi/spring2005/IA157