[adjkant]

> When people say that free will exists, they're saying that there is coherent notion of control over one's actions that grounds moral responsibility.

My top level post very much says the same thing, I agree.

However, that definition has little to nothing to do with randomness or determinism is very much a mystery to me. When I say "formalized" free will here, I understand that there's much debate on definition, as I exactly said in the post about begging the question of definition. However, the content of these and other free will arguments show that the one many approach is not the one you just supplied. I think both definitions have importance, but the existence of each has different implications.

You seem to have the issue opposite of many formalized philosophers - getting stuck on definition, but on the "practical" one. We're in agreement on that one but using different words. But you're writing off the importance of the "formal", or at least the one this writing implies.

[naasking]

Most philosophers are actually Compatibilists [1], along similiar lines to what I've been writing. I have no issue with determinism as it's compatible with free will in my view.

[1] Around 60% Compatibilist, https://philpapers.org/surveys/results.pl

[adjkant]

I'm familiar with compatibilism of course. By your definition of free will I would also be considered a compatibilist to you. I'm not arguing that. I'm saying that the different definition of free will (the more stringent / nearly logically impossible one you are writing) still has value in discussion because philosophers argue for it (including some of those compatibilists I'm sure) and that definition has meaning in relation to determinism and the resulting ethics of how we use agency/choice/your definition of free will. You can't erase other conceptions of free will because you believe in one, and I've tried to capture that with the "formal" and "practical" labels, admittedly needing work.

I think we're both on the same page on the definitional problem of free will, but I don't see how/why you are minimizing all other definitions.

[naasking]

Maybe you can provide an example of what sort of definition I rule out, because I'm still not understanding what you mean.

[adjkant]

I'm going to respond in a single thread here as this is getting pretty fragmented: https://news.ycombinator.com/item?id=23480481