Introduction to formal semantics and pragmatics - ABO700286

• Title: Úvod do formální sémantiky a pragmatiky
• Guaranteed by: Institute of Czech Language and Theory of Communication (21-UCJTK)
• Faculty: Faculty of Arts
• Actual: from 2025 to 2026
• Semester: winter
• Points: 0
• E-Credits: 5
• Examination process: winter s.:
• Hours per week, examination: winter s.:0/2, C [HT]
• Capacity: unknown / unknown (unknown)
• Min. number of students: unlimited
• 4EU+: no
• Virtual mobility / capacity: no
• State of the course: not taught
• Language: Czech
• Teaching methods: full-time
• Note: course can be enrolled in outside the study plan; enabled for web enrollment
• Guarantor: doc. Mgr. Radek Šimík, Ph.D.
• Class: A - Mezioborová nabídka VP: Lingvistika

Annotation

Seminář je vstupem do lingvistické disciplíny nazývané formální sémantika (a formální pragmatika), která vznikla zhruba před půlstoletím aplikací analytickofilozofických a logických metod na přirozený jazyk. Cílem semináře je, aby studenti byli schopni aplikovat základní nástroje formální sémantiky při analýze jazyka a aby porozuměli jednodušší formálněsémantické literatuře. Začneme u fundamentálních konceptů jako je význam věty, pravda, pravdivostní podmínky, denotace, vyplývání či princip kompozicionality. Procvičíme se v základech teorie množin, výrokové a predikátové logiky, což jsou nástroje, z nichž formální sémantika čerpá. Od začátku budeme pracovat s jednoduchým jazykovým materiálem a zaměříme se na charakteristiku významu věty i větných členů - subjektu, predikátu, objektu či atributu - a na to, jak komplexní významy vznikají z jednoduchých. V rámci sémantiky jmenné fráze probereme problematiku reference a kvantifikace. Přístupnou formou si také ukážeme, jak lze formulovat význam pomocí matematických funkcí a vysvětlíme a procvičíme si tzv. lambda-notaci, na niž se spoléhá většina literatury. V rámci pragmatiky se zaměříme na presupozici, na Griceovy konverzační maximy a jejich aplikaci v rámci tzv. neo-Griceiánské formální pragmatiky. Ukážeme si rozdíl mezi různými typy inferencí - sémantickým vyplýváním, presupozicí a konverzační implikaturou a také to, jak konverzační principy ovlivňují základní význam jazykových výrazů. Na závěr si ukážeme, jak lze formálněsémantické teorie testovat pomocí moderních kvantitativních a experimentálních metod.

Last update: Šimík Radek, doc. Mgr., Ph.D. (28.11.2025)

Aim of the course

Cílem semináře je, aby studenti byli schopni aplikovat základní nástroje formální sémantiky při analýze jazyka a aby porozuměli jednodušší formálněsémantické literatuře.

Last update: Šimík Radek, doc. Mgr., Ph.D. (09.09.2019)

Course completion requirements

• aktivní účast na semináři

• četba zadaných textů (v angličtině)

• vypracování domácích cvičení, odevzdání ve stanoveném čase před seminářem

• v případě nedostatečných výsledků během semestru závěrečný test

Last update: Šormová Kateřina, Mgr., Ph.D. (04.12.2025)

Literature

Literatura, z níž bude, popř. může být čerpáno

• Coppock, Liz and Lucas Champollion. 2024. Invitation to formal semantics. Available at: https://eecoppock.info/bootcamp/semantics-boot-camp.pdf
• Cummins, Chris and Napoleon Katsos (eds.). 2019. The Oxford handbook of experimental semantics and pragmatics. Oxford: Oxford University Press.
• Elbourne, Paul. 2011. Meaning: A slim guide to semantics. Oxford: Oxford University Press.
• Heim, Irene and Angelika Kratzer. 1998. Semantics in generative grammar. Malden, MA: Blackwell.
• Kroeger, Paul.  2019. Analyzing meaning: An introduction to semantics and pragmatics. Berlin: Language Science Press.
• Peregrin, Jaroslav. 1998. Úvod do teoretické sémantiky. Praha: Karolinum.
• Portner, Paul. 2004. What is meaning? Fundamentals of formal semantics. Oxford: Blackwell.

Last update: Šimík Radek, doc. Mgr., Ph.D. (02.09.2024)

Syllabus

Sylabus (tematický a více méně chronologický)

• význam věty, pravdivostní podmínky, teorie modelů
• objektový jazyk vs. metajazyk, denotace
• základní sémantické vztahy, hypo- a hyperonymie, vyplývání, polysémie, ambiguita
• základy teorie množin a výrokové logiky
• princip kompozicionality, predikátová logika
• význam jmenné fráze, reference vs. kvantifikace, generalizovaná kvantifikace
• interpretace zájmen, referenční vs. vázaná zájmena
• modelování významu pomocí funkcí, lambda-notace
• úrovně významu, tvrzení vs. presupozice
• Griceovy konverzační maximy, konverzační implikatury
• interakce doslovného a konverzačního významu
• formální sémantika/pragmatika a experimentální metody

Last update: Šimík Radek, doc. Mgr., Ph.D. (02.09.2024)

Entry requirements

Seminář může navštěvovat kdokoliv, nicméně základní znalosti syntaxe jsou výhodou.

Last update: Šimík Radek, doc. Mgr., Ph.D. (09.09.2019)