IA157 Logical Analysis of Natural Language II

Faculty of Informatics
Spring 2015
Extent and Intensity
2/0. 2 credit(s) (plus extra credits for completion). Type of Completion: zk (examination).
Teacher(s)
prof. PhDr. Pavel Materna, CSc. (lecturer)
Guaranteed by
doc. RNDr. Aleš Horák, Ph.D.
Department of Machine Learning and Data Processing – Faculty of Informatics
Contact Person: prof. PhDr. Pavel Materna, CSc.
Supplier department: Department of Machine Learning and Data Processing – Faculty of Informatics
Timetable
Thu 12:00–13:50 B411
Prerequisites
Recommended: examination from 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
there are 23 fields of study the course is directly associated with, display
Course objectives
At the end of the semester the student possesses following knowledge and facilities: (s)he knows basic facts from the history of the theories of concept; (s)he is able to defend the necessity of procedural conception of concepts; (s)he is able to write down the procedure (construction) expressed by the given expression; (s)he is able to make distinction between synonymy,equivalence and coreference of expressions; (s)he can create conceptual systems and definitions.
Syllabus
  • Recapitulation of basic notgions and principles of Transparent intensional logic.
  • Some facts from the history of the theories of concept: Plato, Aristotle, Bolzano, Frege, Church
  • Realism, nominalism, conceptualism.
  • The meaning of an expression E = a concept of the denotation of E.
  • Concept: a closed construction modulo alpha and eta reduction.
  • Indexicals. Concept as the meaning of a non-indexical expression.
  • Empty concepts
  • Simple concepts.
  • Conceptual systems.
Literature
  • MATERNA, Pavel. Svět pojmů a logika. 1. vyd. Praha: Filosofia, 1995, 136 s. ISBN 80-7007-078-1. info
  • MATERNA, Pavel. Logická analýza přirozeného jazyka II. Elportál. Brno: Masarykova univerzita, 2007. ISSN 1802-128X. URL info
Teaching methods
lectures accompanied by class disscussions (questions, debates). Occasionally a presentation by a member of Faculty of Informatics at VŠB TU Ostrava. Sometimes defining of a task to be solved at home. Compulsory reading: (Electronic) materials ("Logická analýza přirozenéého jazyka II").
Assessment methods
This is a continuation of the course Logical analysis of natural language I. The course is closed by an examination. Its written part consists in writing down a concept expressed by the given expression, the oral part is a discussion on theoretical problems. During the lecture discussions are supported. During the course some supplementary literature can be recommended. The possibilikty of inviting some specialist is taken into account.
Language of instruction
Czech
Further comments (probably available only in Czech)
Study Materials
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 2005, Spring 2006, Spring 2007, Spring 2008, Spring 2009, Spring 2010, Spring 2011, Spring 2012, Spring 2013, Spring 2014.

IA157 Logical Analysis of Natural Language II

Faculty of Informatics
Spring 2014
Extent and Intensity
2/0. 2 credit(s) (plus extra credits for completion). Type of Completion: zk (examination).
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.
Supplier department: Department of Machine Learning and Data Processing – Faculty of Informatics
Timetable
Thu 12:00–13:50 B411
Prerequisites
Recommended: examination from 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
there are 23 fields of study the course is directly associated with, display
Course objectives
At the end of the semester the student possesses following knowledge and facilities: (s)he knows basic facts from the history of the theories of concept; (s)he is able to defend the necessity of procedural conception of concepts; (s)he is able to write down the procedure (construction) expressed by the given expression; (s)he is able to make distinction between synonymy,equivalence and coreference of expressions; (s)he can create conceptual systems and definitions.
Syllabus
  • Recapitulation of basic notgions and principles of Transparent intensional logic.
  • Some facts from the history of the theories of concept: Plato, Aristotle, Bolzano, Frege, Church
  • Realism, nominalism, conceptualism.
  • The meaning of an expression E = a concept of the denotation of E.
  • Concept: a closed construction modulo alpha and eta reduction.
  • Indexicals. Concept as the meaning of a non-indexical expression.
  • Empty concepts
  • Simple concepts.
  • Conceptual systems.
