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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
A. R. Anderson and N. D. Belnap, Entailment: the Logic of Relevance and Necessity, Vol. I, Princeton University Press, Princeton, NJ 1975.
Jean-Yves Béziau, ‘Classical Negation Can Be Expressed by One of its Halves’s, Logic Journal of the IGPL 7 (1999), 145–151.
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.
Wim J. Blok and Don L. Pigozzi, ‘Algebraizable Logics’, Memoirs of the American Math. Soc. 77 (1989), #396.
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.
Stanley Burris, ‘Discriminator Varieties and Symbolic Computation’, Journal of Symbolic Computation 13 (1992), 175–207.
J. P. Cleave, A Study of Logics, Clarendon Press, Oxford 1991.
J. Czelakowski, ‘Equivalential Logics (I)’, Studia Logica 40 (1981), 227–236.
J. Czelakowski, Protoalgebraic Logics, Kluwer, Dordrecht 2001.
J. M. Font, R. Jansana and D. Pigozzi, ‘A Survey of Abstract Algebraic Logic’, Studia Logica 74 (2003), 13–97.
D. M. Gabbay, Semantical Investigations in Heyting’s Intuitionistic Logic, Reidel, Dordrecht 1981.
J. Roger Hindley, ‘BCK and BCI Logics, Condensed Detachment and the 2-Property’, Notre Dame Journal of Formal Logic 34 (1993), 231–250.
Lloyd Humberstone, ‘Unique Characterization of Connectives’ (Abstract) Journal of Symbolic Logic 49 (1984), 1426–1427.
Lloyd Humberstone, ‘A More Discriminating Approach to Modal Logic’ (Abstract) Journal of Symbolic Logic 51 (1986), 503–504.
Lloyd Humberstone, Review of Cleave [7] and Koslow [22], Australasian Journal of Philosophy 73 (1995), 475–481.
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.
Lloyd Humberstone, ‘Contra-Classical Logics’, Australasian Journal of Philosophy 78 (2000), 437–474.
Lloyd Humberstone, ‘Béziau’s Translation Paradox’, Theoria 71 (2005), 138–181.
Lloyd Humberstone, ‘Identical Twins, Deduction Theorems, and Pattern Functions: Exploring the Implicative BCSK Fragment of S5’, Journal of Philosophical Logic 35 (2006), 435–487.
Lloyd Humberstone, ‘Variations on a Theme of Curry’, Notre Dame Journal of Formal Logic 47 (2006), 101–131.
J. Kabziński, ‘BCI-Algebras From the Point of View of Logic’, Bulletin of the Section of Logic 12 (1983), 126–129.
Arnold Koslow, A Structuralist Theory of Logics, Cambridge University Press, Cambridge 1992.
J. R. Lucas, A Treatise on Time and Space, Methuen, London 1973.
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.)
E. P. Martin and R. K. Meyer, ‘Solution to the P — W Problem’, Journal of Symbolic Logic 47 (1982), 869–887.
C. Mortensen and T. Burgess, ‘On Logical Strength and Weakness’, History and Philosophy of Logic 10 (1989), 47–51.
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.
Francesco Paoli, Substructural Logics: A Primer, Kluwer, Dordrecht 2002.
Jean Porte, ‘Congruences in Lemmon’s S0.5’, Notre Dame Journal of Formal Logic 21 (1980), 672–678.
A. N. Prior, ‘Time and Change’, Ratio 10 (1968), 173–177.
W. V. Quine, ‘Grades of Discriminability’, pp. 129–133 in Quine, Theories and Things, Harvard University Press, Cambridge, Mass. 1981. (Article originally published 1976.)
Dana Scott, ‘Rules and Derived Rules’, pp. 147–161 in S. Stenlund (ed.), Logical Theory and Semantic Analysis, Reidel, Dordrecht 1974.
K. Segerberg, Classical Propositional Operators, Clarendon Press, Oxford 1982.
Timothy Smiley, ‘The Independence of Connectives’, Journal of Symbolic Logic 27 (1962), 426–436.
M. Spasowski, ‘Some Properties of the Operation d’, Reports on Mathematical Logic 3 (1974), 53–56.
Neil Tennant, ‘Deductive Versus Expressive Power: A Pre-Gödelian Predicament’, in Journal of Philosophy 97 (2000), 257–277.
A. S. Troelstra and D. van Dalen, Constructivism in Mathematics: An Introduction, Vols. I and II, North-Holland, Amsterdam 1988.
R. Wójcicki, ‘Dual Counterparts of Consequence Operations’, Bulletin of the Section of Logic (Polish Academy of Sciences) 2 (1973), 54–57.
R. Wójcicki, Theory of Logical Calculi, Kluwer, Dordrecht 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Birkhäuser Verlag Basel/Switzerland
About this paper
Cite this paper
Humberstone, L. (2007). Logical Discrimination. In: Beziau, JY. (eds) Logica Universalis. Birkhäuser Basel. https://doi.org/10.1007/978-3-7643-8354-1_12
Download citation
DOI: https://doi.org/10.1007/978-3-7643-8354-1_12
Publisher Name: Birkhäuser Basel
Print ISBN: 978-3-7643-8353-4
Online ISBN: 978-3-7643-8354-1
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)