Logo do repositório
 
Publicação

The original sin of proof-theoretic semantics

2018-12Artigo científico Desconhecido
Ver registo simples
dc.contributor.authorDicher, Bogdan
dc.contributor.authorPaoli, Francesco
dc.date.accessioned2020-09-30T10:27:25Z
dc.date.available2024-12-01T01:30:33Z
dc.date.issued2018-12
dc.description.abstractProof-theoretic semantics is an alternative to model-theoretic semantics. It aims at explaining the meaning of the logical constants in terms of the inference rules that govern their behaviour in proofs. We argue that this must be construed as the task of explaining 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 a consequence relation. Moreover, the association of a consequence relation to a logical calculus is not as straightforward as it may seem. We show that these facts are problematic for the proof-theoretic project but the problems can be solved. Our thesis is that the consequence relation relevant for proof-theoretic semantics is the one given by the sequent-to-sequent derivability relation in Gentzen systems.pt_PT
dc.description.versioninfo:eu-repo/semantics/publishedVersionpt_PT
dc.identifier.citationDicher, B., Paoli, F. The original sin of proof-theoretic semantics. Synthese (2018). https://doi.org/10.1007/s11229-018-02048-xpt_PT
dc.identifier.doi10.1007/s11229-018-02048-xpt_PT
dc.identifier.eissn1573-0964
dc.identifier.issn0039-7857
dc.identifier.urihttp://hdl.handle.net/10451/44464
dc.language.isoengpt_PT
dc.peerreviewedyespt_PT
dc.publisherSpringerpt_PT
dc.relationLogic, inference, and structure: Proof-theoretic semantics and substructurality
dc.relation.publisherversionhttps://link.springer.com/article/10.1007%2Fs11229-018-02048-xpt_PT
dc.subjectProof-theoretic semanticspt_PT
dc.subjectInferentialismpt_PT
dc.subjectLogical consequencept_PT
dc.subjectGentzen systemspt_PT
dc.subjectLogicpt_PT
dc.subjectPhilosophy of logicpt_PT
dc.titleThe original sin of proof-theoretic semanticspt_PT
dc.typejournal article
dspace.entity.typePublication
oaire.awardTitleLogic, inference, and structure: Proof-theoretic semantics and substructurality
oaire.awardURIinfo:eu-repo/grantAgreement/FCT//SFRH%2FBPD%2F116125%2F2016/PT
oaire.citation.titleSynthesept_PT
project.funder.identifierhttp://doi.org/10.13039/501100001871
project.funder.nameFundação para a Ciência e a Tecnologia
rcaap.rightsopenAccesspt_PT
rcaap.typearticlept_PT
relation.isProjectOfPublication6d122eaa-1617-4dfe-bb6f-025156a665bc
relation.isProjectOfPublication.latestForDiscovery6d122eaa-1617-4dfe-bb6f-025156a665bc

Ficheiros

Principais
A mostrar 1 - 1 de 1
Miniatura
Nome:
Synt_Original_Sin_RevF_B_SuperFinalF_B_29_11_18.pdf
Tamanho:
220.29 KB
Formato:
Adobe Portable Document Format
Descrição:
Manuscript, for quotation please use the version of record
Ver/Abrir

Coleções

CFUL - Artigos em Revistas Internacionais