16 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] |
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] |
10062 | Formalism seems to exclude all creative, growing mathematics [Musgrave] |
10063 | Formalism is a bulwark of logical positivism [Musgrave] |
8353 | Freedom involves acting according to an idea [Anscombe] |
8352 | To believe in determinism, one must believe in a system which determines events [Anscombe] |
10060 | Logical positivists adopted an If-thenist version of logicism about numbers [Musgrave] |
1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
8351 | With diseases we easily trace a cause from an effect, but we cannot predict effects [Anscombe] |
4777 | The word 'cause' is an abstraction from a group of causal terms in a language (scrape, push..) [Anscombe] |
10363 | Causation is relative to how we describe the primary relata [Anscombe, by Schaffer,J] |
8350 | Since Mill causation has usually been explained by necessary and sufficient conditions [Anscombe] |
5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |