Logic for Linguists

To be lectured in Michaelmas 2017. Dates and times still to be arranged


Here are the notes from which I will be lecturing this course. [They are work-in-progress as I write this, in the long vac, so there is little point in downloading them before the start of term]. In any case readers should bear in mind that they are lecture notes and are not proper tested-on-animals course materials. I have written out those things that I fear I might omit in the hurry of a live performance; I have written out also - in some cases in considerable detail - those things that I suspect I might get wrong. Material that I know I can do standing on my head is reduced to mere bullet points. Accordingly access to these notes is not an entirely adequate substitute for taking your own notes: indeed there will be a small prize for the best set of notes taken!
If your college is willing to pay for supervisions I will be happy to offer them.
I supply links to two files which overlap these notes.
(1) Lecture Notes on Logic for Philosophy Students. Much of the importance of Logic for Philosophy comes from the lessons it has to teach us about reasoning; in contrast we are interested in it for what it has to tell us about language. So the material therein concerning rules of inference, validity etc. are likely to be of limited interest. However, the semantics is important.

(2) Readers may also find useful Chloë Brown's html version of my 1a Computer Science Tripos Regular Languages and Finite Automata notes. Answers to the exercises are supplied in links that you can click on once you have done the exercises.


Finally, here are Richard Crouch's Notes on Languages and Automata .

Crouch's notes are designed for computer science students, and as a result are probably more mathematical and generally unforgiving than a linguistics student (who after all may well be a humanities student!) would like. Basically the only reason why they are here is that he is a mate of mine and they are free!