Journal of Philosophical Logic

, Volume 42, Issue 4, pp 575–593 | Cite as

Naive Modus Ponens

Article

Abstract

The paper is concerned with a logical difficulty which Lionel Shapiro’s deflationist theory of logical consequence (as well as the author’s favoured, non-deflationist theory) gives rise to. It is argued that Shapiro’s non-contractive approach to solving the difficulty, although correct in its broad outlines, is nevertheless extremely problematic in some of its specifics, in particular in its failure to validate certain intuitive rules and laws associated with the principle of modus ponens. An alternative non-contractive theory is offered which does not suffer from the same problem.

Keywords

Contraction Curry’s paradox Entailment Logical consequence Modus ponens Transparent truth 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Beall, J. C. (2009). Spandrels of truth. Oxford: Oxford University Press.CrossRefGoogle Scholar
  2. 2.
    Beall, J. C., & Murzi, J. (2012). Two flavors of Curry’s paradox. The Journal of Philosophy, forthcoming.Google Scholar
  3. 3.
    Brady, R. (2003). Prologue. In Brady, R. (Ed.), Relevant logics and their rivals (Vol. II, pp. 1–9). Aldershot: Ashgate.Google Scholar
  4. 4.
    Cobreros, P., Égré, P., Ripley, D., & van Rooij, R. (2012). Tolerant, classical, strict. Journal of Philosophical Logic, 41, 347–385.CrossRefGoogle Scholar
  5. 5.
    Curry, H. (1942). The inconsistency of certain formal logics. The Journal of Symbolic Logic, 7, 115–117.CrossRefGoogle Scholar
  6. 6.
    Field, H. (2006). Truth and the unprovability of consistency. Mind, 115, 567–605.CrossRefGoogle Scholar
  7. 7.
    Field, H. (2008). Saving truth from paradox. Oxford: Oxford University Press.CrossRefGoogle Scholar
  8. 8.
    Girard, J.-Y. (1987). Linear logic. Theoretical Computer Science, 50, 1–102.CrossRefGoogle Scholar
  9. 9.
    McGee, V. (1985). A counterexample to modus ponens. The Journal of Philosophy, 82, 462–471.CrossRefGoogle Scholar
  10. 10.
    Priest, G. (1979). The logic of paradox. Journal of Philosophical Logic, 8, 219–241.CrossRefGoogle Scholar
  11. 11.
    Priest, G. (1980). Sense, entailment and modus ponens. Journal of Philosophical Logic, 9, 415–435.CrossRefGoogle Scholar
  12. 12.
    Restall, G. (1994). On logics without contraction. PhD thesis, Department of Philosophy, University of Queensland.Google Scholar
  13. 13.
    Ripley, D. (2012). Conservatively extending classical logic with transparent truth. The Review of Symbolic Logic, 5, 354–378.CrossRefGoogle Scholar
  14. 14.
    Shapiro, L. (2011). Deflating logical consequence. The Philosophical Quarterly, 61, 320–342.CrossRefGoogle Scholar
  15. 15.
    Weir, A. (2005). Naive truth and sophisticated logic. In Armour-Garb, B., & Beall, J. C. (Eds.), Deflationism and paradox (pp. 218–249). Oxford: Oxford University Press.Google Scholar
  16. 16.
    Zardini, E. (2008). A model of tolerance. Studia Logica, 90, 337–368.CrossRefGoogle Scholar
  17. 17.
    Zardini, E. (2008). Living on the slippery slope. The nature, sources and logic of vagueness. PhD thesis, Department of Logic and Metaphysics, University of St. Andrews.Google Scholar
  18. 18.
    Zardini, E. (2009). Towards first-order tolerant logics. In Prozorov, O. (Ed.), Philosophy, mathematics, linguistics: Aspects of interaction (pp. 35–38). St. Petersburg: Russian Academy of Science Press.Google Scholar
  19. 19.
    Zardini, E. (2011). Truth without contra(di)ction. The Review of Symbolic Logic, 4, 498–535.CrossRefGoogle Scholar
  20. 20.
    Zardini, E. (2012a). First-order tolerant logics. The Review of Symbolic Logic, forthcoming.Google Scholar
  21. 21.
    Zardini, E. (2012). Getting one for two, or the contractors’ bad deal. Towards a unified solution to the semantic paradoxes. In Achourioti, T., Fujimoto, K., Galinon, H., & Martínez, J. (Eds.), volume on truth. Berlin: Springer.Google Scholar

Copyright information

© Springer Science+Business Media B.V. 2012

Authors and Affiliations

  1. 1.Northern Institute of Philosophy, Department of Philosophy, School of Divinity, History and PhilosophyUniversity of AberdeenAberdeenUK

Personalised recommendations