Proof-theoretic semantics is a well-established inferentialist theory of meaning that develops ideas proposed by Prawitz and Dummett. The main aim of this theory is to find a foundation of logic based on some aspects of the linguistic use of the logical terms, as opposed to the regular foundation offered by a model-theoretic approach à la Tarski, in which the denotation of non-linguistic entities is central. Traditionally, intuitionistic logic is considered justified in proof-theoretic semantics (although some doubts are sometimes raised regarding ex falso quodlibet). Even though this approach to semantics has greatly progressed in the last decades, it remains nonetheless controversial the existence of a justification of classical logic that suits its restraints. In this thesis I examine various proposals that try to give such a justification and propose a new one greatly inspired by one of Peter Milne’s papers. The conclusion is, to some extent, open since a reformulation of some notions of proof-theoretic semantics is needed in order to justify classical logic. I conclude the thesis with a general defence of logical pluralism and a description of the kind of pluralism that can be applied to our reformulation of proof-theoretic semantics.

Pluralism in Proof-Theoretic Semantics / Leonardo Ceragioli. - (2020).

Pluralism in Proof-Theoretic Semantics

Leonardo Ceragioli
2020

Abstract

Proof-theoretic semantics is a well-established inferentialist theory of meaning that develops ideas proposed by Prawitz and Dummett. The main aim of this theory is to find a foundation of logic based on some aspects of the linguistic use of the logical terms, as opposed to the regular foundation offered by a model-theoretic approach à la Tarski, in which the denotation of non-linguistic entities is central. Traditionally, intuitionistic logic is considered justified in proof-theoretic semantics (although some doubts are sometimes raised regarding ex falso quodlibet). Even though this approach to semantics has greatly progressed in the last decades, it remains nonetheless controversial the existence of a justification of classical logic that suits its restraints. In this thesis I examine various proposals that try to give such a justification and propose a new one greatly inspired by one of Peter Milne’s papers. The conclusion is, to some extent, open since a reformulation of some notions of proof-theoretic semantics is needed in order to justify classical logic. I conclude the thesis with a general defence of logical pluralism and a description of the kind of pluralism that can be applied to our reformulation of proof-theoretic semantics.
2020
Enrico Moriconi
ITALIA
Leonardo Ceragioli
File in questo prodotto:
File Dimensione Formato  
TesiCeragioli.pdf

accesso aperto

Descrizione: TesiDottorato
Tipologia: Tesi di dottorato
Licenza: Open Access
Dimensione 1.04 MB
Formato Adobe PDF
1.04 MB Adobe PDF

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

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/1196477
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact