This course provides an introduction into modern formal semantic theory. We acquire a formal tool based on lambda-calculus that enables one to interpret natural language sentences compositionally. The course offers a general interpretative algorithm which allows us to capture the properties of predication, quantification, modification, relativization, presupposition, etc.



Psycholinguistics studies psychological aspects of our use of language. It addresses two foundational questions: how much of our intrinsic knowledge of language do we need in order to use language, and what kind of mental/ cognitive processes enter into language comprehension, production and acquisition. In this course we will study these three domains of psycholinguistic research with special attention on how natural language sentences are comprehended in real-time.

The purpose of this course is to present the basic mathematical concepts which are routinely used in formal linguistics. These tools are used within subareas of linguistics including syntax, semantics, phonology, pragmatics and also experimental linguistics.

This course discusses language use in context and defines the main types of pragmatic phenomena like implicatures, presuppositions, implicated presuppositions and deixes.  It introduces students into the classical Gricean theory of language use, goes through the neo-Gricean developments of formal pragmatics and Relevance theory, and informs them of State-of-the-Art views on the relation between Pragmatics and Grammar.

Syntax is the study of sentence structure and the abstract principles of organization of syntactic knowledge in the mind of a speaker. In this course, you gain basic knowledge of contemporary syntactic theory within the generative framework, acquire the formal tools to do syntactic analysis of natural languages (i.e. represent syntactic structures of sentences), and learn how to work with native speakers’ intuitions and judgments as a source for the development of syntactic hypotheses. This course also trains your general analytical skills and formal argumentation.