Literature
  • MATERNA, Pavel. Svět pojmů a logika. 1. vyd. Praha: Filosofia, 1995, 136 s. ISBN 80-7007-078-1. info
  • MATERNA, Pavel. Logická analýza přirozeného jazyka II. Elportál. Brno: Masarykova univerzita, 2007. ISSN 1802-128X. URL info
Teaching methods
lectures accompanied by class disscussions (questions, debates). Occasionally a presentation by a member of Faculty of Informatics at VŠB TU Ostrava. Sometimes defining of a task to be solved at home. Compulsory reading: (Electronic) materials ("Logická analýza přirozenéého jazyka II").
Assessment methods
This is a continuation of the course Logical analysis of natural language I. The course is closed by an examination. Its written part consists in writing down a concept expressed by the given expression, the oral part is a discussion on theoretical problems. During the lecture discussions are supported. During the course some supplementary literature can be recommended. The possibilikty of inviting some specialist is taken into account.
Language of instruction
Czech
Further comments (probably available only in Czech)
Study Materials
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 2005, Spring 2006, Spring 2007, Spring 2008, Spring 2009, Spring 2010, Spring 2011, Spring 2012, Spring 2013, Spring 2015.

IA157 Logical Analysis of Natural Language II

Faculty of Informatics
Spring 2013
Extent and Intensity
2/0. 2 credit(s) (plus extra credits for completion). Type of Completion: zk (examination).
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.
Supplier department: Department of Machine Learning and Data Processing – Faculty of Informatics
Timetable
Thu 12:00–13:50 G126
Prerequisites
Recommended: examination from 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
there are 23 fields of study the course is directly associated with, display
Course objectives
At the end of the semester the student possesses following knowledge and facilities: (s)he knows basic facts from the history of the theories of concept; (s)he is able to defend the necessity of procedural conception of concepts; (s)he is able to write down the procedure (construction) expressed by the given expression; (s)he is able to make distinction between synonymy,equivalence and coreference of expressions; (s)he can create conceptual systems and definitions.
Syllabus
  • Recapitulation of basic notgions and principles of Transparent intensional logic.
  • Some facts from the history of the theories of concept: Plato, Aristotle, Bolzano, Frege, Church
  • Realism, nominalism, conceptualism.
  • The meaning of an expression E = a concept of the denotation of E.
  • Concept: a closed construction modulo alpha and eta reduction.
  • Indexicals. Concept as the meaning of a non-indexical expression.
  • Empty concepts
  • Simple concepts.
  • Conceptual systems.
Literature
  • MATERNA, Pavel. Svět pojmů a logika. 1. vyd. Praha: Filosofia, 1995, 136 s. ISBN 80-7007-078-1. info
  • MATERNA, Pavel. Logická analýza přirozeného jazyka II. Elportál. Brno: Masarykova univerzita, 2007. ISSN 1802-128X. URL info
Teaching methods
lectures accompanied by class disscussions (questions, debates). Occasionally a presentation by a member of Faculty of Informatics at VŠB TU Ostrava. Sometimes defining of a task to be solved at home. Compulsory reading: (Electronic) materials ("Logická analýza přirozenéého jazyka II").
Assessment methods
This is a continuation of the course Logical analysis of natural language I. The course is closed by an examination. Its written part consists in writing down a concept expressed by the given expression, the oral part is a discussion on theoretical problems. During the lecture discussions are supported. During the course some supplementary literature can be recommended. The possibilikty of inviting some specialist is taken into account.
Language of instruction
Czech
Further comments (probably available only in Czech)
Study Materials
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 2005, Spring 2006, Spring 2007, Spring 2008, Spring 2009, Spring 2010, Spring 2011, Spring 2012, Spring 2014, Spring 2015.

IA157 Logical Analysis of Natural Language II

