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.

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.