display all the ideas for this combination of texts
2 ideas
| 10062 | Formalism seems to exclude all creative, growing mathematics [Musgrave] |
| Full Idea: Formalism seems to exclude from consideration all creative, growing mathematics. | |
| From: Alan Musgrave (Logicism Revisited [1977], §5) | |
| A reaction: [He cites Lakatos in support] I am not immediately clear why spotting the remote implications of a formal system should be uncreative. The greatest chess players are considered to be highly creative and imaginative. |
| 10063 | Formalism is a bulwark of logical positivism [Musgrave] |
| Full Idea: Formalism is a bulwark of logical positivist philosophy. | |
| From: Alan Musgrave (Logicism Revisited [1977], §5) | |
| A reaction: Presumably if you drain all the empirical content out of arithmetic and geometry, you are only left with the bare formal syntax, of symbols and rules. That seems to be as analytic as you can get. |