The logical strength of compositional principles

DOI10.1215/00294527-2017-0011MaRDI QIDQ1704080zbMATH OpenOpenAlexFDO

Authors Richard G. jun. Heck

Publication date 8 March 2018

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.ndjfl/1499241609, https://semanticscholar.org/paper/38c32e53196117f083de64cef7e583c859c68a3d

zbMATH Keywords

truthcompositionalityTarskideflationism

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Relative consistency and interpretations (03F25)

Recommendations

• Deflationism and conservativeness: did someone change the subject?
• Conservativity for theories of compositional truth via cut elimination
• Compositional meaning in logic
• Deflationism, conservativeness and maximality
• How innocent is deflationism?

Cites work

• scientific article; zbMATH DE number 3999883 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• scientific article; zbMATH DE number 2212008 (Why is no real title available?)
• Arithmetization of metamathematics in a general setting
• Axiomatic truth, syntax and metatheoretic reasoning
• Concatenation as a basis for arithmetic
• Consistency and the theory of truth
• Cuts, consistency statements and interpretations
• Disquotational truth and analyticity
• Finite Axiomatizability using additional predicates
• Growing commas. A study of sequentiality and concatenation
• How innocent is deflationism?
• Models of axiomatic systems
• On the scheme of induction for bounded arithmetic formulas
• Reflection principles and provability algebras in formal arithmetic
• Sets and Classes
• String theory
• The logical strength of compositional principles
• Truth Definitions and Consistency Proofs
• Truth and disquotation
• Undecidability without arithmetization
• Undecidable theories

Cited in

(1)

• The logical strength of compositional principles

This page was built for publication: The logical strength of compositional principles

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1704080)