To try to explain how I see the difference between philosophy and metaphilosophy:
My definition of philosophy is similar to @MichaelDickens’ but I would use “have serviceable explicitly understood methods” instead of “formally studied” or “formalized” to define what isn’t philosophy, as the latter might be or could be interpreted as being too high of a bar, e.g., in the sense of formal systems.
So in my view, philosophy is directly working on various confusing problems (such as “what is the right decision theory”) using whatever poorly understood methods that we have or can implicitly apply, and then metaphilosophy is trying to help solve these problems on a meta level, by better understanding the nature of philosophy, for example:
Try to find if there is some unifying quality that ties all of these “philosophical” problems together (besides “lack of serviceable explicitly understood methods”).
Try to formalize some part of philosophy, or find explicitly understood methods for solving certain philosophical problems.
Try to formalize all of philosophy wholesale, or explicitly understand what is it that humans are doing (or should be doing, or what AIs should be doing) when it comes to solving problems in general. This may not be possible, i.e., maybe there is no such general method that lets us solve every problem given enough time and resources, but it sure seems like humans have some kind of general purpose (but poorly understood) method, that lets us make progress slowly over time on a wide variety of problems, including ones that are initially very confusing, or hard to understand/explain what we’re even asking, etc. We can at least aim to understand what is it that humans are or have been doing, even if it’s not a fully general method.
I’m curious what you say about “which are the specific problems (if any) where you specifically think ‘we really need to have solved philosophy / improved-a-lot-at-metaphilosophy’ to have a decent shot at solving this?’”
(as opposed to, well, generally it sounds good to be good at solving confusing problems, and we do expect to have some confusing problems to solve, but, like, we might pretty quickly figure out ‘oh, the problem is actually shaped like <some paradigmatic system>’ and then deal with it?)
I’m curious what you say about “which are the specific problems (if any) where you specifically think ‘we really need to have solved philosophy / improved-a-lot-at-metaphilosophy’ to have a decent shot at solving this?’”
Assuming by “solving this” you mean solving AI x-safety or navigating the AI transition well, I just post a draft about this. Or if you already read that and are asking for an even more concrete example, a scenario I often think about is an otherwise aligned ASI, some time into the AI transition when things are moving very fast (from a human perspective) and many highly consequential decisions need to be made (e.g., what alliances to join, how to bargain with others, how to self-modify or take advantage of the latest AI advances, how to think about AI welfare and other near-term ethical issues, what to do about commitment races and threats, how to protect the user against manipulation or value drift, whether to satisfy some user request that might be harmful according to their real values) that often involve philosophical problems. And they can’t just ask their user (or alignment target) or even predict “what would the user say if they thought about this for a long time” because the user themselves may not be philosophically very competent and/or making such predictions with high accuracy (over a long enough time frame) is still outside their range of capabilities.
So the specific problem is how to make sure this AI doesn’t make wrong decisions that cause a lot of waste or harm, that quickly or over time cause most of the potential value of the universe to be lost, which in turn seems to involve figuring out how the AI should be thinking about philosophical problems, or how to make the AI philosophically competent even if their alignment target isn’t.
Does this help / is this the kind of answer you’re asking for?
To try to explain how I see the difference between philosophy and metaphilosophy:
My definition of philosophy is similar to @MichaelDickens’ but I would use “have serviceable explicitly understood methods” instead of “formally studied” or “formalized” to define what isn’t philosophy, as the latter might be or could be interpreted as being too high of a bar, e.g., in the sense of formal systems.
So in my view, philosophy is directly working on various confusing problems (such as “what is the right decision theory”) using whatever poorly understood methods that we have or can implicitly apply, and then metaphilosophy is trying to help solve these problems on a meta level, by better understanding the nature of philosophy, for example:
Try to find if there is some unifying quality that ties all of these “philosophical” problems together (besides “lack of serviceable explicitly understood methods”).
Try to formalize some part of philosophy, or find explicitly understood methods for solving certain philosophical problems.
Try to formalize all of philosophy wholesale, or explicitly understand what is it that humans are doing (or should be doing, or what AIs should be doing) when it comes to solving problems in general. This may not be possible, i.e., maybe there is no such general method that lets us solve every problem given enough time and resources, but it sure seems like humans have some kind of general purpose (but poorly understood) method, that lets us make progress slowly over time on a wide variety of problems, including ones that are initially very confusing, or hard to understand/explain what we’re even asking, etc. We can at least aim to understand what is it that humans are or have been doing, even if it’s not a fully general method.
Does this make sense?
Yeah that all makes sense.
I’m curious what you say about “which are the specific problems (if any) where you specifically think ‘we really need to have solved philosophy / improved-a-lot-at-metaphilosophy’ to have a decent shot at solving this?’”
(as opposed to, well, generally it sounds good to be good at solving confusing problems, and we do expect to have some confusing problems to solve, but, like, we might pretty quickly figure out ‘oh, the problem is actually shaped like <some paradigmatic system>’ and then deal with it?)
Assuming by “solving this” you mean solving AI x-safety or navigating the AI transition well, I just post a draft about this. Or if you already read that and are asking for an even more concrete example, a scenario I often think about is an otherwise aligned ASI, some time into the AI transition when things are moving very fast (from a human perspective) and many highly consequential decisions need to be made (e.g., what alliances to join, how to bargain with others, how to self-modify or take advantage of the latest AI advances, how to think about AI welfare and other near-term ethical issues, what to do about commitment races and threats, how to protect the user against manipulation or value drift, whether to satisfy some user request that might be harmful according to their real values) that often involve philosophical problems. And they can’t just ask their user (or alignment target) or even predict “what would the user say if they thought about this for a long time” because the user themselves may not be philosophically very competent and/or making such predictions with high accuracy (over a long enough time frame) is still outside their range of capabilities.
So the specific problem is how to make sure this AI doesn’t make wrong decisions that cause a lot of waste or harm, that quickly or over time cause most of the potential value of the universe to be lost, which in turn seems to involve figuring out how the AI should be thinking about philosophical problems, or how to make the AI philosophically competent even if their alignment target isn’t.
Does this help / is this the kind of answer you’re asking for?