Studia Logica

, Volume 71, Issue 1, pp 119–132

Naïve Comprehension and Contracting Implications

  • Susan Rogerson
  • Sam Butchart
Article

Abstract

In his paper [6], Greg Restall conjectured that a logic supports a naïve comprehension scheme if and only if it is robustly contraction free, that is, if and only if no contracting connective is definable in terms of the primitive connectives of the logic. In this paper, we present infinitely many counterexamples to Restall's conjecture, in the form of purely implicational logics which are robustly contraction free, but which trivialize naïve comprehension.

Naïve comprehension contraction non-classical logic Restall's conjecture 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Belnap, N. D., ‘A useful four-valued logic’, in J. M. Dunn and G. Epstein (eds.) Modern Uses of Multiple-Valued Logics, D. Reidel Publ. Co., Dordrecht.Google Scholar
  2. [2]
    Humberstone, L., ‘Contra-classical logics’, Australasian Journal of Philosophy78, 2000, 438-474.Google Scholar
  3. [3]
    Meyer, R. K., and J. K. Slaney, ‘Abelian logic (From A to Z)’, in G. Priest, R. Routley, J. Norman (eds.), Paraconistent Logic. Essays on the Inconsistent, Philosophia Verlag, München, 1989.Google Scholar
  4. [4]
    Meyer, R.K., R. Routley, J. M. Dunn, ‘Curry's paradox’, Analysis39(3), 1979, 124-128.Google Scholar
  5. [5]
    Priest, G., R. Routley, J. Norman (eds), Paraconistent Logic. Essays on the Inconsistent, Philosophia Verlag, München, 1989.Google Scholar
  6. [6]
    Restall, G., ‘How to be reallycontraction free’, Studia Logica52, 1993. 381-391.Google Scholar
  7. [7]
    Shaw-Kwei, M., ‘Logical paradoxes for many valued systems’, Journal of Symbolic Logic19, 1954, 37-40.Google Scholar
  8. [8]
    White, R. B., ‘The consistency of the axiom of comprehension in the infinite-valued predicate logic of Łukasiewicz’, Journal of Philosophical Logic8, 1979. 509-534.Google Scholar

Copyright information

© Kluwer Academic Publishers 2002

Authors and Affiliations

  • Susan Rogerson
    • 1
  • Sam Butchart
    • 1
  1. 1.Monash UniversityVictoriaAustralia

Personalised recommendations