The Logical Strength of Compositional Principles

@article{Heck2018TheLS,
  title={The Logical Strength of Compositional Principles},
  author={Richard G. Heck},
  journal={Notre Dame J. Formal Log.},
  year={2018},
  volume={59},
  pages={1-33}
}
  • Richard G. Heck
  • Published 2018
  • Mathematics, Computer Science
  • Notre Dame J. Formal Log.
Some years ago, Shapiro (1998) and Ketland (1999) independently developed what is now known as the ‘conservativeness argument’ against deflationary views of truth. Attempting to understand in what sense a deflationary truth-predicate is ‘insubstantial’, they proposed that the principles concerning truth that a deflationist accepts should conservatively extend whatever non-semantic theories the deflationist also accepts: No ‘insubstantial’ theory of truth ought to allow us to prove things about… Expand
5 Citations

Tables and Topics from this paper

References

SHOWING 1-10 OF 30 REFERENCES
AXIOMATIC TRUTH, SYNTAX AND METATHEORETIC REASONING
TRUTH AND DISQUOTATION
Finite Axiomatizability Using Additional Predicates
CONSISTENCY AND THE THEORY OF TRUTH
Disquotational truth and analyticity
  • V. Halbach
  • Computer Science, Mathematics
  • Journal of Symbolic Logic
  • 2001
Disquotationalism and infinite conjunctions
Deflationism and Tarski's paradise
Cuts, Consistency Statements and Interpretations
  • P. Pudlák
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1985
Concatenation as a Basis for Arithmetic
  • W. Quine
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1946
Models of axiomatic systems
...
1
2
3
...