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 No keywords specified (fix it)
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,742
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Logic of Paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.
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.
Meaning as an Inferential Role.Jaroslav Peregrin - 2006 - Erkenntnis 64 (1):1-35.
Proofnets for S5: Sequents and Circuits for Modal Logic.Greg Restall - 2007 - In C. Dimitracopoulos, L. Newelski & D. Normann (eds.), Logic Colloquium 2005. Cambridge: Cambridge University Press. pp. 151-172.

View all 11 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Fuzzy Logic and Approximate Reasoning.L. A. Zadeh - 1975 - Synthese 30 (3-4):407-428.
Many-Valued Logics.Nicholas J. J. Smith - 2012 - In Gillian Russell & Delia Graff Fara (eds.), The Routledge Companion to Philosophy of Language. Routledge. pp. 636--51.
Propositional Logic.Kevin C. Klement - 2004 - Internet Encyclopedia of Philosophy.
Functional Dependencies, Supervenience, and Consequence Relations.I. L. Humberstone - 1993 - Journal of Logic, Language and Information 2 (4):309-336.
A Gentzen System for Conditional Logic.Fernando Guzmán - 1994 - Studia Logica 53 (2):243 - 257.
A Structuralist Account of Logic.Majda Trobok - 2008 - Croatian Journal of Philosophy 8 (2):257-265.
Circularity or Lacunae in Tarski’s Truth-Schemata.Dale Jacquette - 2010 - Journal of Logic, Language and Information 19 (3):315-326.
Partiality and its Dual.J. Michael Dunn - 2000 - Studia Logica 66 (1):5-40.

Analytics

Added to PP index
2010-12-22

Total views
39 ( #249,432 of 2,349,895 )

Recent downloads (6 months)
1 ( #511,368 of 2,349,895 )

How can I increase my downloads?

Downloads

My notes