Abstract
My discussion has four parts. In section 1, I reconstruct Leibniz’s early position on freedom and show how various problems motivated significant changes in Leibniz’s views over a short period of time. In section two, I outline a series of notes by Leibniz entitled “De Libertate a Necessitate in Eligendo,” where Leibniz develops a rudimentary theory of contingency that resembles the infinite analysis theory developed around 1686. In section three, I consider some reasons for why Leibniz dropped the “Eligendo” view. In section four, I look at the link that Leibniz develops between an infinite series of reasons and indemonstrability and suggest how the rudimentary theory of “Eligendo” eventually became the infinite analysis theory of contingency.