7 ideas
10196 | The Axiom of Choice needs a criterion of choice [Black] |
13827 | Logical consequence isn't a black box (Tarski's approach); we should explain how arguments work [Prawitz] |
13826 | Model theory looks at valid sentences and consequence, but not how we know these things [Prawitz] |
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] |
15877 | The aim of science is just to create a comprehensive, elegant language to describe brute facts [Poincaré, by Harré] |