This course aims at introducing to typology and language universals, the domain of linguistics which investigates language properties that cannot be discovered by observing a single language alone but rather by conducting a general survey of languages in the world. Students will be enabled to classify the different formal categories and structures found in the world’s languages, to discover markedness and taxonomic relationships between these categories and structures and to apply the concept of prototypes as an explanatory model.