display all the ideas for this combination of philosophers
3 ideas
10696 | A 'logical truth' (or 'tautology', or 'theorem') follows from empty premises [Beall/Restall] |
13236 | Logical truth is much more important if mathematics rests on it, as logicism claims [Beall/Restall] |
14245 | Logical truths are true no matter what exists - but predicate calculus insists that something exists [Oliver/Smiley] |