Deflationary Truth and Pathologies

@article{Cieslinski2010DeflationaryTA,
  title={Deflationary Truth and Pathologies},
  author={C. Cieslinski},
  journal={Journal of Philosophical Logic},
  year={2010},
  volume={39},
  pages={325-337}
}
  • C. Cieslinski
  • Published 2010
  • Mathematics, Computer Science
  • Journal of Philosophical Logic
By a classical result of Kotlarski, Krajewski and Lachlan, pathological satisfaction classes can be constructed for countable, recursively saturated models of Peano arithmetic. In this paper we consider the question of whether the pathology can be eliminated; we ask in effect what generalities involving the notion of truth can be obtained in a deflationary truth theory (a theory of truth which is conservative over its base). It is shown that the answer depends on the notion of pathology we… Expand

Topics from this paper

Compositional truth with propositional tautologies and quantifier-free correctness
Local collection scheme and end-extensions of models of compositional truth
Local collection and end-extensions of models of compositional truth
L O ] 2 4 M ay 2 01 8 Truth , Disjunction , and Induction
Interpreting the compositional truth predicate in models of arithmetic
Truth, disjunction, and induction

References

SHOWING 1-10 OF 18 REFERENCES
Satisfaction Classes in Nonstandard Models of First-Order Arithmetic
Deflationism and Tarski's paradise
On Gödel's Theorems on Lenghts of Proofs I: Number of Lines and Speedup for Arithmetics
  • S. Buss
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1994
Disquotationalism and infinite conjunctions
Models of Peano arithmetic
  • R. Kaye
  • Mathematics, Computer Science
  • Oxford logic guides
  • 1991
Metamathematics of First-Order Arithmetic
How Innocent Is Deflationism?
  • V. Halbach
  • Computer Science, Mathematics
  • Synthese
  • 2004
Proof and Truth: Through Thick and Thin
Truth, Conservativeness, and Provability
In praise of the free lunch: Why disquotationalists should embrace compositional semantics
  • Bollander (eds.) Self-Reference,
  • 2006
...
1
2
...