In Igor Sedlár & Martin Blicha (eds.), The Logica Yearbook 2019. Rickmansworth: College Publications. pp. 163-178 (2020)

Preston Stovall
University of Hradec Králové
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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

On the Explanatory Power of Truth in Logic.Gila Sher - 2018 - Philosophical Issues 28 (1):348-373.
Proof-Theoretic Semantics and Inquisitive Logic.Will Stafford - 2021 - Journal of Philosophical Logic 50 (5):1199-1229.
Rules for Subatomic Derivation.Bartosz Więckowski - 2011 - Review of Symbolic Logic 4 (2):219-236.
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.
Some Problems for Proof-Theoretic Semantics.William R. Stirton - 2008 - Philosophical Quarterly 58 (231):278–298.
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.


Added to PP index

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?


My notes