Abstract
I present an account of truth values for classical logic, intuitionistic logic, and the modal logic S5, in which truth values are not a fundamental category from which the logic is defined, but rather, an idealisation of more fundamental logical features in the proof theory for each system. The result is not a new set of semantic structures, but a new understanding of how the existing semantic structures may be understood in terms of a more fundamental notion of logical consequence.
Similar content being viewed by others
References
Avron Arnon: ‘The method of hypersequents in the proof theory of propositional non-classical logics’. In: Wilfrid, Hodges, Martin, Hyland, Charles, Steinhorn, John, Truss (eds) Logic: from foundations to applications: European logic colloquium, pp. 1 –132. Clarendon Press, Oxford (1996)
Brandom, Robert B., Making It Explicit, Harvard University Press, 1994.
Brandom, Robert B., Articulating Reasons: an introduction to inferentialism, Harvard University Press, 2000.
Brandom Robert B.: ‘Infrentialism and Some of Its Challenges’. Philosophy and Phenomenological Research 74(3), 651–676 (2007)
van Dalen, Dirk, ‘Intuitionistic Logic’, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, volume III, D. Reidel, Dordrecht, 1986.
Dummett Michael: Elements of Intuitionism. Oxford University Press, Oxford (1977)
Dummett, Michael, The Logical Basis of Metaphysics, Harvard University Press, 1991.
Heyting Arend: Intuitionism: An Introduction. Amsterdam, North Holland (1956)
Lance, Mark Norris, and John O’Leary-Hawthorne, The Grammar of Meaning, Cambridge University Press, 1997.
Peregrin Jaroslav: ‘Meaning as an Inferential Role’. Erkenntnis 64(1), 1–35 (2006)
Peregrin, Jaroslav, ‘Semantics as Based on Inference’, in Johan van Benthem, Gerhard Heinzmann, Manuel Rebuschi, and Henk Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today, Springer, 2006, pp. 25–36.
Poggiolesi Francesca: ‘A cut-free simple sequent calculus for modal logic S5’. Review of Symbolic Logic 1, 3–15 (2008)
Priest Graham: ‘The Logic of Paradox’. Journal of Philosophical Logic 8(1), 219–241 (1979)
Priest, Graham, An Introduction to Non-Classical Logic, Cambridge University Press, 2001.
Restall, Greg, ‘Multiple Conclusions’, in Petr Hájek, Luis Valdés-Villanueva, and Dag Westerståhl (eds.), Logic, Methodology and Philosophy of Science: Proceedings of the Twelfth International Congress, KCL Publications, 2005, pp. 189–205.
Restall, Greg, ‘Proofnets for s5: sequents and circuits for modal logic’, in Costas Dimitracopoulos, Ludomir Newelski, and Dag Normann (eds.), Logic Colloquium 2005, Cambridge University Press, 2007.
Tennant, Neil, Anti-Realism and Logic: Truth as Eternal, Clarendon Library of Logic and Philosophy, Oxford University Press, 1987.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Restall, G. Truth Values and Proof Theory. Stud Logica 92, 241–264 (2009). https://doi.org/10.1007/s11225-009-9197-y
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-009-9197-y