In this dissertation, I develop an interpretation of Leibniz on modality and free will. I do so for two reasons: first, I am attempting to revitalize the notion that Leibniz is the predecessor of contemporary modal semantics; second, I am using Leibniz's philosophical system to motivate responses to contemporary philosophical issues in modality and free will. In Chapter One, I argue that Leibniz's basic principles are plausible theoretical tools that ought to be used by contemporary philosophers in developing their philosophical (...) systems. In Chapter Two, I develop Leibniz's views on the nature of individuals. I argue that possible individuals are actually of the same sort as individuals in the actual world--possible individuals and actual individuals are complete creatures that do not differ ontologically from each other. In Chapter Three, I argue that Leibniz's views on possible individuals make him a modal realist and compare his view with contemporary modal realism in order to support this claim. I also argue that counterparts avoid many of the problems set for them by contemporary thinkers; I end with the ways that Leibniz's view differs from contemporary accounts. In Chapter Four, I argue that Leibniz provides two different analyses of modality. The first is an infinite analysis account; the second is a possible worlds account. I argue that these two accounts are compatible and amount to two different descriptions of the same theory of modality. I address objections to each account in order to show this. In Chapter Five, I argue that Leibniz is a compatibilist about free will. Importantly, I argue that it is precisely Leibniz's account of modality that allows for this compatibilism, as against a necessitarian like Spinoza. I then use Leibniz's account to challenge contemporary libertarians about free will on the basis of the principle of sufficient reason. I also show how Leibniz can help semicompatibilism avoid a worry concerning necessitarianism. At the end of the day, I claim that adopting elements of Leibniz's system can help us better understand modality and the freedom of the will and can be an aid in furthering contemporary philosophical theory. (shrink)

