The strict-tolerant (ST) approach to paradox promises to erect theories of naïve truth and tolerant vagueness on the firm bedrock of classical logic. We assess the extent to which this claim is founded. Building on some results by Girard (Diss Math 136, 1976) we show that the usual proof-theoretic formulation of propositional ST in terms of the classical sequent calculus without primitive Cut is incomplete with respect to ST-valid metainferences, and exhibit a complete calculus for the same class of metainferences. We also argue that the latter calculus, far from coinciding with classical logic, is a close kin of Priest’s LP.

ST, LP, and tolerant metainferences

francesco paoli
;
bogdan dicher
2019-01-01

Abstract

The strict-tolerant (ST) approach to paradox promises to erect theories of naïve truth and tolerant vagueness on the firm bedrock of classical logic. We assess the extent to which this claim is founded. Building on some results by Girard (Diss Math 136, 1976) we show that the usual proof-theoretic formulation of propositional ST in terms of the classical sequent calculus without primitive Cut is incomplete with respect to ST-valid metainferences, and exhibit a complete calculus for the same class of metainferences. We also argue that the latter calculus, far from coinciding with classical logic, is a close kin of Priest’s LP.
File in questo prodotto:
File Dimensione Formato  
Articolo versione bozza.pdf

Solo gestori archivio

Tipologia: versione post-print (AAM)
Dimensione 385.02 kB
Formato Adobe PDF
385.02 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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/11584/282108
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 32
  • ???jsp.display-item.citation.isi??? ND
social impact