In Igor Sedlár & Martin Blicha (eds.), The Logica Yearbook 2019. London, Vereinigtes Königreich: pp. 33 - 47 (2020)

Mirko Engler
Humboldt-University, Berlin
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.
Keywords substitutional definitions of logical consequence  Quine  metatheory of logical consequence
Categories (categorize this paper)
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

Formal Notes on the Substitutional Analysis of Logical Consequence.Volker Halbach - 2020 - Notre Dame Journal of Formal Logic 61 (2):317-339.
Reinflating Logical Consequence.Owen Griffiths - 2012 - Journal of Philosophical Logic (1):1-9.
Logical Truth and Consequence.Christopher Noel Foster - 1999 - Dissertation, University of Kansas
Reinflating Logical Consequence.Owen Griffiths - 2014 - Journal of Philosophical Logic 43 (1):171-179.
Assessment Context-Sensitive Logical Claims.Paul L. Simard Smith - 2020 - Inquiry: An Interdisciplinary Journal of Philosophy 63 (3-4):282-301.
Tarski, Model Theory, and Logical Truth.John William Etchemendy - 1982 - Dissertation, Stanford University
What 'Must' and 'Can' Must and Can Mean.Angelika Kratzer - 1977 - Linguistics and Philosophy 1 (3):337--355.
Material Consequence and Formal Grounding.Elena G. Dragalina-Chernaya - 2020 - Epistemology and Philosophy of Science 57 (2):79-95.
Logical Consequence for Nominalists.Marcus Rossberg & Daniel Cohnitz - 2009 - Theoria : An International Journal for Theory, History and Fundations of Science 24 (2):147-168.


Added to PP index

Total views
28 ( #352,647 of 2,340,230 )

Recent downloads (6 months)
28 ( #24,152 of 2,340,230 )

How can I increase my downloads?


My notes