14 ideas
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] |
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] |
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] |
17644 | Metaphysical realism is committed to there being one ultimate true theory [Putnam] |
17648 | It is an illusion to think there could be one good scientific theory of reality [Putnam] |
17643 | Shape is essential relative to 'statue', but not essential relative to 'clay' [Putnam] |
17642 | The old view that sense data are independent of mind is quite dotty [Putnam] |
3102 | Why don't we experience or remember going to sleep at night? [Magee] |
10060 | Logical positivists adopted an If-thenist version of logicism about numbers [Musgrave] |
17645 | An alien might think oxygen was the main cause of a forest fire [Putnam] |