Open Access
2018 The Logical Strength of Compositional Principles
Richard G. Heck Jr.
Notre Dame J. Formal Logic 59(1): 1-33 (2018). DOI: 10.1215/00294527-2017-0011


This paper investigates a set of issues connected with the so-called conservativeness argument against deflationism. Although I do not defend that argument, I think the discussion of it has raised some interesting questions about whether what I call “compositional principles,” such as “a conjunction is true iff its conjuncts are true,” have substantial content or are in some sense logically trivial. The paper presents a series of results that purport to show that the compositional principles for a first-order language, taken together, have substantial logical strength, amounting to a kind of abstract consistency statement.


Download Citation

Richard G. Heck Jr.. "The Logical Strength of Compositional Principles." Notre Dame J. Formal Logic 59 (1) 1 - 33, 2018.


Received: 4 September 2014; Accepted: 28 February 2015; Published: 2018
First available in Project Euclid: 5 July 2017

zbMATH: 1384.03037
MathSciNet: MR3744349
Digital Object Identifier: 10.1215/00294527-2017-0011

Primary: 03A05

Keywords: compositionality , deflationism , Tarski , Truth

Rights: Copyright © 2018 University of Notre Dame

Vol.59 • No. 1 • 2018
Back to Top