display all the ideas for this combination of texts
2 ideas
10170 | While true-in-a-model seems relative, true-in-all-models seems not to be [Reck/Price] |
Full Idea: While truth can be defined in a relative way, as truth in one particular model, a non-relative notion of truth is implied, as truth in all models. | |
From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
A reaction: [The article is actually discussing arithmetic] This idea strikes me as extremely important. True-in-all-models is usually taken to be tautological, but it does seem to give a more universal notion of truth. See semantic truth, Tarski, Davidson etc etc. |
14008 | The redundancy theory conflates metalinguistic bivalence with object-language excluded middle [Bourne] |
Full Idea: The problem with the redundancy theory of truth is that it conflates the metalinguistic notion of bivalence with a theorem of the object language, namely the law of excluded middle. | |
From: Craig Bourne (A Future for Presentism [2006], 3.III Pr3) |