Faculty of Informatics
Spring 2012
Extent and Intensity
2/0. 2 credit(s) (plus extra credits for completion). Type of Completion: zk (examination).
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.
Supplier department: Department of Machine Learning and Data Processing – Faculty of Informatics
Timetable
Thu 12:00–13:50 G101
Prerequisites
Recommended: examination from 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
there are 23 fields of study the course is directly associated with, display
Course objectives
At the end of the semester the student possesses following knowledge and facilities: (s)he knows basic facts from the history of the theories of concept; (s)he is able to defend the necessity of procedural conception of concepts; (s)he is able to write down the procedure (construction) expressed by the given expression; (s)he is able to make distinction between synonymy,equivalence and coreference of expressions; (s)he can create conceptual systems and definitions.
Syllabus
  • Recapitulation of basic notgions and principles of Transparent intensional logic.
  • Some facts from the history of the theories of concept: Plato, Aristotle, Bolzano, Frege, Church
  • Realism, nominalism, conceptualism.
  • The meaning of an expression E = a concept of the denotation of E.
  • Concept: a closed construction modulo alpha and eta reduction.
  • Indexicals. Concept as the meaning of a non-indexical expression.
  • Empty concepts
  • Simple concepts.
  • Conceptual systems.
Literature
  • MATERNA, Pavel. Svět pojmů a logika. 1. vyd. Praha: Filosofia, 1995, 136 s. ISBN 80-7007-078-1. info
  • MATERNA, Pavel. Logická analýza přirozeného jazyka II. Elportál. Brno: Masarykova univerzita, 2007. ISSN 1802-128X. URL info
Teaching methods
lectures accompanied by class disscussions (questions, debates). Occasionally a presentation by a member of Faculty of Informatics at VŠB TU Ostrava. Sometimes defining of a task to be solved at home. Compulsory reading: (Electronic) materials ("Logická analýza přirozenéého jazyka II").
Assessment methods
This is a continuation of the course Logical analysis of natural language I. The course is closed by an examination. Its written part consists in writing down a concept expressed by the given expression, the oral part is a discussion on theoretical problems. During the lecture discussions are supported. During the course some supplementary literature can be recommended. The possibilikty of inviting some specialist is taken into account.
Language of instruction
Czech
Further comments (probably available only in Czech)
Study Materials
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 2005, Spring 2006, Spring 2007, Spring 2008, Spring 2009, Spring 2010, Spring 2011, Spring 2013, Spring 2014, Spring 2015.

IA157 Logical Analysis of Natural Language II

Faculty of Informatics
Spring 2011
Extent and Intensity
2/0. 2 credit(s) (plus extra credits for completion). Type of Completion: zk (examination).
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 12:00–13:50 B204
Prerequisites
Recommended: examination from 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
there are 22 fields of study the course is directly associated with, display
Course objectives
At the end of the semester the student possesses following knowledge and facilities: (s)he knows basic facts from the history of the theories of concept; (s)he is able to defend the necessity of procedural conception of concepts; (s)he is able to write down the procedure (construction) expressed by the given expression; (s)he is able to make distinction between synonymy,equivalence and coreference of expressions; (s)he can create conceptual systems and definitions.
Syllabus
  • Recapitulation of basic notgions and principles of Transparent intensional logic.
  • Some facts from the history of the theories of concept: Plato, Aristotle, Bolzano, Frege, Church
  • Realism, nominalism, conceptualism.
  • The meaning of an expression E = a concept of the denotation of E.
  • Concept: a closed construction modulo alpha and eta reduction.
  • Indexicals. Concept as the meaning of a non-indexical expression.
  • Empty concepts
  • Simple concepts.
  • Conceptual systems.
Literature
  • MATERNA, Pavel. Svět pojmů a logika. 1. vyd. Praha: Filosofia, 1995, 136 s. ISBN 80-7007-078-1. info
  • MATERNA, Pavel. Logická analýza přirozeného jazyka II. Elportál. Brno: Masarykova univerzita, 2007. ISSN 1802-128X. URL info
