Proof-Theoretic Semantics and the Interpretation of Atomic Sentences

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


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.

Author's Profile

Preston Stovall
University of Hradec Králové


Added to PP

96 (#76,421)

6 months
30 (#80,820)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?