Starting from a proof-theoretic perspective, wheremeaning 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 (Logical pluralism, Oxford University Press, Oxford, 2006). 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.

Proof-theoretic pluralism / Ferrari, Filippo; Orlandelli, Eugenio. - In: SYNTHESE. - ISSN 0039-7857. - ELETTRONICO. - 198:(2021), pp. 4879-4903. [10.1007/s11229-019-02217-6]

Proof-theoretic pluralism

Ferrari, Filippo
Co-primo
Writing – Original Draft Preparation
;
Orlandelli, Eugenio
Co-primo
Writing – Original Draft Preparation
2021

Abstract

Starting from a proof-theoretic perspective, wheremeaning 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 (Logical pluralism, Oxford University Press, Oxford, 2006). 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.
2021
Proof-theoretic pluralism / Ferrari, Filippo; Orlandelli, Eugenio. - In: SYNTHESE. - ISSN 0039-7857. - ELETTRONICO. - 198:(2021), pp. 4879-4903. [10.1007/s11229-019-02217-6]
Ferrari, Filippo; Orlandelli, Eugenio
File in questo prodotto:
File Dimensione Formato  
Ferrari_Orlandelli_Postprint_Proof.pdf

accesso aperto

Descrizione: Articolo
Tipo: Postprint
Licenza: Licenza per accesso libero gratuito
Dimensione 487.57 kB
Formato Adobe PDF
487.57 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/685616
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? 2
social impact