Teaching methods
lectures accompanied by class disscussions (questions, debates). Occasionally a presentation by a member of Faculty of Informatics at VŠB TU Ostrava. Sometimes defining of a task to be solved at home. Compulsory reading: (Electronic) materials ("Logická analýza přirozenéého jazyka II").
Assessment methods
This is a continuation of the course Logical analysis of natural language I. The course is closed by an examination. Its written part consists in writing down a concept expressed by the given expression, the oral part is a discussion on theoretical problems. During the lecture discussions are supported. During the course some supplementary literature can be recommended. The possibilikty of inviting some specialist is taken into account.
Language of instruction
Czech
Further comments (probably available only in Czech)
Study Materials
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 2005, Spring 2006, Spring 2007, Spring 2008, Spring 2009, Spring 2010, Spring 2012, Spring 2013, Spring 2014, Spring 2015.

IA157 Logical Analysis of Natural Language II

Faculty of Informatics
Spring 2010
Extent and Intensity
2/0. 2 credit(s) (plus extra credits for completion). Type of Completion: zk (examination).
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 12:00–13:50 B011
Prerequisites
Recommended: examination from 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
there are 22 fields of study the course is directly associated with, display
Course objectives
At the end of the semester the student possesses following knowledge and facilities: (s)he knows basic facts from the history of the theories of concept; (s)he is able to defend the necessity of procedural conception of concepts; (s)he is able to write down the procedure (construction) expressed by the given expression; (s)he is able to make distinction between synonymy,equivalence and coreference of expressions; (s)he can create conceptual systems and definitions.
Syllabus
  • Recapitulation of basic notgions and principles of Transparent intensional logic.
  • Some facts from the history of the theories of concept: Plato, Aristotle, Bolzano, Frege, Church
  • Realism, nominalism, conceptualism.
  • The meaning of an expression E = a concept of the denotation of E.
  • Concept: a closed construction modulo alpha and eta reduction.
  • Indexicals. Concept as the meaning of a non-indexical expression.
  • Empty concepts
  • Simple concepts.
  • Conceptual systems.
Literature
  • MATERNA, Pavel. Svět pojmů a logika. 1. vyd. Praha: Filosofia, 1995, 136 s. ISBN 80-7007-078-1. info
  • MATERNA, Pavel. Logická analýza přirozeného jazyka II. Elportál. Brno: Masarykova univerzita, 2007. ISSN 1802-128X. URL info
Teaching methods
lectures accompanied by class disscussions (questions, debates). Occasionally a presentation by a member of Faculty of Informatics at VŠB TU Ostrava. Sometimes defining of a task to be solved at home. Compulsory reading: (Electronic) materials ("Logická analýza přirozenéého jazyka II").
Assessment methods
This is a continuation of the course Logical analysis of natural language I. The course is closed by an examination. Its written part consists in writing down a concept expressed by the given expression, the oral part is a discussion on theoretical problems. During the lecture discussions are supported. During the course some supplementary literature can be recommended. The possibilikty of inviting some specialist is taken into account.
Language of instruction
Czech
Further comments (probably available only in Czech)
Study Materials
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 2005, Spring 2006, Spring 2007, Spring 2008, Spring 2009, Spring 2011, Spring 2012, Spring 2013, Spring 2014, Spring 2015.

IA157 Logical Analysis of Natural Language II

Faculty of Informatics
Spring 2009
Extent and Intensity
2/0. 2 credit(s) (plus extra credits for completion). Type of Completion: zk (examination).
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 12:00–13:50 D2, Thu 12:00–13:50 C525
Prerequisites
Recommended: examination from 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
there are 19 fields of study the course is directly associated with, display
Course objectives
At the end of the semester the student possesses following knowledge and facilities: (s)he knows basic facts from the history of the theories of concept; (s)he is able to defend the necessity of procedural conception of concepts; (s)he is able to write down the procedure (construction) expressed by the given expression; (s)he is able to make distinction between synonymy,equivalence and coreference of expressions; (s)he can create conceptual systems and definitions.
Syllabus
  • Recapitulation of basic notgions and principles of Transparent intensional logic.
  • Some facts from the history of the theories of concept: Plato, Aristotle, Bolzano, Frege, Church
  • Realism, nominalism, conceptualism.
  • The meaning of an expression E = a concept of the denotation of E.
  • Concept: a closed construction modulo alpha and eta reduction.
  • Indexicals. Concept as the meaning of a non-indexical expression.
  • Empty concepts
  • Simple concepts.
  • Conceptual systems.
