display all the ideas for this combination of philosophers
3 ideas
8312 | It is better if the existential quantifier refers to 'something', rather than a 'thing' which needs individuation [Lowe] |
6653 | Syntactical methods of proof need only structure, where semantic methods (truth-tables) need truth [Lowe] |
4229 | An infinite series of tasks can't be completed because it has no last member [Lowe] |