A carregar...
Publicação
The original sin of proof-theoretic semantics
| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| Manuscript, for quotation please use the version of record | 220.29 KB | Adobe PDF |
Autores
Orientador(es)
Resumo(s)
Proof-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.
Descrição
Palavras-chave
Proof-theoretic semantics Inferentialism Logical consequence Gentzen systems Logic Philosophy of logic
Contexto Educativo
Citação
Dicher, B., Paoli, F. The original sin of proof-theoretic semantics. Synthese (2018). https://doi.org/10.1007/s11229-018-02048-x
Editora
Springer