5 ideas
17962 | The truth-maker principle is that every truth has a sufficient truth-maker [Forrest] |
17699 | Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel] |
17813 | Löwenheim-Skolem says any theory with a true interpretation has a model in the natural numbers [White,NP] |
17812 | Finite cardinalities don't need numbers as objects; numerical quantifiers will do [White,NP] |
15432 | Structural universals might serve as possible worlds [Forrest, by Lewis] |