Literature
  • MATERNA, Pavel. Svět pojmů a logika. 1. vyd. Praha: Filosofia, 1995, 136 s. ISBN 80-7007-078-1. info
  • MATERNA, Pavel. Logická analýza přirozeného jazyka II. Elportál. Brno: Masarykova univerzita, 2007. ISSN 1802-128X. URL info
Assessment methods
This is a continuation of the course Logical analysis of natural language I. The course is closed by an examination. Its written part consists in writing down a concept expressed by the given expression, the oral part is a discussion on theoretical problems. During the lecture discussions are supported. During the course some supplementary literature can be recommended. The possibilikty of inviting some 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; www.cs.vsb.cz/~duzi
The course is also listed under the following terms Spring 2003, Spring 2004, Spring 2005, Spring 2006, Spring 2007, Spring 2008, Spring 2010, Spring 2011, Spring 2012, Spring 2013, Spring 2014, Spring 2015.

IA157 Logical Analysis of Natural Language II

Faculty of Informatics
Spring 2008
Extent and Intensity
2/0. 2 credit(s) (plus extra credits for completion). Type of Completion: zk (examination).
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 12:00–13:50 B007
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
there are 19 fields of study the course is directly associated with, display
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 2005, Spring 2006, Spring 2007, Spring 2009, Spring 2010, Spring 2011, Spring 2012, Spring 2013, Spring 2014, Spring 2015.

IA157 Logical Analysis of Natural Language II

Faculty of Informatics
Spring 2007
Extent and Intensity
2/0. 2 credit(s) (plus extra credits for completion). Type of Completion: zk (examination).
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 12:00–13:50 B204
Prerequisites (in Czech)
! I044 Logical Analysis of Natural Language II
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
there are 7 fields of study the course is directly associated with, display
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
Study Materials
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 2005, Spring 2006, Spring 2008, Spring 2009, Spring 2010, Spring 2011, Spring 2012, Spring 2013, Spring 2014, Spring 2015.

IA157 Logical Analysis of Natural Language

Faculty of Informatics
Spring 2006
Extent and Intensity
2/0. 2 credit(s) (plus extra credits for completion). Type of Completion: zk (examination).
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 12:00–13:50 B410
Prerequisites (in Czech)
! I044 Logical Analysis of Natural Language II
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
there are 7 fields of study the course is directly associated with, display
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 2005, Spring 2007, Spring 2008, Spring 2009, Spring 2010, Spring 2011, Spring 2012, Spring 2013, Spring 2014, Spring 2015.

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
there are 7 fields of study the course is directly associated with, display
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.

IA157 Logical Analysis of Natural Language

Faculty of Informatics
Spring 2004
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 10:00–11:50 B410
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
there are 6 fields of study the course is directly associated with, display
Course objectives (in Czech)
Výklad navazuje na předmět Logická analýza přirozeného jazyka I a zaměřuje se především na aplikaci transparentní intenzionální logiky.
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.
The course is also listed under the following terms Spring 2003, Spring 2005, Spring 2006, Spring 2007, Spring 2008, Spring 2009, Spring 2010, Spring 2011, Spring 2012, Spring 2013, Spring 2014, Spring 2015.

IA157 Logical Analysis of Natural Language

