display all the ideas for this combination of philosophers
4 ideas
17924 | Excluded middle says P or not-P; bivalence says P is either true or false [Colyvan] |
7306 | If the only property of a name was its reference, we couldn't explain bearerless names [Miller,A] |
17929 | Löwenheim proved his result for a first-order sentence, and Skolem generalised it [Colyvan] |
17930 | Axioms are 'categorical' if all of their models are isomorphic [Colyvan] |