Acting autonomously versus not acting heteronomously

This paper presents a formal framework that purports to capture some aspects of Kant's theory of freedom. In particular, we argue that the analysis sheds further light on Kant's distinction between a negative and a positive concept of freedom. The paper shows that the two concepts are not equivalent: we not only argue that in a Kantian perspective negative freedom need not entail positive freedom, but also that there are situations in which a person can be said to be positively but not negatively free ( in a Kantian sense).