7 ideas
6294 | In the beginning was the Word, and the Word was with God, and the word was God [John] |
8821 | Jesus said he bore witness to the truth. Pilate asked, What is truth? [John] |
6345 | Minimalism is incoherent, as it implies that truth both is and is not a property [Boghossian, by Horwich] |
8758 | We could talk of open sentences, instead of sets [Chihara, by Shapiro] |
10265 | Chihara's system is a variant of type theory, from which he can translate sentences [Chihara, by Shapiro] |
8759 | We can replace type theory with open sentences and a constructibility quantifier [Chihara, by Shapiro] |
10264 | Introduce a constructibility quantifiers (Cx)Φ - 'it is possible to construct an x such that Φ' [Chihara, by Shapiro] |