I think this would be an extremely useful exercise for multiple independent reasons:
it’s directly attempting to teach skills which I do not currently know any reproducible way to teach/learn
it involves looking at how breakthroughs happened historically, which is an independently useful meta-strategy
it directly involves investigating the intuitions behind foundational ideas relevant to the theory of agency, and could easily expose alternative views/interpretations which are more useful (in some contexts) than the usual presentations
Yeah, this is definitely more high-risk, high-reward than the others, and the fact that there’s potentially some very substantial spillover effects if successful makes me both excited and nervous about the concept. I’m thinking of Arbital as an example of “trying to solve way too many problems at once”, so I want to manage expectations and just try to make some exercises that inspire people to think about the art of mathematizing certain fuzzy philosophical concepts. (Running title is “Formalization Exercises”, but I’m not sure if there’s a better pithy name that captures it).
In any case, I appreciate the feedback, Mr. Entworth.
I think this would be an extremely useful exercise for multiple independent reasons:
it’s directly attempting to teach skills which I do not currently know any reproducible way to teach/learn
it involves looking at how breakthroughs happened historically, which is an independently useful meta-strategy
it directly involves investigating the intuitions behind foundational ideas relevant to the theory of agency, and could easily expose alternative views/interpretations which are more useful (in some contexts) than the usual presentations
*begins drafting longer proposal*
Yeah, this is definitely more high-risk, high-reward than the others, and the fact that there’s potentially some very substantial spillover effects if successful makes me both excited and nervous about the concept. I’m thinking of Arbital as an example of “trying to solve way too many problems at once”, so I want to manage expectations and just try to make some exercises that inspire people to think about the art of mathematizing certain fuzzy philosophical concepts. (Running title is “Formalization Exercises”, but I’m not sure if there’s a better pithy name that captures it).
In any case, I appreciate the feedback, Mr. Entworth.
Oh no, not you too. It was bad enough with just Bena.
I think we can change your username to have capital letters if you want. ;)