display all the ideas for this combination of philosophers
3 ideas
15926 | Second-order logic presupposes a set of relations already fixed by the first-order domain [Lavine] |
15934 | Mathematical proof by contradiction needs the law of excluded middle [Lavine] |
6516 | Monty Hall Dilemma: do you abandon your preference after Monty eliminates one of the rivals? [PG] |