8 ideas
9470 | Modal logic is not an extensional language [Parsons,C] |
10196 | The Axiom of Choice needs a criterion of choice [Black] |
9469 | Substitutional existential quantifier may explain the existence of linguistic entities [Parsons,C] |
9468 | On the substitutional interpretation, '(∃x) Fx' is true iff a closed term 't' makes Ft true [Parsons,C] |
10194 | Two things can only be distinguished by a distinct property or a distinct relation [Black] |
10193 | The 'property' of self-identity is uselessly tautological [Black] |
10195 | If the universe just held two indiscernibles spheres, that refutes the Identity of Indiscernibles [Black] |
17613 | We should judge principles by the science, not science by some fixed principles [Zermelo] |