Total logic

Leuenberger, S. (2014) Total logic. Review of Symbolic Logic, 7(3), pp. 529-547. (doi:10.1017/S1755020314000124)

[img]
Preview
Text
93863.pdf - Accepted Version

402kB

Publisher's URL: http://dx.doi.org/10.1017/S1755020314000124

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.

Item Type:Articles
Status:Published
Refereed:Yes
Glasgow Author(s) Enlighten ID:Leuenberger, Dr Stephan
Authors: Leuenberger, S.
College/School:College of Arts > School of Humanities > Philosophy
Journal Name:Review of Symbolic Logic
Publisher:Cambridge University Press
ISSN:1755-0203
ISSN (Online):1755-0211
Copyright Holders:Copyright © 2014 Cambridge University Press
First Published:First published in Review of Symbolic Logic
Publisher Policy:Reproduced in accordance with the copyright policy of the publisher.

University Staff: Request a correction | Enlighten Editors: Update this record