27 ideas
12124 | Metaphysics is the best knowledge, because it is the simplest [Bacon] |
12123 | Natural history supports physical knowledge, which supports metaphysical knowledge [Bacon] |
12119 | Physics studies transitory matter; metaphysics what is abstracted and necessary [Bacon] |
12120 | Physics is of material and efficient causes, metaphysics of formal and final causes [Bacon] |
10061 | The If-thenist view only seems to work for the axiomatised portions of mathematics [Musgrave] |
10065 | Perhaps If-thenism survives in mathematics if we stick to first-order logic [Musgrave] |
10049 | Logical truths may contain non-logical notions, as in 'all men are men' [Musgrave] |
10050 | A statement is logically true if it comes out true in all interpretations in all (non-empty) domains [Musgrave] |
10058 | No two numbers having the same successor relies on the Axiom of Infinity [Musgrave] |
14085 | 'Deductivist' structuralism is just theories, with no commitment to objects, or modality [Linnebo] |
14084 | Non-eliminative structuralism treats mathematical objects as positions in real abstract structures [Linnebo] |
14086 | 'Modal' structuralism studies all possible concrete models for various mathematical theories [Linnebo] |
14087 | 'Set-theoretic' structuralism treats mathematics as various structures realised among the sets [Linnebo] |
14089 | Structuralism differs from traditional Platonism, because the objects depend ontologically on their structure [Linnebo] |
14083 | Structuralism is right about algebra, but wrong about sets [Linnebo] |
14090 | In mathematical structuralism the small depends on the large, which is the opposite of physical structures [Linnebo] |
10062 | Formalism seems to exclude all creative, growing mathematics [Musgrave] |
10063 | Formalism is a bulwark of logical positivism [Musgrave] |
14091 | There may be a one-way direction of dependence among sets, and among natural numbers [Linnebo] |
14088 | An 'intrinsic' property is either found in every duplicate, or exists independent of all externals [Linnebo] |
12121 | We don't assume there is no land, because we can only see sea [Bacon] |
12117 | Science moves up and down between inventions of causes, and experiments [Bacon] |
12127 | Many different theories will fit the observed facts [Bacon] |
12126 | People love (unfortunately) extreme generality, rather than particular knowledge [Bacon] |
10060 | Logical positivists adopted an If-thenist version of logicism about numbers [Musgrave] |
12125 | Teleological accounts are fine in metaphysics, but they stop us from searching for the causes [Bacon] |
12118 | Essences are part of first philosophy, but as part of nature, not part of logic [Bacon] |