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] |
9868 | An expression refers if it is a singular term in some true sentences [Wright,C, by Dummett] |
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] |