Faculty of Informatics
Spring 2003
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 10:00–11:50 C511
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
there are 7 fields of study the course is directly associated with, display
Course objectives (in Czech)
Výklad navazuje na předmět Logická analýza přirozeného jazyka I a zaměřuje se především na aplikaci transparentní intenzionální logiky.
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
Language of instruction
Czech
Further Comments
The course is taught annually.
The course is also listed under the following terms Spring 2004, Spring 2005, Spring 2006, Spring 2007, Spring 2008, Spring 2009, Spring 2010, Spring 2011, Spring 2012, Spring 2013, Spring 2014, Spring 2015.

IA157 Logical Analysis of Natural Language II

Faculty of Informatics
Spring 2019

The course is not taught in Spring 2019

Extent and Intensity
2/0. 2 credit(s) (plus extra credits for completion). Type of Completion: zk (examination).
Teacher(s)
prof. PhDr. Pavel Materna, CSc. (lecturer)
Guaranteed by
doc. RNDr. Aleš Horák, Ph.D.
Department of Machine Learning and Data Processing – Faculty of Informatics
Contact Person: prof. PhDr. Pavel Materna, CSc.
Supplier department: Department of Machine Learning and Data Processing – Faculty of Informatics
Prerequisites
Recommended: examination from 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
there are 24 fields of study the course is directly associated with, display
Course objectives
At the end of the semester the student possesses following knowledge and facilities: (s)he knows basic facts from the history of the theories of concept; (s)he is able to defend the necessity of procedural conception of concepts; (s)he is able to write down the procedure (construction) expressed by the given expression; (s)he is able to make distinction between synonymy,equivalence and coreference of expressions; (s)he can create conceptual systems and definitions.
Syllabus
  • Recapitulation of basic notgions and principles of Transparent intensional logic.
  • Some facts from the history of the theories of concept: Plato, Aristotle, Bolzano, Frege, Church
  • Realism, nominalism, conceptualism.
  • The meaning of an expression E = a concept of the denotation of E.
  • Concept: a closed construction modulo alpha and eta reduction.
  • Indexicals. Concept as the meaning of a non-indexical expression.
  • Empty concepts
  • Simple concepts.
  • Conceptual systems.
Literature
  • MATERNA, Pavel. Svět pojmů a logika. 1. vyd. Praha: Filosofia, 1995, 136 s. ISBN 80-7007-078-1. info
  • MATERNA, Pavel. Logická analýza přirozeného jazyka II. Elportál. Brno: Masarykova univerzita, 2007. ISSN 1802-128X. URL info
Teaching methods
lectures accompanied by class disscussions (questions, debates). Occasionally a presentation by a member of Faculty of Informatics at VŠB TU Ostrava. Sometimes defining of a task to be solved at home. Compulsory reading: (Electronic) materials ("Logická analýza přirozenéého jazyka II").
Assessment methods
This is a continuation of the course Logical analysis of natural language I. The course is closed by an examination. Its written part consists in writing down a concept expressed by the given expression, the oral part is a discussion on theoretical problems. During the lecture discussions are supported. During the course some supplementary literature can be recommended. The possibilikty of inviting some specialist is taken into account.
Language of instruction
Czech
Further comments (probably available only in Czech)
Course is no more offered.
The course is taught: every week.
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 2005, Spring 2006, Spring 2007, Spring 2008, Spring 2009, Spring 2010, Spring 2011, Spring 2012, Spring 2013, Spring 2014, Spring 2015.

IA157 Logical Analysis of Natural Language II

Faculty of Informatics
Spring 2018

The course is not taught in Spring 2018

