display all the ideas for this combination of texts
4 ideas
15652 | We can use truth instead of ontologically loaded second-order comprehension assumptions about properties [Halbach] |
15651 | Instead of saying x has a property, we can say a formula is true of x - as long as we have 'true' [Halbach] |
6653 | Syntactical methods of proof need only structure, where semantic methods (truth-tables) need truth [Lowe] |
6516 | Monty Hall Dilemma: do you abandon your preference after Monty eliminates one of the rivals? [PG] |