On entend souvent dire que la liberté est la possibilité de faire ce que l'on veut. Dans ces conditions, il suffirait par exemple de dire que l'on peut lever le bras et de lever le bras effectivement, pour avoir démontré la liberté. La démonstration correspondrait alors à une démarche où l'on apporte la preuve que l'on peut faire quelque chose en la faisant effectivement, c'est-à-dire en démontrant que l'on peut être la cause initiale d'un mouvement. Mais a-t-on pour autant démontré que nous pouvions toujours faire ce que l'on voulait ? N'avons-nous pas plutôt démontré l'inverse, à savoir que nous ne pouvions ne pas lever le bras ? Peut-on alors démontrer la liberté ?
Répondre à cette question permettrait de déterminer si la liberté existe, si elle est réelle et pas seulement une impression liée au fait que nous avons le contrôle de nos mouvements. D'ailleurs, en première approche, la liberté semble à la fois plus large et plus évidente encore : nous choisissons ce que nous voulons être, le métier que nous voulons exercer, les activités que nous souhaitons pratiquer, les endroits où nous voulons voyager, etc. Mais, en même temps, il existe aussi des contraintes auxquelles nous ne pouvons pas échapper comme par exemple travailler, supporter sa belle-mère ou payer ses impôts. En ce sens, la liberté consisterait moins à faire ce que l'on veut que de ne pas être obligé de faire ce que l'on ne veut pas. La démonstration, quant à elle, renvoie à une série de propositions rigoureuses permettant d'établir avec certitude un résultat. Or, toute la difficulté est là car le verbe "pouvoir" nécessite ici de s'interroger sur la capacité de la raison humaine à prouver par une série de déductions rigoureuses que la liberté existe. L'enjeu est majeur parce que s'il n'est pas possible de démontrer la liberté, alors c'est que l'inverse, à savoir que la liberté n'existe pas, peut être suspecté. Est-il possible d'établir que l'existence de la liberté est une certitude ?