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] |
11989 | For Russell, expressions dependent on contingent circumstances must be eliminated [Kaplan] |
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] |
10062 | Formalism seems to exclude all creative, growing mathematics [Musgrave] |
10063 | Formalism is a bulwark of logical positivism [Musgrave] |
11990 | 'Haecceitism' says that sameness or difference of individuals is independent of appearances [Kaplan] |
9668 | 'Haecceitism' is common thisness under dissimilarity, or distinct thisnesses under resemblance [Kaplan] |
11991 | If quantification into modal contexts is legitimate, that seems to imply some form of haecceitism [Kaplan] |
5987 | Alcmaeon was the first to say the brain is central to thinking [Alcmaeon, by Staden, von] |
10060 | Logical positivists adopted an If-thenist version of logicism about numbers [Musgrave] |
24043 | Soul must be immortal, since it continually moves, like the heavens [Alcmaeon, by Aristotle] |