19 ideas
19579 | The history of philosophy is just experiments in how to do philosophy [Novalis] |
19583 | Philosophy only begins when it studies itself [Novalis] |
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] |
19581 | A problem is a solid mass, which the mind must break up [Novalis] |
19584 | Whoever first counted to two must have seen the possibility of infinite counting [Novalis] |
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] |
22025 | Novalis thought self-consciousness cannot disclose 'being', because we are temporal creatures [Novalis, by Pinkard] |
22067 | Poetry is true idealism, and the self-consciousness of the universe [Novalis] |
10060 | Logical positivists adopted an If-thenist version of logicism about numbers [Musgrave] |
19585 | Every person has his own language [Novalis] |
19582 | Morality and philosophy are mutually dependent [Novalis] |
22027 | Life isn't given to us like a novel - we write the novel [Novalis] |
19580 | If the pupil really yearns for the truth, they only need a hint [Novalis] |