Extent and Intensity
2/0. 2 credit(s) (plus extra credits for completion). Type of Completion: zk (examination).
Teacher(s)
prof. PhDr. Pavel Materna, CSc. (lecturer)
Guaranteed by
doc. RNDr. Aleš Horák, Ph.D.
Department of Machine Learning and Data Processing – Faculty of Informatics
Contact Person: prof. PhDr. Pavel Materna, CSc.
Supplier department: Department of Machine Learning and Data Processing – Faculty of Informatics
Prerequisites
Recommended: examination from 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
there are 24 fields of study the course is directly associated with, display
Course objectives
At the end of the semester the student possesses following knowledge and facilities: (s)he knows basic facts from the history of the theories of concept; (s)he is able to defend the necessity of procedural conception of concepts; (s)he is able to write down the procedure (construction) expressed by the given expression; (s)he is able to make distinction between synonymy,equivalence and coreference of expressions; (s)he can create conceptual systems and definitions.
Syllabus
  • Recapitulation of basic notgions and principles of Transparent intensional logic.
  • Some facts from the history of the theories of concept: Plato, Aristotle, Bolzano, Frege, Church
  • Realism, nominalism, conceptualism.
  • The meaning of an expression E = a concept of the denotation of E.
  • Concept: a closed construction modulo alpha and eta reduction.
  • Indexicals. Concept as the meaning of a non-indexical expression.
  • Empty concepts
  • Simple concepts.
  • Conceptual systems.
Literature
  • MATERNA, Pavel. Svět pojmů a logika. 1. vyd. Praha: Filosofia, 1995, 136 s. ISBN 80-7007-078-1. info
  • MATERNA, Pavel. Logická analýza přirozeného jazyka II. Elportál. Brno: Masarykova univerzita, 2007. ISSN 1802-128X. URL info
Teaching methods
lectures accompanied by class disscussions (questions, debates). Occasionally a presentation by a member of Faculty of Informatics at VŠB TU Ostrava. Sometimes defining of a task to be solved at home. Compulsory reading: (Electronic) materials ("Logická analýza přirozenéého jazyka II").
Assessment methods
This is a continuation of the course Logical analysis of natural language I. The course is closed by an examination. Its written part consists in writing down a concept expressed by the given expression, the oral part is a discussion on theoretical problems. During the lecture discussions are supported. During the course some supplementary literature can be recommended. The possibilikty of inviting some specialist is taken into account.
Language of instruction
Czech
Further comments (probably available only in Czech)
Course is no more offered.
The course is taught: every week.
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 2005, Spring 2006, Spring 2007, Spring 2008, Spring 2009, Spring 2010, Spring 2011, Spring 2012, Spring 2013, Spring 2014, Spring 2015.

IA157 Logical Analysis of Natural Language II

Faculty of Informatics
Spring 2017

The course is not taught in Spring 2017

Extent and Intensity
2/0. 2 credit(s) (plus extra credits for completion). Type of Completion: zk (examination).
Teacher(s)
prof. PhDr. Pavel Materna, CSc. (lecturer)
Guaranteed by
doc. RNDr. Aleš Horák, Ph.D.
Department of Machine Learning and Data Processing – Faculty of Informatics
Contact Person: prof. PhDr. Pavel Materna, CSc.
Supplier department: Department of Machine Learning and Data Processing – Faculty of Informatics
Prerequisites
Recommended: examination from 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
there are 24 fields of study the course is directly associated with, display
Course objectives
At the end of the semester the student possesses following knowledge and facilities: (s)he knows basic facts from the history of the theories of concept; (s)he is able to defend the necessity of procedural conception of concepts; (s)he is able to write down the procedure (construction) expressed by the given expression; (s)he is able to make distinction between synonymy,equivalence and coreference of expressions; (s)he can create conceptual systems and definitions.
Syllabus
  • Recapitulation of basic notgions and principles of Transparent intensional logic.
  • Some facts from the history of the theories of concept: Plato, Aristotle, Bolzano, Frege, Church
  • Realism, nominalism, conceptualism.
  • The meaning of an expression E = a concept of the denotation of E.
  • Concept: a closed construction modulo alpha and eta reduction.
  • Indexicals. Concept as the meaning of a non-indexical expression.
  • Empty concepts
  • Simple concepts.
  • Conceptual systems.
Literature
  • MATERNA, Pavel. Svět pojmů a logika. 1. vyd. Praha: Filosofia, 1995, 136 s. ISBN 80-7007-078-1. info
  • MATERNA, Pavel. Logická analýza přirozeného jazyka II. Elportál. Brno: Masarykova univerzita, 2007. ISSN 1802-128X. URL info
