What do we know when we know a language? How can we find out what it is that we know when we know a language? This course will approach both of these - and other - questions by looking at interesting and puzzling phenomena of English and (un-)related languages. We will explore speech sound, structure and meaning of different languages. Students will get the chance to actively engage with linguistic data in order to develop a first formal model of language.