Gottfried Wilhelm Leibniz (1646–1716) was one of the great thinkers of the seventeenth and eighteenth centuries and is known as the last “universal genius”. He made deep and important contributions to the fields of metaphysics, epistemology, logic, philosophy of religion, as well as mathematics, physics, geology, jurisprudence, and history. Even the eighteenth century French atheist and materialist Denis Diderot, whose views could not have stood in greater opposition to those of Leibniz, could not help being awed by his achievement, writing (...) in his Encyclopedia, “Perhaps never has a man read as much, studied as much, meditated more, and written more than Leibniz… What he has composed on the world, God, nature, and the soul is of the most sublime eloquence. If his ideas had been expressed with the flair of Plato, the philosopher of Leipzig would cede nothing to the philosopher of Athens.” (Vol. 9, p. 379) Indeed, Diderot's mood was almost despairing in a remark from another piece, which also has a great deal of truth in it: “When one compares the talents one has with those of a Leibniz, one is tempted to throw away one's books and go die quietly in the dark of some forgotten corner.” More than a century later, Gottlob Frege, who fortunately did not cast his books away in despair, expressed similar admiration, declaring that “in his writings, Leibniz threw out such a profusion of seeds of ideas that in this respect he is virtually in a class of his own.” (“Boole's logical Calculus and the Concept script” in Posthumous Writings , p. 9) The aim of this entry is primarily to introduce Leibniz's life and summarize and explicate his views in the realms of metaphysics, epistemology, philosophical theology, and natural philosophy. (shrink)

In this paper, the author develops a theory of concepts and shows that it captures many of the ideas about concepts that Leibniz expressed in his work. Concepts are first analyzed in terms of a precise background theory of abstract objects, and once concept summation and concept containment are defined, the axioms and theorems of Leibniz's calculus of concepts (in his logical papers) are derived. This analysis of concepts is then seamlessly connected with Leibniz's modal metaphysics of complete individual concepts. (...) The fundamental theorem of Leibniz's modal metaphysics of concepts is proved, namely, whenever an object x has F contingently, then (i) the individual concept of x contains the concept F and (ii) there is a (counterpart) complete individual concept y which doesn't contain the concept F and which `appears' at some other possible world. Finally, the author shows how the concept containment theory of truth can be made precise and made consistent with a modern conception of truth. (shrink)

Three different notions of concepts are outlined: one derives from Leibniz, while the other two derive from Frege. The Leibnizian notion is the subject of his "calculus of concepts" (which is really an algebra). One notion of concept from Frege is what we would call a "property", so that when Frege says "x falls under the concept F", we would say "x instantiates F" or "x exemplifies F". The other notion of concept from Frege is that of the notion of (...) sense, which played various roles within Frege's theory. This notion of concept can be generalized and, as such, accounts for our intuitive talk of "x's concept of ...", where the ellipsis can be filled in with a name for individual, a property, or a relation, etc. After outlining these three notions, I then discuss how (axiomatic) object theory offers a distinct, precise regimentation of each of the three notions. (shrink)

In this presentation, I first outline three different notions of concepts: one derives from Leibniz, while the other two derive from Frege. The Leibnizian notion is the subject of his “calculus of concepts” (which is really an algebra). One notion of concept from Frege is what we would call a “property”, so that when Frege says “x falls under the concept F”, we would say “x instantiates F” or “x exemplifies F”. The other notion of concept from Frege is that (...) of the notion of sense, which played various roles within Frege's theory. This notion of concept can be generalized and, as such, accounts for our intuitive talk of “x's concept of …”, where the ellipsis can be filled in with a name for individual, a property, or a relation, etc. After outlining these three notions, I then discuss how (axiomatic) object theory offers a distinct, precise regimentation of each of the three notions. (shrink)

This paper locates a source of contingency for Leibniz in the fact that God can do otherwise, absolutely speaking. This interpretative line has been previously thought to be a dead-end because it appears inconsistent with Leibniz’s own conception of God, as the ens perfectissimum, or the most perfect being (Adams, 1994). This paper points out that the best argument on offer which seeks to demonstrate this inconsistency fails. The paper then argues that the supposition that God does otherwise implies for (...) Leibniz (at least) that God would not be praiseworthy, which is an absurd implication—or a violation of the principle of sufficient reason (PSR)—but that this is not, strictly speaking, an inconsistency—or a violation of the principle of contradiction (POC). While praiseworthiness is a perfection—and is compossible with God’s other perfections—and so God must instantiate it, this paper argues that, given the nature of praiseworthiness for Leibniz, it in fact makes sense to say that praiseworthiness is merely a contingent perfection of God. (shrink)

It has been argued recently that classical theism and Lewisian modal realism are incompatible theses. The most substantial argument to this effect takes the form of a trilemma. It argues that no sense can be made of God’s being a necessary being in the modal realistic picture, on pain of, among other things, modal collapse. The question of this essay is: Is that so? My goal here is to detail the reasons that have been offered in support of this contention (...) and then defend the coherence of theistic modal realism from the trilemma. I call my reply to the argument an “Anselmian-Thomistic” defense, since it appeals to resources from classical medieval philosophy, especially from Anselm and Aquinas. (shrink)

According to one of Leibniz’s theories of contingency a proposition is contingent if and only if it cannot be proved in a finite number of steps. It has been argued that this faces the Problem of Lucky Proof, namely that we could begin by analysing the concept ‘Peter’ by saying that ‘Peter is a denier of Christ and …’, thereby having proved the proposition ‘Peter denies Christ’ in a finite number of steps. It also faces a more general but related (...) problem that we dub the Problem of Guaranteed Proof. We argue that Leibniz has an answer to these problems since for him one has not proved that ‘Peter denies Christ’ unless one has also proved that ‘Peter’ is a consistent concept, an impossible task since it requires the full decomposition of the infinite concept ‘Peter’. We defend this view from objections found in the literature and maintain that for Leibniz all truths about created individual beings are contingent. (shrink)

Este artigo apresenta, em primeiro lugar, uma reconstrução conceitual das razões que levam Leibniz, em sua correspondência com Arnauld, a introduzir o conceito de decretos divinos possíveis. Em um segundo momento, o artigo desenvolve alguns argumentos para demonstrar que a introdução desse conceito torna inconsistente a arquitetônica global da metafísica leibniziana.

Purdue University and Syracuse University.

Commentators have long been fascinated by the problem of freedom in Leibniz's system. Many of the recent studies begin with Leibniz's views on modality, truth, and so-called superessentialism, and then investigate whether these doctrines are compatible with freedom and contingency. There is, however, another dimension to Leibniz's thinking about freedom that has been largely overlooked in the recent literature. ;Leibniz inherited a medieval debate about God's foreknowledge of and providence over human free actions, and unlike the other great philosophers of (...) the early modern period, set out to solve it. This means the problem of human freedom for Leibniz was nested in the larger problem of God's creation, preservation, and governance of the entire created order. ;In this dissertation I set out the late medieval debate and Leibniz's adjudication of it. I argue that Leibniz offers a strong notion of providence that is a via media between the two competing paradigms of the late seventeenth century, Molinism and Banezianism. In light of these theological commitments, I offer a new assessment of Leibniz's views of divine and human freedom. (shrink)

R. C. Sleigh's Leibniz and Arnauld: A Commentary on Their Correspondence is a very good book: it is detailed, clearly written, well argued and attentive to the historical background. The more I read it, the more I enjoyed it and the more I learned. Not only does it offer a wide variety of interesting points for the reader to agree and disagree with, it has, also, the virtue of pretty well forcing the reader to think about the issues involved and (...) their connection with a variety of other philosophical problems. It breaks a good deal of new ground and, as is the way with new ground-breaking, it sometimes only scratches the surface: it points out both the need for further, more detailed investigations and the way in which such investigations might fruitfully proceed. By and large, however, it does a great deal more than scratch the surface: its depth of discussion is such that only a comparably sized book could hope to discuss in all their ramifications the problems raised by Sleigh. (shrink)