Proof-theoretic semantics is an alternative to model-theoretic semantics. It aims atexplaining the meaning of the logical constants in terms of the i nference rules thatgovern their behaviour in proofs. We argue that this must be construed as the task ofexplaining these meanings relative to a logic, i.e., to a consequence relation.Alas,there is no agreed set of properties that a relation must have in order to qualify as aconsequence relation. Moreover, the association of a consequence relation to a logicalcalculus is not as straightforward as it may seem. We show that these facts are prob-lematic for the proof-theoretic project but the problems can be solved. Our thesis isthat the consequence relation relevant for proof-theoretic semantics is the one givenby the sequent-to-sequent derivability relation in Gentzen systems.

The original sin of proof-theoretic semantics

francesco paoli;bogdan dicher
2021-01-01

Abstract

Proof-theoretic semantics is an alternative to model-theoretic semantics. It aims atexplaining the meaning of the logical constants in terms of the i nference rules thatgovern their behaviour in proofs. We argue that this must be construed as the task ofexplaining these meanings relative to a logic, i.e., to a consequence relation.Alas,there is no agreed set of properties that a relation must have in order to qualify as aconsequence relation. Moreover, the association of a consequence relation to a logicalcalculus is not as straightforward as it may seem. We show that these facts are prob-lematic for the proof-theoretic project but the problems can be solved. Our thesis isthat the consequence relation relevant for proof-theoretic semantics is the one givenby the sequent-to-sequent derivability relation in Gentzen systems.
2021
Proof-theoretic semantics; Inferentialism; Logical consequence; Gentzen systems
File in questo prodotto:
File Dimensione Formato  
Synt_Original_Sin_RevF_Ongoing.pdf

Solo gestori archivio

Dimensione 289.62 kB
Formato Adobe PDF
289.62 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/263424
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 10
  • ???jsp.display-item.citation.isi??? 9
social impact