Relative Interpretations and Substitutional Definitions of Logical Truth and Consequence

In Igor Sedlár & Martin Blicha (eds.), The Logica Yearbook 2019. London, Vereinigtes Königreich: pp. 33 - 47 (2020)
Download Edit this record How to cite View on PhilPapers
This paper proposes substitutional definitions of logical truth and consequence in terms of relative interpretations that are extensionally equivalent to the model-theoretic definitions for any relational first-order language. Our philosophical motivation to consider substitutional definitions is based on the hope to simplify the meta-theory of logical consequence. We discuss to what extent our definitions can contribute to that.
PhilPapers/Archive ID
Upload history
Archival date: 2020-07-31
View other versions
Added to PP index

Total views
16 ( #50,688 of 51,451 )

Recent downloads (6 months)
16 ( #31,782 of 51,451 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.