Volker Halbach 

home  contact  publications  teaching  Logic Manual  Luxemburger Zirkel  Philosophy of Mathematics seminar  Nordic Logic Summer School 


B.Phil.
Seminar Volker Halbach and Tim Williamson Michaelmas term 2016, Wednesdays, 11am1pm, Ryle Room We will cover some central topics in the philosophy of logic. Topics may include semantic paradoxes and selfreference, logical consequence , unrestricted quantification, deviant logics, higherorder logic, modal logic and its applications in metaphysics, free logic. At the beginning of each class we will introduce the topic by presenting an article or book chapter, which all participants will be expected to have read in advance. This will be followed by a discussion. The following timetable is provisional. Week 1 (12 October): Paradoxes and selfreference I: the diagonal lemmaParadoxes and selfreference I: the diagonal lemma and selfreference Volker Halbach has prepared some slides. In the slides the basic technique of diagonalization (Gödel's trick) that is at the root of all more formal treatments of the semantic paradoxes. It would be useful if you could read the first part (up to slide 22). There it is explained how to obtain a sentence that says about itself that it has a certain property (truth, necessity, etc). The diagonal lemma is the starting point for almost all discussions of the semantic paradoxes (liar paradox, Curry's paradox, etc). I'll present this part also in class, and there will be opportunity to ask questions. We can then discuss its consequences for theories of truth, necessity, knowledge, and so on. The slides contain only the technical core, and there are plenty of philosophical questions surrounding this technical core. There is also a more explicit version. This is the draft of a part of a book VH is currently writing. The material does not presuppose anything beyond a basic logic course with the possible exception of function symbols, which are not covered in the Logic Manual, for instance. Here is a quick and dirty introduction together with some other preliminaries that should help you to understand my notation. There are probably still quite a few typos. Week 2 (19 October): Paradoxes and selfreference II: some paradoxesSelfreference, Yablo's paradox, and other paradoxes We continue with the slides and look at some wellknown paradoxes. Some have claimed that all semantic paradoxes involce selfreference. For an informal account see here. Week 3 (26 October): Deviant LogicsWeek 4 (2 November): Logical ConsequenceMain text: John Etchemendy: "Models, Semantics, and Logical Truth", Linguistics and Philosophy 11 (91106) 1988 For an overview see Beall, Jc and Restall, Greg, "Logical Consequence", The Stanford Encyclopedia of Philosophy If you prefer to read a more detailed account, Etchemendy's most influential text is the monograph: Etchemendy, John, 1990, The Concept of Logical Consequence, Cambridge, MA: Harvard University Press He analyzed and criticized Tarski's theory of logical consequence in: "Tarski on Truth and Logical Consequence", Journal of Symbolic Logic 53 (1988), 5179. Week 5 (9 November): Free LogicKarel Lambert: "Free logics" in Lou Goble (ed.), The Blackwell Guide to Philosophical Logic, Blackwell Publishers, 2001, 258279. Week 6 (16 November): HigherOrder logicStewart Shapiro: "Classical logic II: Higherorder logic" in Lou Goble (ed.): The Blackwell Guide to Philosophical Logic, Blackwell Publishers, 2001, 3354. Week 7 (23 November): Unrestricted QuantificationKit Fine: "Relatively Unrestricted Quantification" in Agustín Rayo & Gabriel Uzquiano (eds.): Absolute Generality, Oxford University Press, 2006, 2044. Week 8 (30 November): Modal LogicJohn P. Burgess: "Quinus ab omni naevo vindicatus" in Ali A. Kazmi (ed.): Meaning and Reference, University of Calgary Press, 1998, 2566. 