Clearly no working class movement ever came about that was able to do what Marx was hoping for.

Hegel's theory of recognition is basically derived from Fichte, who is its real author.

Not only in order to act morally, but even to formulate theoretical questions, devise experiments, choose which ones to perform and what conclusions to draw from then - we must presuppose that we are free. That's the sense in which it is true that for Kant "we must assume we are free."

Kant regards the universalizability test for maxims as focused on a very special sort of situation: one where the agent is tempted to make an exception to a recognized duty out of self-preference. The universalizability test is supposed help the agent to see, in a particular case of moral judgment, that self-preference is not a satisfactory reason for exempting yourself from a duty you recognize. Kant thinks, as a matter of human nature, that this situation arises often enough and that we need a canon of judgment to guard against it.

We can never prove that we are free or integrate our freedom in any way into our objective conception of the causal order of nature.

Kant's treatments of rational theology and metaphysics were aimed primarily at theoretical questions. His attitude toward the pseudo-sciences of "special metaphysics" in Wolff and Baumgarten was always double-edged. He did see them as pseudo-sciences but also valued their doctrinal value and especially their regulative value for the empirical sciences. Like his views about religion, I don't think any of this is any longer viable in its original form.

Fichte takes an I or free will to be not a thing or being but an act which is not undetermined but self-determined, in accordance with reasons or norms rationally self-given.