Hostname: page-component-cd9895bd7-gbm5v Total loading time: 0 Render date: 2024-12-26T19:29:35.214Z Has data issue: false hasContentIssue false
  • English
  • Français

TOTAL LOGIC

Published online by Cambridge University Press:  09 May 2014

STEPHAN LEUENBERGER
Get access Rights & Permissions [Opens in a new window]

Abstract

A typical first stab at explicating the thesis of physicalism is this: physicalism is true iff every fact about the world is entailed by the conjunction of physical facts. The same holds, mutatis mutandis, for other hypotheses about the fundamental nature of our world. But it has been recognized that this would leave such hypotheses without the fighting chance that they deserve: certain negative truths, like the truth (if it is one) that there are no angels, are not entailed by the physical facts, but nonetheless do not threaten physicalism. A plausible remedy that has been suggested by Jackson and Chalmers is that physicalism boils down to the thesis that every truth is entailed by the conjunction of the physical facts prefixed by a “that’s it” or “totality” operator. To evaluate this suggestion, we need to know what that operator means, and—since the truth of physicalism hinges on what is entailed by a totality claim—what its logic is. That is, we need to understand the logic of totality, or total logic. In this paper, I add a totality operator to the language of propositional logic and present a model theory for it, building on a suggestion by Chalmers and Jackson. I then prove determination results for a number of different systems.

Type
Research Article
Information
The Review of Symbolic Logic , Volume 7 , Issue 3 , September 2014 , pp. 529 - 547
Copyright
Copyright © Association for Symbolic Logic 2014 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

BIBLIOGRAPHY

Armstrong, D. M. (1989). A Combinatorial Theory of Possibility. Cambridge, MA: Cambridge University Press.Google Scholar
Arntzenius, F. (2008). Gunk, topology and measure. In Zimmerman, D. W., editor. Oxford Studies in Metaphysics, Oxford: Oxford University Press, pp. 225–247.Google Scholar
Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal Logic. Cambridge Tracts in Computer Science. Cambridge, MA: Cambridge University Press.Google Scholar
Chalmers, D. J. (2010). The two-dimensional argument against materialism. In The Character of Consciousness, Oxford: Oxford University Press, pp. 141–192.Google Scholar
Chalmers, D. J. (2012). Constructing the World. Oxford: Oxford University Press.Google Scholar
Chalmers, D. J., & Jackson, F. (2001). Conceptual analysis and reductive explanation. The Philosophical Review, 110, 315–361.CrossRefGoogle Scholar
Coggins, G. (2010). Could There Have Been Nothing? Against Metaphysical Nihilism. Basingstoke: Palgrave Macmillan.Google Scholar
Eddon, M. (2007). Armstrong on quantities and resemblance. Philosophical Studies, 136, 385–404.Google Scholar
Jackson, F. (1994). Armchair metaphysics. In O’Leary-Hawthorne, J., and Michael, M., editors. Philosophy in Mind, Dordrecht: Kluwer.Google Scholar
Jackson, F. (1998). From Metaphysics to Ethics. Oxford: Oxford University Press.Google Scholar
Lemmon, J., & Scott, D. (1977). An introduction to modal logic. Oxford: Blackwell.Google Scholar
van Benthem, J. (2001). Correspondence theory. In Gabbay, D.M., and Guenthner, F., editors. Handbook of Philosophical Logic (second edition), vol. 3. Dordrecht: Kluwer Academic Publishers, pp. 325–408.Google Scholar
Varzi, A. (2012). Mereology. In Zalta, E. N., editor. Stanford Encyclopedia of Philosophy (Winter 2012 edition).Google Scholar