In Igor Sedlár & Martin Blicha (eds.), The Logica Yearbook 2019. Rickmansworth: College Publications. pp. 163-178 (2020)
| Authors |
|
| Abstract |
This essay addresses one of the open questions of proof-theoretic semantics: how to understand the semantic values of atomic sentences. I embed a revised version of the explanatory proof system of Millson and Straßer (2019) into the proof-theoretic semantics of Francez (2015) and show how to specify (part of) the intended interpretation of atomic sentences on the basis of their occurrences in the premises and conclusions of inferences to and from best explanations.
|
| Keywords | proof-theoretic semantics explanatory inference inference to the best explanation |
| Categories | (categorize this paper) |
| Buy the book |
Find it on Amazon.com
|
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Proof-Theoretic Semantics and Inquisitive Logic.Will Stafford - 2021 - Journal of Philosophical Logic 50 (5):1199-1229.
Proof-Theoretic Semantics, Paradoxes and the Distinction Between Sense and Denotation.Luca Tranchini - forthcoming - Journal of Logic and Computation 2014.
The Original Sin of Proof-Theoretic Semantics.Bogdan Dicher & Francesco Paoli - 2020 - Synthese:1-26.
The Original Sin of Proof-Theoretic Semantics.Francesco Paoli & Bogdan Dicher - 2018 - Synthese 198 (1):615-640.
Validity Concepts in Proof-Theoretic Semantics.Peter Schroeder-Heister - 2006 - Synthese 148 (3):525-571.
A Constructive Type-Theoretical Formalism for the Interpretation of Subatomically Sensitive Natural Language Constructions.Bartosz Więckowski - 2012 - Studia Logica 100 (4):815-853.
Revisiting Dummett's Proof-Theoretic Justification Procedures.Hermógenes Oliveira - 2017 - In Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2016. London: College Publications. pp. 141-155.
The Categorical and the Hypothetical: A Critique of Some Fundamental Assumptions of Standard Semantics.Peter Schroeder-Heister - 2012 - Synthese 187 (3):925-942.
Some Problems for Proof-Theoretic Semantics.William R. Stirton - 2008 - Philosophical Quarterly 58 (231):278–298.
Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality.Nils Kürbis - 2015 - Journal of Philosophical Logic 44 (6):713-727.
Some Concerns Regarding Ternary-Relation Semantics and Truth-Theoretic Semantics in General.Ross T. Brady - 2017 - IfCoLog Journal of Logics and Their Applications 4 (3):755--781.
Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics.Thomas Piecha & Peter Schroeder-Heister - 2019 - Studia Logica 107 (1):233-246.
Analytics
Added to PP index
2021-10-25
Total views
33 ( #347,668 of 2,517,910 )
Recent downloads (6 months)
15 ( #52,784 of 2,517,910 )
2021-10-25
Total views
33 ( #347,668 of 2,517,910 )
Recent downloads (6 months)
15 ( #52,784 of 2,517,910 )
How can I increase my downloads?
Downloads
