(in Polish) Modern semantics 2500-EN-CS-L-02

Students should be familiar with the basics of set theory, propositional logic and predicate (‘first order’) logic at the level of chapters 2–4 of the course textbook, available here: https://eecoppock.info/bootcamp/semantics-boot-camp.pdf. (We will quickly go through these chapters, but students without sufficient previous exposure to logic may need to study them more carefully.)

As a result of the course, students will get to know:
– the basics of the generative approach to the syntax–semantics interface (K_W01)
– the lambda calculus and its role in semantic compositionality (K_W04)
– the mechanisms of semantic compositionality as understood in contemporary linguistics and cognitive science (K_W05, K_U03)

Students will also learn in practice how to:
– represent meanings of natural language sentence in the language of logic (K_U08, K_U09)
– derive such meaning representations from meanings of particular words (K_U08, K_U09, K_U10)

Because of the interactive and logic-based nature of the course, students will also enhance their ability to:
– use the English language proficiently (K_U13)
– concisely articulate arguments concerning abstract and formal issues, and evaluate arguments of others (K_U14)
– identify potential methodological errors and gaps in both scientific and public argumentation (K_K01)

Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system:

• Description of 2500-EN-CS-L-02 in USOSweb