Philosophy is notorious for not answering the questions it tackles. Plato posed most of the central questions more than two millennia ago, and philosophers still haven't come to much consensus about them. Or at least, whenever philosophical questions begin to admit of answers, we start calling them scientific questions. (Astronomy, physics, chemistry, biology, and psychology all began as branches of philosophy.)
A common attitude on Less Wrong is "Too slow! Solve the problem and move on." The free will sequence argues that the free will problem has been solved.
I, for one, am bold enough to claim that some philosophical problems have been solved. Here they are:
- Is there a God? No.
- What's the solution to the mind-body problem? Materialism.
- Do we have free will? We don't have contra-causal free will, but of course we have the ability to deliberate on alternatives and have this deliberation effect the outcome.
- What is knowledge? (How do we overcome Gettier?) What is art? How do we demarcate science from non-science? If you're trying to find simple definitions that match our intuitions about the meaning of these terms in ever case, you're doing it wrong. These concepts were not invented by mathematicians for use in a formal system. They evolved in practical use among millions of humans over hundreds of years. Stipulate a coherent meaning and start using the term to successfully communicate with others.
It's as though there were a separate subfield of mathematics devoted entirely to proposing axioms and definitions, and someone was defending that subfield against criticisms that it doesn't produce "results" simply by listing some of the definitions that have become standard.
Of course definitions are important, but this kind of exercise seems futile.
Number 8 is a case in point. It may as well simply state "Kripke's theory of alethic modal operators and natural kinds has become standard". Which is true, and Kripke's theory is interesting in many ways, but sometimes it's more of a hindrance than a help: There's this theory of "2 dimensional semantics" whose entire purpose (as far as I can tell) is to allow philosophers to pay lip service to Kripke's theory while ignoring it in practice.
(To fit the pieces together, follow the link above, substituting "cats" for "water" and "animals" for "H2O"; and also read Richard Chappell's post.)