Two axiomatic treatments of this concept are the Friedman-Sheard theory and the Kripke-Feferman theory.
Two axiomatic treatments of this concept are the Friedman-Sheard theory and the Kripke-Feferman theory. The revision theory of this concept was advanced by Herzberger and Gupta and in their work it is defined in terms of Tarski biconditionals. Frege advanced a deflationary or disquotational view of this property, while H.H. Joachim was among the first to offer a coherentist view. Bivalence is the view that every proposition must stand in relation to this property, while correspondence theories like Logical Atomism hold that a proposition has this property provided that it matches up to things in the world. FTP identify this concept which describes the clues in this tossup, which may or may not set you free.
Two axiomatic treatments of this concept are the Friedman-Sheard theory and the Kripke-Feferman theory.
{truth}