Studia Logica 92 (2):241-264 (2009)

Authors
Greg Restall
University of Melbourne
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.
Keywords Philosophy   Computational Linguistics   Mathematical Logic and Foundations   Logic
Categories (categorize this paper)
DOI 10.1007/s11225-009-9197-y
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 52,661
Through your library

References found in this work BETA

The Logic of Paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.
Elements of Intuitionism.Michael Dummett - 1977 - Oxford University Press.
Multiple Conclusions.Greg Restall - 2005 - In Petr Hájek, Luis Valdés-Villanueva & Dag Westerståhl (eds.), Logic, Methodology and Philosophy of Science. College Publications.
Inferentialism and Some of its Challenges.Robert Brandom - 2007 - Philosophy and Phenomenological Research 74 (3):651-676.

View all 8 references / Add more references

Citations of this work BETA

Paradoxes and Failures of Cut.David Ripley - 2013 - Australasian Journal of Philosophy 91 (1):139 - 164.
Negation on the Australian Plan.Francesco Berto & Greg Restall - 2019 - Journal of Philosophical Logic 48 (6):1119-1144.
Pluralism and Proofs.Greg Restall - 2014 - Erkenntnis 79 (S2):279-291.
Anything Goes.David Ripley - 2015 - Topoi 34 (1):25-36.
A Cut-Free Sequent System for Two-Dimensional Modal Logic, and Why It Matters.Greg Restall - 2012 - Annals of Pure and Applied Logic 163 (11):1611-1623.

View all 11 citations / Add more citations

Similar books and articles

Reinflating Logical Consequence.Owen Griffiths - 2012 - Journal of Philosophical Logic (1):1-9.
From the "Naturalistic Fallacy" to the Ideal Observer Theory.Glen-O. Allen - 1970 - Philosophy and Phenomenological Research 30:533-549.
Valor de Verdad.John Corcoran - 2011 - In Luis Vega and Paula Olmos (ed.), Compendio de Lógica, Argumentación y Retórica. Editorial Trotta. pp. 627--629.
Modal Models for Bradwardine's Theory of Truth.Greg Restall - 2008 - Review of Symbolic Logic 1 (2):225-240.
Towards a Theory of Partial Truth.Jean-Pierre Marquis - 1988 - Dissertation, Mcgill University (Canada)
Proof Theory and Set Theory.Gaisi Takeuti - 1985 - Synthese 62 (2):255 - 263.
On the Probabilistic Convention T.Hannes Leitgeb - 2008 - Review of Symbolic Logic 1 (2):218-224.

Analytics

Added to PP index
2009-07-11

Total views
96 ( #97,355 of 2,340,027 )

Recent downloads (6 months)
2 ( #334,980 of 2,340,027 )

How can I increase my downloads?

Downloads

My notes