Logical Discrimination

  • Lloyd Humberstone

Abstract

We discuss conditions under which the following ‘truism’ does indeed express a truth: the weaker a logic is in terms of what it proves, the stronger it is as a tool for registering distinctions amongst the formulas in its language.

Keywords

logics consequence relations synonymous formulas 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    A. R. Anderson and N. D. Belnap, Entailment: the Logic of Relevance and Necessity, Vol. I, Princeton University Press, Princeton, NJ 1975.MATHGoogle Scholar
  2. [2]
    Jean-Yves Béziau, ‘Classical Negation Can Be Expressed by One of its Halves', Logic Journal of the IGPL 7 (1999), 145–151.MATHGoogle Scholar
  3. [3]
    R. J. Bignall and M. Spinks, ‘Multiple-Valued Logics for Theorem-Proving in First Order Logic with Equality', Proceedings of the 28th IEEE Symposium on Multiple-Valued Logics 1998, pp. 102–107.Google Scholar
  4. [4]
    Wim J. Blok and Don L. Pigozzi, ‘Algebraizable Logics', Memoirs of the American Math. Soc. 77 (1989), #396.Google Scholar
  5. [5]
    Stephen Blamey, ‘Partial Logic', pp. 261–353 in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Second Edition, Vol. 5, Kluwer, Dordrecht 2002.Google Scholar
  6. [6]
    Stanley Burris, ‘Discriminator Varieties and Symbolic Computation', Journal of Symbolic Computation 13 (1992), 175–207.MATHMathSciNetCrossRefGoogle Scholar
  7. [7]
    J. P. Cleave, A Study of Logics, Clarendon Press, Oxford 1991.MATHGoogle Scholar
  8. [8]
    J. Czelakowski, ‘Equivalential Logics (I)', Studia Logica 40 (1981), 227–236.MATHMathSciNetCrossRefGoogle Scholar
  9. [9]
    J. Czelakowski, Protoalgebraic Logics, Kluwer, Dordrecht 2001.MATHGoogle Scholar
  10. [10]
    J. M. Font, R. Jansana and D. Pigozzi, ‘A Survey of Abstract Algebraic Logic', Studia Logica 74 (2003), 13–97.MathSciNetMATHGoogle Scholar
  11. [11]
    D. M. Gabbay, Semantical Investigations in Heyting's Intuitionistic Logic, Reidel, Dordrecht 1981.MATHGoogle Scholar
  12. [12]
    J. Roger Hindley, ‘BCK and BCI Logics, Condensed Detachment and the 2-Property', Notre Dame Journal of Formal Logic 34 (1993), 231–250.MATHMathSciNetGoogle Scholar
  13. [13]
    Lloyd Humberstone, ‘Unique Characterization of Connectives’ (Abstract) Journal of Symbolic Logic 49 (1984), 1426–1427.Google Scholar
  14. [14]
    Lloyd Humberstone, ‘A More Discriminating Approach to Modal Logic’ (Abstract) Journal of Symbolic Logic 51 (1986), 503–504.Google Scholar
  15. [15]
    Lloyd Humberstone, [22], Australasian Journal of Philosophy 73 (1995), 475–481.Google Scholar
  16. [16]
    Lloyd Humberstone, ‘Classes of Valuations Closed Under Operations Galois-Dual to Boolean Sentence Connectives', Publications of the Research Institute of Mathematical Sciences, Kyoto University 32 (1996), 9–84.MATHMathSciNetGoogle Scholar
  17. [17]
    Lloyd Humberstone, ‘Contra-Classical Logics', Australasian Journal of Philosophy 78 (2000), 437–474.CrossRefGoogle Scholar
  18. [18]
    Lloyd Humberstone, ‘Béziau's Translation Paradox', to appear in Theoria.Google Scholar
  19. [19]
    Lloyd Humberstone, ‘Identical Twins, Deduction Theorems, and Pattern Functions: Exploring the Implicative BCSK Fragment of S5', to appear in Journal of Philosophical Logic.Google Scholar
  20. [20]
    Lloyd Humberstone, ‘Variations on a Theme of Curry', submitted for publication.Google Scholar
  21. [21]
    J. Kabziński, ‘BCI-Algebras From the Point of View of Logic', Bulletin of the Section of Logic 12 (1983), 126–129.MATHGoogle Scholar
  22. [22]
    Arnold Koslow, A Structuralist Theory of Logics, Cambridge University Press, Cambridge 1992.Google Scholar
  23. [23]
    J. R. Lucas, A Treatise on Time and Space, Methuen, London 1973.Google Scholar
  24. [24]
    Jan Łukasiewicz, ‘On the Intuitionistic Theory of Deduction', pp. 325–340 in L. Borkowski (ed., Jan Łukasiewicz: Selected Works, North-Holland, Amsterdam 1970. (Article originally published 1952.)Google Scholar
  25. [25]
    E. P. Martin and R.. K. Meyer, ‘Solution to the P — W Problem', Journal of Symbolic Logic 47 (1982), 869–887.MathSciNetMATHGoogle Scholar
  26. [26]
    C. Mortensen and T. Burgess, ‘On Logical Strength and Weakness', History and Philosophy of Logic 10 (1989), 47–51.MathSciNetGoogle Scholar
  27. [27]
    D. Nelson, ‘Negation and the Separation of Concepts in Constructive Systems', pp. 208–225 in A. Heyting (ed.), Contructivity in Mathematics: Proceedings of a conference held at Amsterdam 1957, North-Holland, Amsterdam 1959.Google Scholar
  28. [28]
    Francesco Paoli, Substructural Logics: A Primer, Kluwer, Dordrecht 2002.MATHGoogle Scholar
  29. [29]
    Jean Porte, ‘Congruences in Lemmon's S0.5', Notre Dame Journal of Formal Logic 21 (1980), 672–678.MATHMathSciNetGoogle Scholar
  30. [30]
    A. N. Prior, ‘Time and Change', Ratio 10 (1968), 173–177.Google Scholar
  31. [31]
    W. V. Quine, ‘Grades of Discriminability', pp. 129–133 in Quine, Theories and Things, Harvard University Press, Cambridge, Mass. 1981. (Article originally published 1976.)Google Scholar
  32. [32]
    Dana Scott, ‘Rules and Derived Rules', pp.147–161 in S. Stenlund (ed.), Logical Theory and Semantic Analysis, Reidel, Dordrecht 1974.Google Scholar
  33. [33]
    K. Segerberg, Classical Propositional Operators, Clarendon Press, Oxford 1982.MATHGoogle Scholar
  34. [34]
    Timothy Smiley, ‘The Independence of Connectives', Journal of Symbolic Logic 27 (1962), 426–436.MathSciNetGoogle Scholar
  35. [35]
    M. Spasowski, ‘Some Properties of the Operation d', Reports on Mathematical Logic 3 (1974), 53–56.MATHMathSciNetGoogle Scholar
  36. [36]
    Neil Tennant, ‘Deductive Versus Expressive Power: A Pre-Gödelian Predicament', Journal of Philosophy 97 (2000), 257–277.MathSciNetGoogle Scholar
  37. [37]
    A. S. Troelstra and D. van Dalen, Constructivism in Mathematics: An Introduction, Vols. I and II, North-Holland, Amsterdam 1988.Google Scholar
  38. [38]
    R. Wójcicki, ‘Dual Counterparts of Consequence Operations', Bulletin of the Section of Logic (Polish Academy of Sciences) 2 (1973), 54–57.Google Scholar
  39. [39]
    R. Wójcicki, Theory of Logical Calculi, Kluwer, Dordrecht 1988.Google Scholar

Copyright information

© Birkhäuser Verlag Basel/Switzerland 2005

Authors and Affiliations

  • Lloyd Humberstone
    • 1
  1. 1.Department of PhilosophyMonash UniversityVictoriaAustralia

Personalised recommendations