School of Humanities

Formal Foundations of Linguistic Theory

This course is part of the programme:
Master in SL studies - Linguistics

Objectives and competences

  • To introduce students to the basic mathematical concepts which are routinely used in formal linguistics;
  • To introduce students to the formal tools used within the various disciplines in linguistics.

Prerequisites

Not required. This course is related to other courses in the programme curriculum.

Content (Syllabus outline)

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

Intended learning outcomes

The students will master the basic mathematical concepts which are necessary for any study of formal linguistics.

In this course, students will get the basic knowledge of the following topics:

  • Set theory
  • Recursion
  • Gödel’s incompleteness theorem
  • Church-Turing’s thesis
  • Propositional logic
  • Predicat logic
  • Formal theory of language (including the Chomskian hierarchy)
  • Probability theory

Readings

  • Partee, Barbara H., Alice ter Meulen and Robert E. Wall. 1993. Mathematical methods in Linguistics (corrected first edition). Dordrecht: Kluwer.

  • Handouts from lectures

Assessment

Homeworks and a final exam or a termpaper

Lecturer's references

STEPANOV, Arthur, STATEVA, Penka. When QR disobeys superiority. Linguist. inq., 2009, vol. 40, no. 1, str. 176-185.

STEPANOV, Arthur, TSAI, Wei-Tien Dylan. Cartography and licensing of wh-adjuncts : a cross-linguistic perspective. Nat. lang. linguist. theory, avg. 2008, vol. 26, no. 3, str. 589-638.

STEPANOV, Arthur. The end of CED? : minimalism and extraction domains. Syntax (Oxford), apr. 2007, vol. 10, no. 1, str. 80-126.

STEPANOV, Arthur. Morphological case and the inverse case filter. Linguist. Ber., 2007, hft. 211, str. 255-276.

STEPANOV, Arthur. On the absence of long-distance A-movement in Russian. J. Slav. linguist., 2007, vol. 15, no. 1, str. 81-108.

STEPANOV, Arthur. Single cycle languages : implications for cyclicity, recursion and acquisition. Linguistic variation yearbook, 2006, vol. 6, str. 25-71.

SAUERLAND, Uli, STATEVA, Penka. Two types of vagueness. V: ÉGRÉ, Paul (ur.), KLINEDINST, Nathan (ur.). Vagueness and language use, (Palgrave studies in pragmatics, language and cognition). Hampshire; New York: Palgrave Macmillan, 2011, str. 121-145.

STEPANOV, Arthur, STATEVA, Penka. When QR disobeys superiority. Linguist. inq., 2009, vol. 40, no. 1, str. 176-185.

STEPANOV, Arthur, STATEVA, Penka. Successive cyclicity as residual wh-scope marking. Lingua. [Print ed.], dec. 2006, vol. 116, no. 12, str. 2107-2153.

STATEVA, Penka. On the status of parasitic gaps in Bulgarian. J. Slav. linguist., 2005, vol. 13, no. 1, str. 137-155.

STATEVA, Penka. Possessive clitics and the structure of nominal expressions. Lingua. [Print ed.], 2002, vol. 112, no. 8, str. 647-690.

University course code: 2SL2033

Year of study: 1

Course principal:

Lecturer:

ECTS: 6

Workload:

  • Lectures: 60 hours
  • Individual work: 120 hours

Course type: obligatory

Languages: english

Learning and teaching methods:
readings, in-class discussions and problem solving exercises.