Course: Formal Semantics

« Back
Course title Formal Semantics
Course code KFI/FSM
Organizational form of instruction Lecture + Lesson
Level of course Master
Year of study not specified
Semester Winter
Number of ECTS credits 2
Language of instruction Czech
Status of course Compulsory-optional
Form of instruction Face-to-face
Work placements This is not an internship
Recommended optional programme components None
  • Dostálová Ludmila, Mgr. Ph.D.
Course content
Principals of formal semantics (denotation, truth-conditioning of meaning, compositionality). Extensional semantics (set-theoretic model theory, categorial grammar, theory of types). Intensional semantics (possible-worlds semantics, Montague grammar). Hyperintensional semantics (impossible-possible-worlds semantics, Transparent intensional logic). Dynamic semantics.

Learning activities and teaching methods
Students' self-study, Lecture, Practicum
  • Preparation for comprehensive test (10-40) - 26 hours per semester
  • Contact hours - 26 hours per semester
professional knowledge
Course requires no special prior knowledge and skills.
learning outcomes
Students will understand the crucial systems of formal semantics. They will be able to place them into the historical as well as theoretical context of the analytic philosophy and the philosophy of language. They will acquire practical skills of using these systems.
teaching methods
Students' self-study
assessment methods
Recommended literature
  • BENTHEM, Johann van - MEULEN, Alice ter (eds.). Handbook of Logic and Language. Oxford: Elsevier & Cambridge (Mass.) : MIT Press, 1997.
  • CANN, Ronnie. Formal Semantics: An Introduction. Cambridge : Cambridge University Press, 1995.
  • Cmorej, Pavel. Úvod do logickej syntaxe a sémantiky. Praha : Triton, 2002. ISBN 80-7254-294-X.
  • GAMUT, L. T. F. Logic, Language and Meaning. Chicago : University of Chicago Press, 1991.
  • Peregrin, Jaroslav. Úvod do teoretické sémantiky : principy formálního modelování významu. 2., aktualiz. vyd. Praha : Univerzita Karlova, 2003. ISBN 80-246-0635-6.
  • Tugendhat, Ernst; Wolf, Ursula. Logicko-sémantická propedeutika. [1. vyd.]. Praha : Petr Rezek, 1997. ISBN 80-86027-02-3.

Study plans that include the course
Faculty Study plan (Version) Branch of study Category Recommended year of study Recommended semester
Faculty of Philosophy and Arts Analytic Philosophy and Philosophy of Sciences (11-1,2,3) Philosophy, theology 2 Winter