Teaching methods
lectures accompanied by class disscussions (questions, debates). Occasionally a presentation by a member of Faculty of Informatics at VŠB TU Ostrava. Sometimes defining of a task to be solved at home. Compulsory reading: (Electronic) materials ("Logická analýza přirozenéého jazyka II").
Assessment methods
This is a continuation of the course Logical analysis of natural language I. The course is closed by an examination. Its written part consists in writing down a concept expressed by the given expression, the oral part is a discussion on theoretical problems. During the lecture discussions are supported. During the course some supplementary literature can be recommended. The possibilikty of inviting some specialist is taken into account.
Language of instruction
Czech
Further comments (probably available only in Czech)
Course is no more offered.
The course is taught: every week.
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 2005, Spring 2006, Spring 2007, Spring 2008, Spring 2009, Spring 2010, Spring 2011, Spring 2012, Spring 2013, Spring 2014, Spring 2015.

IA157 Logical Analysis of Natural Language II

Faculty of Informatics
Spring 2016

The course is not taught in Spring 2016

Extent and Intensity
2/0. 2 credit(s) (plus extra credits for completion). Type of Completion: zk (examination).
Teacher(s)
prof. PhDr. Pavel Materna, CSc. (lecturer)
Guaranteed by
doc. RNDr. Aleš Horák, Ph.D.
Department of Machine Learning and Data Processing – Faculty of Informatics
Contact Person: prof. PhDr. Pavel Materna, CSc.
Supplier department: Department of Machine Learning and Data Processing – Faculty of Informatics
Prerequisites
Recommended: examination from 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
there are 24 fields of study the course is directly associated with, display
Course objectives
At the end of the semester the student possesses following knowledge and facilities: (s)he knows basic facts from the history of the theories of concept; (s)he is able to defend the necessity of procedural conception of concepts; (s)he is able to write down the procedure (construction) expressed by the given expression; (s)he is able to make distinction between synonymy,equivalence and coreference of expressions; (s)he can create conceptual systems and definitions.
Syllabus
  • Recapitulation of basic notgions and principles of Transparent intensional logic.
  • Some facts from the history of the theories of concept: Plato, Aristotle, Bolzano, Frege, Church
  • Realism, nominalism, conceptualism.
  • The meaning of an expression E = a concept of the denotation of E.
  • Concept: a closed construction modulo alpha and eta reduction.
  • Indexicals. Concept as the meaning of a non-indexical expression.
  • Empty concepts
  • Simple concepts.
  • Conceptual systems.
Literature
  • MATERNA, Pavel. Svět pojmů a logika. 1. vyd. Praha: Filosofia, 1995, 136 s. ISBN 80-7007-078-1. info
  • MATERNA, Pavel. Logická analýza přirozeného jazyka II. Elportál. Brno: Masarykova univerzita, 2007. ISSN 1802-128X. URL info
Teaching methods
lectures accompanied by class disscussions (questions, debates). Occasionally a presentation by a member of Faculty of Informatics at VŠB TU Ostrava. Sometimes defining of a task to be solved at home. Compulsory reading: (Electronic) materials ("Logická analýza přirozenéého jazyka II").
Assessment methods
This is a continuation of the course Logical analysis of natural language I. The course is closed by an examination. Its written part consists in writing down a concept expressed by the given expression, the oral part is a discussion on theoretical problems. During the lecture discussions are supported. During the course some supplementary literature can be recommended. The possibilikty of inviting some specialist is taken into account.
Language of instruction
Czech
Further comments (probably available only in Czech)
Course is no more offered.
The course is taught: every week.
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 2005, Spring 2006, Spring 2007, Spring 2008, Spring 2009, Spring 2010, Spring 2011, Spring 2012, Spring 2013, Spring 2014, Spring 2015.
  • Enrolment Statistics (recent)