- #176
gentzen
Science Advisor
Gold Member
- 934
- 746
A. Neumaier said:Finding the right framework in which to solve tough mathematical problems that have been unsolved for years in spite of many attempts usually involves much philosophical pondering about the "interpretation" of the problem!
The philosophical part goes away only after the problems have been solved.
I think that the "philosophical pondering" and the "philosophical part" here should not be confused with "philosophical speculations". More likely, the "philosophical pondering about the interpretation of the problem" will turn out to be mostly metamathematics, with a small amount of linguistics and semantics. We know that you are not a huge fan of semantics either, but words do have meaning, and mathematical formalisms can have meaning too.vanhees71 said:I think this vast work gives enough glimpses on more comprehensive descriptions to exorcize any philosophical speculations ;-)).
Note also that the word "interpretation" can have two slightly different meanings. One of the meanings is to give a mathematical model of a theory. The other meaning is to explain how a mathematical theory is used in its applications. Dismissing anything which requires careful use of words and their meaning as philosophy ensures that "problems ... unsolved for years" will continue to remain unsolved.
gentzen said:My impression is that linguistic and metamathematics are a huge part of analytical philosophy, and perhaps most of the stuff called "philosophy" in this forum should also better be just called metamathematics.
gentzen said:And if analytic philosophy had never happened, this would be totally unproblematic. They tried to "save" philosophy from metaphysics and postmodern nonsense. But because of them, substantial parts of most structural sciences and linguistic are now part of philosophy.