13 ideas
15390 | Metaphysics attempts to give an account of everything, in terms of categories and principles [Simons] |
10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
13430 | Infinity: there is an infinity of distinguishable individuals [Ramsey] |
13428 | Reducibility: to every non-elementary function there is an equivalent elementary function [Ramsey] |
13427 | Either 'a = b' vacuously names the same thing, or absurdly names different things [Ramsey] |
10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |
13334 | Contradictions are either purely logical or mathematical, or they involved thought and language [Ramsey] |
10885 | Computer proofs don't provide explanations [Horsten] |
10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
13426 | Formalists neglect content, but the logicists have focused on generalizations, and neglected form [Ramsey] |
13425 | Formalism is hopeless, because it focuses on propositions and ignores concepts [Ramsey] |
22328 | I just confront the evidence, and let it act on me [Ramsey] |
22325 | A belief is knowledge if it is true, certain and obtained by a reliable process [Ramsey] |