Philosophical Studies 177 (3):667-686 (2020)

Authors
Bogdan Dicher
Universidade de Lisboa
Abstract
Intra-theoretical logical pluralism is a form of meaning-invariant pluralism about logic, articulated recently by Hjortland :355–373, 2013). This version of pluralism relies on it being possible to define several distinct notions of provability relative to the same logical calculus. The present paper picks up and explores this theme: How can a single logical calculus express several different consequence relations? The main hypothesis articulated here is that the divide between the internal and external consequence relations in Gentzen systems generates a form of intra-theoretical logical pluralism.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s11098-018-1199-z
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: 71,355
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 Logical Basis of Metaphysics.Michael Dummett - 1991 - Harvard University Press.
Introduction to Metamathematics.Stephen Cole Kleene - 1952 - Princeton, NJ, USA: North Holland.
Philosophy of Logic.W. V. Quine - 1970 - Harvard University Press.
The Logical Syntax of Language.Rudolf Carnap - 1937 - London: K. Paul, Trench, Trubner & Co..
Natural Deduction: A Proof-Theoretical Study.Dag Prawitz - 1965 - Stockholm, Sweden: Dover Publications.

View all 49 references / Add more references

Citations of this work BETA

Inferences and Metainferences in ST.Pablo Cobreros, Paul Egré, David Ripley & Robert van Rooij - 2020 - Journal of Philosophical Logic 49 (6):1057-1077.

View all 7 citations / Add more citations

Similar books and articles

Carnap’s Tolerance, Meaning, and Logical Pluralism.Greg Restall - 2002 - Journal of Philosophy 99 (8):426 - 443.
Pluralism and Proofs.Greg Restall - 2014 - Erkenntnis 79 (S2):279-291.
Problems for Logical Pluralism.Owen Griffiths - 2013 - History and Philosophy of Logic 34 (2):170 - 182.
Logical Pluralism.Jc Beall & Greg Restall - 2005 - Oxford, England: Oxford University Press.
Synonymy and Intra-Theoretical Pluralism.Patrick Allo - 2015 - Australasian Journal of Philosophy 93 (1):77-91.
Logical Pluralism.Jc Beall & Greg Restall - 2000 - Australasian Journal of Philosophy 78 (4):475 – 493.
What Logical Pluralism Cannot Be.Rosanna Keefe - 2014 - Synthese 191 (7):1375-1390.

Analytics

Added to PP index
2018-12-06

Total views
44 ( #259,254 of 2,519,597 )

Recent downloads (6 months)
1 ( #406,756 of 2,519,597 )

How can I increase my downloads?

Downloads

My notes