display all the ideas for this combination of philosophers
3 ideas
18470 | Maybe truth-making is an unanalysable primitive, but we can specify principles for it [Smith,B] |
18469 | God might necessitate that something happen, but He is not the truth-maker for it [Smith,B] |
21752 | Prior to Gödel we thought truth in mathematics consisted in provability [Gödel, by Quine] |