Synthese 198 (Suppl 20):4879-4903 (2019)

Filippo Ferrari
Universität Bonn
Starting from a proof-theoretic perspective, where meaning is determined by the inference rules governing logical operators, in this paper we primarily aim at developing a proof-theoretic alternative to the model-theoretic meaning-invariant logical pluralism discussed in Beall and Restall. We will also outline how this framework can be easily extended to include a form of meaning-variant logical pluralism. In this respect, the framework developed in this paper—which we label two-level proof-theoretic pluralism—is much broader in scope than the one discussed in Beall and Restall’s book.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s11229-019-02217-6
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: 70,039
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.
Logic, Semantics, Metamathematics.Alfred Tarski - 1956 - Oxford, Clarendon Press.
Varieties of Logic.Stewart Shapiro - 2014 - Oxford and New York: Oxford University Press.
The Taming of the True.Neil Tennant - 1997 - Oxford, England: Oxford University Press.

View all 46 references / Add more references

Citations of this work BETA

Limits of Abductivism About Logic.Ulf Hlobil - 2021 - Philosophy and Phenomenological Research 103 (2):320-340.

Add more citations

Similar books and articles

Pluralism and Proofs.Greg Restall - 2014 - Erkenntnis 79 (S2):279-291.
Logical Pluralism, Meaning-Variance, and Verbal Disputes.Ole Thomassen Hjortland - 2013 - Australasian Journal of Philosophy 91 (2):355-373.
Inference Rules and the Meaning of the Logical Constants.Hermógenes Oliveira - 2019 - Dissertation, Eberhard Karls Universität Tübingen
A Proof-Theoretic Semantics for Adjectival Modification.Nissim Francez - 2017 - Journal of Logic, Language and Information 26 (1):21-43.
Revisiting Dummett's Proof-Theoretic Justification Procedures.Hermógenes Oliveira - 2017 - In Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2016. London: College Publications. pp. 141-155.


Added to PP index

Total views
48 ( #235,858 of 2,505,790 )

Recent downloads (6 months)
9 ( #81,150 of 2,505,790 )

How can I increase my downloads?


My notes