4 ideas
19695 | The devil was wise as an angel, and lost no knowledge when he rebelled [Whitcomb] |
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] |
10009 | Substitutional quantification is just a variant of Tarski's account [Wallace, by Baldwin] |