Abstract
The paper examines the sentential and quantificational forms of distribution in classical, intuitionistic and relevant logics, and in relation to quantum mechanics. Particular attention is also paid to the first author’s logic MCQ of meaning containment. The ultimate aim is to determine whether distribution should be included and, if so, in what forms. We conclude that the sentential and existential rule-forms, both derivable from the two-premise meta-rules of MCQ, are the only two forms that generally hold.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
The lattice properties are the meet and join properties of conjunction and disjunction which follow from the following axioms: A&B → A, A&B → B, (A → B)&(A → C) → (A → B&C), A → A ∨ B, B → A ∨ B, (A → C)&(B → C) → . (A ∨ B) → C. With respect to an ordering based on the ‘ → ’, conjunction represents the greatest lower bound and disjunction represents the least upper bound.
- 2.
To derive (A&B) ∨ (A&C) from A&(B ∨ C) using the Anderson and Belnap version of the & ∨ rule, first derive A, (A&B) ∨ C, C ∨ (A&B), A&(C ∨ (A&B)) and then apply & ∨ again. The derivation of (A&B) ∨ C a from A&(B ∨ C) a using our version of & ∨ follows from (A&B) ∨ (A&C) a , A&B → (A&B) ∨ C ∅ , and A&C → (A&B) ∨ C ∅ , by applying ∨ E.
- 3.
The logic DW is MC without A11. (A → B)&(B → C) → (A → C).
- 4.
Thanks to Bob Meyer and Greg Restall for pointing out this lattice to the first author.
- 5.
This is shown as follows: \(\neg A,A \vee {B}^{a}{/}_{x} \Rightarrow {B}^{a}{/}_{x}\), where a does not occur in B, by the DS, and hence ¬A, ∀x(A ∨ B) ⇒ ∀xB. By the two-premise metarule (*) and the LEM, A ∨ ∀x(A ∨ B) ⇒ A ∨ ∀xB, and hence ∀x(A ∨ B) ⇒ A ∨ ∀xB.
References
Anderson, A.R., and N.D. Belnap. 1975. Entailment, the logic of relevance and necessity, vol 1. Princeton: Princeton University Press.
Beall, J.C., and G. Restall. 2006. Logical pluralism. Oxford: Oxford University Press.
Belnap, N.D. 1993. Life in the undistributed middle. In Substructural logics, ed. K. Dosen and P. Schroeder-Heister, 31–41. Oxford: Oxford Science Publications.
Birkhoff, G., and J. von Neumann. 1936. The logic of quantum mechanics. Annals of Mathematics 37: 823–843.
Brady, R.T. 1984. Natural deduction systems for some quantified relevant logics. Logique et Analyse 27: 355–377.
Brady, R.T. 1996. Relevant implication and the case for a weaker logic. Journal of Philosophical Logic 24: 151–183.
Brady, R.T. 1996a. Gentzenizations of relevant logics with distribution. The Journal of Symbolic Logic 61: 402–420.
Brady, R.T. 1996b. Gentzenizations of relevant logics without distribution I. The Journal of Symbolic Logic 61: 353–378.
Brady, R.T. 1996c. Gentzenizations of relevant logics without distribution II. The Journal of Symbolic Logic 61: 379–401.
Brady, R.T. (ed.). 2003. Relevant logics and their rivals, vol. 2. Aldershot: Ashgate.
Brady, R.T. (2006). Universal logic. Stanford: CSLI Publications.
Brady, R.T. 2006a. Normalized natural deduction systems for some relevant logics I: The logic DW. The Journal of Symbolic Logic, 71: 35–66.
Brady, R.T. 2008. Negation in metacomplete relevant logics. Logique et Analyse, 51: 331–354.
Brady, R.T. 201+a. Normalized natural deduction systems for some relevant logics II: Other logics and deductions. Presented to the Australasian association for logic conferences, University of Adelaide, 2003, and University of Otago, 2004.
Brady, R.T. 201+b. Normalized natural deduction systems for some relevant logics III: Modal and quantificational logics. Presented to the Australasian association for logic Conference, ANU, 2002, and to the 1st World Congress on Universal Logic, Montreux, 2005.
Brady, R.T., and P.A. Rush. 2008. What is wrong with Cantor’s diagonal argument? Logique et Analyse 51: 185–219.
Dalla Chiara, M.L., R. Giuntini, and R. Greechie. 2004. Reasoning in quantum theory. Dordrecht: Kluwer.
Dummett, M. 1977. Elements of intuitionism. Oxford: Oxford University Press.
Dunn, J.M. 1981. Quantum mathematics. Philosophy of science association 1980, vol. 2. Princeton: Princeton University Press.
Fine, K. 1988. Semantics for quantified relevance logic. Journal of Philosophical Logic 17: 22–59.
Gentzen, G. 1969. Investigations into logical deduction. In The collected papers of gerhard gentzen, ed. M. Szabo. Amsterdam: North-Holland.
Griffiths, R.B. 2002. Consistent quantum theory. New York: Cambridge University Press.
Heyting, A. 1966. Intuitionism, an introduction. Amsterdam: North-Holland.
Ketonen, O. 1944. Untersuchungen zum Prädikatenkalkül. Annales Academiae Scientiarum Fennicae, A1, 23: 1–71.
Kochen, S., and E.P. Specker. 1965. Logical structures arising in quantum theory. In The theory of models, ed. J. Addison, L. Henkin, and A. Tarski, 177–189. Amsterdam: North-Holland.
Ludwig, G. 1983. Foundations of quantum mechanics, vol. 1. Berlin: Springer.
Mares, E.D., and R. Goldblatt. 2006. An alternative semantics for quantified relevant logic. The Journal of Symbolic Logic 71: 163–187.
Paoli, F. 2007. Implicational paradoxes and the meaning of logical constants. Australasian Journal of Philosophy 85: 553–579.
Priest, G. 2001. An introduction to non-classical logic. Cambridge: Cambridge University Press.
Putnam, H. 1975. Mathematics, matter and method: Philosophical papers, vol. 1. Cambridge: Cambridge University Press.
Read, S. 1988. Relevant logic: A philosophical examination of inference. Oxford: Blackwell.
Reichenbach, H. 1944. Philosophic foundations of quantum mechanics. Berkeley/Los Angeles: University of California Press.
Restall, G. 2007. Review of R.T. Brady, Universal logic. Bulletin of Symbolic Logic 13: 544–547.
Restall, G., and F. Paoli. 2005. The geometry of nondistributive logics. Journal of Symbolic Logic 70: 1108–1126.
Rush, P.A., and R.T. Brady. 2007. What is wrong with truth-functional semantics? Presented to the congress of logic, methodology and the philosophy of science, Beijing, 2007, and to the Australasian association for logic conference, University of Melbourne, 2007.
Schroeder-Heister, P. 1991. Uniform proof-theoretic semantics for logical constants (abstract). The Journal of Symbolic Logic 56: 1142.
Schroeder-Heister, P. 2006. Validity concepts in proof-theoretic semantics. Synthese 148: 525–571.
Schroeder-Heister, P. 2007. Proof theoretic semantics, Tutorial given to the World Universal Logic Conference. Xian, China.
Urquhart, A. 1984. The undecidability of entailment and relevant implication. The Journal of Symbolic Logic 49: 1059–1073.
Acknowledgements
We acknowledge the help of Prof. John Bigelow of Monash University for initiating the current enterprise, by pointing out his concerns about distribution from the point of view of quantum mechanics. We also acknowledge help from the audiences at the Australasian Association for Logic conference at Auckland and the World Congress on Paraconsistency at Melbourne, 2008, especially Greg Restall, Bob Meyer, Francesco Paoli and Graham Priest. We also thank the referee for diligent work on the paper, which found quite a number of omissions and inaccuracies. The first author also acknowledges the financial assistance of the Australian Research Council grant DP0556114 in carrying out this research.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer Science+Business Media Dordrecht.
About this chapter
Cite this chapter
Brady, R.T., Meinander, A. (2013). 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. Logic, Epistemology, and the Unity of Science, vol 26. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-4438-7_13
Download citation
DOI: https://doi.org/10.1007/978-94-007-4438-7_13
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-007-4437-0
Online ISBN: 978-94-007-4438-7
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)