Please use this identifier to cite or link to this item:
Appears in Collections:Law and Philosophy Conference Papers and Proceedings
Peer Review Status: Unrefereed
Author(s): Milne, Peter
Contact Email:
Title: Classical Logic through the Looking-Glass
Editor(s): Arazim, P
Dancak, M
Citation: Milne P (2016) Classical Logic through the Looking-Glass. In: Arazim P & Dancak M (eds.) Logica Yearbook 2015. Logica 2015, Hejnice, Czech Republic, 15.06.2015-19.06.2015. London: College Publications.
Issue Date: 2016
Date Deposited: 30-May-2016
Conference Name: Logica 2015
Conference Dates: 2015-06-15 - 2015-06-19
Conference Location: Hejnice, Czech Republic
Abstract: In Lewis Carroll’s Through the Looking Glass and What Alice Found There, Alice enters through a mirror into the realm reflected. It is, of course, left-right reversed but this is only the start of the fun and games when Alice explores the world on the other side of the mirror. Borrowing, if only in part, Carroll’s theme of inversion, my aim is to take a look at classical logic in something of an inverted way, or, to be more exact, in three somewhat inverted ways. Firstly, I come at proof of the completeness of classical logic in the Lindenbaum-Henkin style backwards: I take for granted the existence of a set Σ for which it holds, for some formula φ, that ψ !in Σ if, and only if, Σu{ψ} |- φ  then read off the rules of inference governing connectives and quantifiers that most directly yield the desired (classical) semantic properties. We thus obtain general elimination rules and what I have elsewhere called general introduction rules. Secondly, the same approach lets us read off a different set of rules: those of the cut-free sequent calculus S' of (Smullyan, 1968). Smullyan uses this calculus in proving the Craig-Lyndon interpolation theorem for first-order logic (without identity and function symbols). By attending very carefully to the steps in Smullyan’s proof, we obtain a strengthening: if φ |- ψ,  /|- ¬φ and /|- ψ then there is an interpolant χ, a formula employing only the non-logical vocabulary common to φ and ψ, such that φ entails χ in the first-order version of Kleene’s 3-valued logic and χ entails ψ in the first-order version of Graham Priest’s Logic of Paradox. The result, which is hidden from view in natural deduction formulations of classical logic, extends, I believe, to firstorder logic with identity. Thirdly, we look at a contraction-free “approximation” to classical propositional logic. Adding the general introduction rules for negation or the conditional leads to Contraction being a derived rule, apparently blurring the distinction between structural and operational rules.
Status: AM - Accepted Manuscript
Rights: Author retains copyright. Published in Logica Yearbook 2015 edited by Pavel Arazim and Michal Dancak:

Files in This Item:
File Description SizeFormat 
Logica 2015 Classical Logic Through the Looking Glass (3).pdfFulltext - Accepted Version297.95 kBAdobe PDFView/Open

This item is protected by original copyright

Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.

The metadata of the records in the Repository are available under the CC0 public domain dedication: No Rights Reserved

If you believe that any material held in STORRE infringes copyright, please contact providing details and we will remove the Work from public display in STORRE and investigate your claim.