Abstract
The big picture is my big picture, as I see it, based on a lifetime of research into logic. We will cover a reasonably wide range of topics, with some level of author focus. The paper builds on my earlier work [9, 11, 19] (with Rush). Indeed, it can also be seen as an update of the approach to logic taken in [9]. We start with the issue of what logic is about, identifying two inference concepts, one of meaning containment (a connective) and one of deductive argument in general (a rule). Examining the other connectives, we point out the difference between disjunction, as understood in proof-theoretic systems, as opposed to that understood in standard semantics, and show why distribution is not an instance of meaning containment. Negation is judged as being incompletely captured, due to the non-recursive nature of deductive systems in general, but with Boolean negation being the intended concept. We then focus on the logic MC of meaning containment, setting out its axiomatization, content semantics and metavaluation. Quantification is added in a standard way, based on the connectives. We finally deal with applications, focusing on set theory and arithmetic.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
This paper was presented to the Logic Seminar at the University of Melbourne, on 30th November, 2012. I would like to thank those present for their useful comments and discussion, in particular Greg Restall, Lloyd Humberstone and Rohan French. I also wish to thank Che-Ping Su for his help in getting the paper ready for presentation.
- 2.
However, Stephen Read, in his book [25], claims that relevance is already contained in truth-preservation, rather than an added extra. Here, we follow the standard approach of separating the two concepts.
- 3.
I wish to thank Greg Restall for making the point that content semantics does not behave like model theory in this respect and that this specialized content semantics requires an understanding of what these contents are.
- 4.
One could try to base content semantics on metavaluations with a tight correspondence between the semantic postulates of the content semantics and each of the metavaluations, substituting the latter for the standard Hilbert-style axioms and rules. This metavaluation-driven content semantics, however, has never been tried, to the author’s knowledge.
References
Anderson, A.R., Belnap, N.D.: Entailment, The Logic of Relevance and Necessity, vol. 1. Princeton University Press (1975)
Beall, J.C., Brady, R.T., Hazen, A., Priest, G.G., Restall, G.: Relevant restricted quantification. J. Philos. Logic 35, 587–598 (2006)
Brady, R.T.: A content semantics for quantified relevant logics I. Studia Logica 47, 111–127 (1988)
Brady, R.T.: A content semantics for quantified relevant logics II. Studia Logica 48, 243–257 (1989)
Brady, R.T.: Relevant implication and the case for a weaker logic. J. Philos. Logic 25, 151–183 (1996)
Brady, R.T.: Gentzenizations of relevant logics without distribution—I. J. Symbolic Logic 61, 353–378 (1996)
Brady, R.T.: Gentzenizations of relevant logics without distribution—II. J. Symbolic Logic 61, 379–401 (1996)
Brady, R.T.: Relevant Logics and Their Rivals, Vol 2: A Continuation of the Work of R. Sylvan, R.K. Meyer, V. Plumwood, R.T. Brady, ed. by R.T. Brady with contributions by M. Bunder, A. Fuhrmann, A. Loparic, E. Mares, C. Mortensen, A. Urquhart, Ashgate, Aldershot (2003)
Brady, R.T.: Universal Logic. CSLI Publs, Stanford (2006)
Brady, R.T.: Normalized natural deduction systems for some relevant logics I: The logic DW. J. Symbolic Logic 71, 35–66 (2006)
Brady, R.T.: Entailment: a blueprint. In: Beziau, J.-Y., Carnielli, W., Gabbay, D. (eds.) Handbook of Paraconsistent Logic, College Publications, pp. 127–151. King’s College, London (2007)
Brady, R.T.: Negation in metacomplete relevant logics. Logique et Anal. 51, 331–354 (2008)
Brady, R.T.: Free semantics. J. Philos. Logic 39, 511–529 (2010)
Brady, R.T.: Metavaluations, naive set theory and inconsistency. In: Beziau, J.-Y. Coniglio, M.E. (eds.) Logic without Frontiers, Festschrift for Walter Alexandre Carnielli on the occasion of his 60th Birthday, pp. 339-360. College Publications, London (2011)
Brady, R.T.: The consistency of arithmetic. Based Logic Meaning Containment, Logique et Anal. 55, 353–383 (2012)
Brady, R.T.: The simple consistency of naive set theory using metavaluations. J. Philos. Logic 43, 261–281 (2014)
Brady, R.T., Meinander, A.: Distribution in the logic of meaning containment and in quantum mechanics. In: Tanaka, K., Berto, F., Mares, E., Paoli, F. (eds.) Paraconsistency: Logic and Applications, pp. 223–255. Springer, Dordrecht (2013)
Brady, R.T., Rush, P.A.: What Is wrong with cantor’s Diagonal argument? Logique et Anal. 51, 185–219 (2008)
Brady, R.T., Rush, P.A.: Four basic logical issues. Rev. Symbolic Logic 2, 488–508 (2009)
Carnap, R.: Meaning And necessity, 2nd edn. University of Chicago Press (1956)
Henkin, L.: The completeness of the first order functional calculus. J. Symbolic Logic 14, 159–166 (1949)
Lavers, P.S.: Generating intensional logics, M.A. Thesis, University of Adelaide (1989)
Meyer, R.K.: Metacompleteness. Notre Dame J. Formal Logic 17, 501–516 (1976)
Papadimitriou, C.H.: Computational Complexity. Addison Wesley Longman, Reading, Massachusetts (1994)
Read, S.: Relevant Logic. Blackwell, Oxford (1988)
Routley, R., Meyer, R.K., Plumwood, V., Brady, R.T.: Relevant Logics and their Rivals, vol. 1. The Basic Philosophical and Semantic Theory. Ridgeview, Atascadero, California (1982)
Schroeder-Heister, P.: Uniform proof-theoretic semantics for logical constants (abstract). J. Symbolic Logic 56, 1142 (1991)
Schroeder-Heister, P: Proof-Theoretic Semantics, Tutorial given to the World Universal Logic Conference, Xian, China (2007)
Slaney, J.K.: A metacompleteness theorem for contraction-free relevant logics. Studia Logica 43, 159–168 (1984)
Slaney, J.K.: Reduced models for relevant logics without WI. Notre Dame J. Formal Logic 28, 395–407 (1987)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer India
About this paper
Cite this paper
Brady, R.T. (2015). Logic—The Big Picture. In: Beziau, JY., Chakraborty, M., Dutta, S. (eds) New Directions in Paraconsistent Logic. Springer Proceedings in Mathematics & Statistics, vol 152. Springer, New Delhi. https://doi.org/10.1007/978-81-322-2719-9_17
Download citation
DOI: https://doi.org/10.1007/978-81-322-2719-9_17
Published:
Publisher Name: Springer, New Delhi
Print ISBN: 978-81-322-2717-5
Online ISBN: 978-81-322-2719-9
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)