Abstract
This paper uses Avron’s algebraic semantics for the logic RMI to model some ideas in the philosophy of science. Avron’s relevant disjunctive structures (RDS) are each partitioned into relevance domains. Each relevance domain is a boolean algebra. I employ this semantics to act as a formal framework to represent what Nancy Cartwright calls the “dappled world”. On the dappled world hypothesis, local scientific theories each represent restricted aspects and regions of the universe. I use relevance domains to represent the domains of each of these local theories and I provide a formalisation of the salient relationships between so-called fundamental theories and local theories. I also examine ways in which the paraconsistent nature of RMI can be used to deal with inconsistencies within and between theories adopted by scientists. The paper ends with some suggestions about updating RDS given changes in the theories that science adopts.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Avron’s relevance relation (Avron 1990a, p. 713ff) is his formalisation of this notion of connection between propositions.
- 2.
For a similar but more protracted defence of intensional disjunction, see Read (1988).
- 3.
In fact, Newton’s laws allow the derivation of laws that are approximately the same as Kepler’s laws. I can adjust my view to claim that Newton’s laws allow the derivation of a theory that is approximately the same as Kelper’s, but this will require the use of a relation of approximate similarity, and this will add rather a lot of complexity to the formalism. So I just make the simplifying assumption that on the fundamentalist theory local theories are straightforwardly derivable from general ones.
- 4.
- 5.
At some places in Galileo’s text, the bodies described are stones, and at others they are a musket ball and a cannon ball.
- 6.
For example, I have heard some physicists say that they like to use the elegant mathematics of string theory, and that it gives the right results, but that they do not believe it. As my student Tim Irwin pointed out to me, in the social sciences it is a platitude that “all theories are false, but some are useful”.
- 7.
In R and stronger systems, \((A\rightarrow B)\circ (B\rightarrow A)\) is equivalent to \((A\rightarrow B)\wedge (B\rightarrow A)\), where \(\wedge \) is extensional conjunction.
- 8.
As one referee helpfully pointed out, in real life theories quantifiers are used. I would be interesting to see what effect the addition of quantifiers has to the theory of relevance domains. My idea is this: extend RDS using Halmos’s theory of polyadic algebras (Halmos 1962). I think relevance domains would remain and would look like little classical polyadic algebras. But I do not have a proof of this yet.
- 9.
The opposite has occurred several times in science. For example, whereas Newton’s theory distinguishes conceptually between gravitational and inertial mass, Einstein’s theory takes them to be the same. One could imagine, however, a future physical theory that once again distinguishes between them.
References
Anderson, A., & Belnap, N. D. (1975). Entailment: Logic of Relevance and Necessity (Vol. I). Princeton: Princeton University Press.
Avron, A. (1990). Relevance and paraconsistency - a new approach. Journal of Symbolic Logic, 55, 707–732.
Avron, A. (1990). Relevance and paraconsistency - a new approach, part II: The formal systems. Notre Dame Journal of Formal Logic, 31, 169–202.
Avron, A. (1991). Relevance and paraconsistency - a new approach, part III: Cut-free gentzen-type systems. Notre Dame Journal of Formal Logic, 32, 147–160.
Batens, D. (2017). Scientific problem solving: Why inconsistency is no big deal. Humana Mente, 10, 149–177.
Boyer, C. B. (1959). The History of the Calculus and its Conceptual Development. New York: Dover.
Brown, B. (1992). The old quantum theory: A paraconsistent approach. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association, 1992, 397–411.
Brown, B., & Priest, G. (2004). Chunk and permeate: An inconsistent inference strategy. Part I: The infinitesimal calculus. Journal of Philosophical Logic, 33, 379–388.
Brown, B., & Priest, G. (2015). Chunk and permeate II: Bohr’s hydrogen atom. European Journal for the Philosophy of Science, 5, 297–314.
Brown, J. R. (1993). The Laboratory of the Mind: Thought Experiments in the Natural Sciences. London: Routledge.
Carnielli, W., & Coniglio, M. E. (2015). Paraconsistent Logic: Consistency, Contradiction, and Negation. Dordrecht: Springer.
Cartwright, N. (1983). How the Laws of Physics Lie. Oxford: Oxford University Press.
Cartwright, N. (1999). The Dappled World: A Study of the Boundaries of Science. Cambridge: Cambridge University Press.
Da Costa, N. C. A., & French, S. (2003). Science and Partial Truth: A Unitary Approach to Models and Scientific Reasoning. Oxford: Oxford University Press.
Cresswell, M. J. (2012). Mathematical entities in the divided line. The Review of Metaphysics, 66, 89–104.
Fine, K. (1974). Models for entailment. Journal of Philosophical Logic, 3, 347–372.
Galilei, G. (1933). Dialogues Concerning Two New Sciences. New York: McGraw-Hill.
Halmos, P. (1962). Algebraic Logic. New York: Chelsea.
Kitcher, P. (1981). Explanatory unification. Philosophy of Science, 48, 507–531.
Mares, E., & Fuhrmann, A. (1995). A relevant theory of conditionals. Journal of Philosophical Logic, 24, 645–665.
Norton, J. D. (1999). The cosmological woes of Newtonian gravitational theory. In H. Goenner, J. Renn, J. Ritter, & T. Sauer (Eds.), The Expanding Worlds of General Relativity (pp. 271–323). Basil: Birkhauser.
Read, S. (1988). Relevant Logic: A Philosophical Interpretation of Inference. Oxford: Basil Blackwell.
Russell, B. (1903). Principles of Mathematics. New York: W.W. Norton and Company.
van Fraassen, B. C. (1980). The Scientific Image. Oxford: Oxford University Press.
van Fraassen, B. C. (1989). Laws and Symmetry. Oxford: Oxford University Press.
Vickers, P. (2013). Understanding Inconsistent Science. Oxford: Oxford University Press.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Mares, E. (2021). Relevance Domains and the Philosophy of Science. In: Arieli, O., Zamansky, A. (eds) Arnon Avron on Semantics and Proof Theory of Non-Classical Logics. Outstanding Contributions to Logic, vol 21. Springer, Cham. https://doi.org/10.1007/978-3-030-71258-7_10
Download citation
DOI: https://doi.org/10.1007/978-3-030-71258-7_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-71257-0
Online ISBN: 978-3-030-71258-7
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)