19 ideas
14092 | Philosophers are often too fussy about words, dismissing perfectly useful ordinary terms [Rosen] |
14100 | Figuring in the definition of a thing doesn't make it a part of that thing [Rosen] |
17831 | Cantor gives informal versions of ZF axioms as ways of getting from one set to another [Cantor, by Lake] |
10065 | Perhaps If-thenism survives in mathematics if we stick to first-order logic [Musgrave] |
10061 | The If-thenist view only seems to work for the axiomatised portions of mathematics [Musgrave] |
10050 | A statement is logically true if it comes out true in all interpretations in all (non-empty) domains [Musgrave] |
10049 | Logical truths may contain non-logical notions, as in 'all men are men' [Musgrave] |
14096 | Explanations fail to be monotonic [Rosen] |
10058 | No two numbers having the same successor relies on the Axiom of Infinity [Musgrave] |
10063 | Formalism is a bulwark of logical positivism [Musgrave] |
10062 | Formalism seems to exclude all creative, growing mathematics [Musgrave] |
14097 | Things could be true 'in virtue of' others as relations between truths, or between truths and items [Rosen] |
14095 | Facts are structures of worldly items, rather like sentences, individuated by their ingredients [Rosen] |
14093 | An 'intrinsic' property is one that depends on a thing and its parts, and not on its relations [Rosen] |
14094 | The excellent notion of metaphysical 'necessity' cannot be defined [Rosen] |
14101 | Are necessary truths rooted in essences, or also in basic grounding laws? [Rosen] |
10060 | Logical positivists adopted an If-thenist version of logicism about numbers [Musgrave] |
14099 | 'Bachelor' consists in or reduces to 'unmarried' male, but not the other way around [Rosen] |
14098 | An acid is just a proton donor [Rosen] |