<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.2 20190208//EN" "http://jats.nlm.nih.gov/publishing/1.2/JATS-journalpublishing1.dtd">
<!--<?xml-stylesheet type="text/xsl" href="article.xsl"?>-->
<article article-type="research-article" dtd-version="1.2" xml:lang="en" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
<front>
<journal-meta>
<journal-id journal-id-type="issn">2644-0652</journal-id>
<journal-title-group>
<journal-title>Journal of Modern Philosophy</journal-title>
</journal-title-group>
<issn pub-type="epub">2644-0652</issn>
<publisher>
<publisher-name>Aperio Press</publisher-name>
</publisher>
</journal-meta>
<article-meta>
<article-id pub-id-type="doi">10.25894/jmp.2841</article-id>
<article-categories>
<subj-group>
<subject>Research</subject>
</subj-group>
</article-categories>
<title-group>
<article-title>Leibniz on the PSR as a Regulative Principle of Rational Inquiry</article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author">
<contrib-id contrib-id-type="orcid">https://orcid.org/0000-0001-7514-6694</contrib-id>
<name>
<surname>Torres</surname>
<given-names>Juan Garcia</given-names>
</name>
<email>Juang25@uci.edu</email>
<xref ref-type="aff" rid="aff-1">1</xref>
</contrib>
</contrib-group>
<aff id="aff-1"><label>1</label>University of California, Irvine</aff>
<pub-date publication-format="electronic" date-type="pub" iso-8601-date="2026-04-16">
<day>16</day>
<month>04</month>
<year>2026</year>
</pub-date>
<pub-date pub-type="collection">
<year>2026</year>
</pub-date>
<volume>8</volume>
<fpage>1</fpage>
<lpage>25</lpage>
<history>
<date date-type="received" iso-8601-date="2025-04-23">
<day>23</day>
<month>04</month>
<year>2025</year>
</date>
<date date-type="accepted" iso-8601-date="2026-02-09">
<day>09</day>
<month>02</month>
<year>2026</year>
</date>
</history>
<permissions>
<copyright-statement>Copyright: &#x00A9; 2026 The Author(s)</copyright-statement>
<copyright-year>2026</copyright-year>
<license license-type="open-access" xlink:href="https://creativecommons.org/licenses/by-nc/4.0/">
<license-p>This is an open-access article distributed under the terms of the Creative Commons Attribution-NonCommercial 4.0 International License (CC BY-NC 4.0), which enables reusers to distribute, remix, adapt, and build upon the material in any medium or format for noncommercial purposes only, and only so long as attribution is given to the creator. See <uri xlink:href="https://creativecommons.org/licenses/by-nc/4.0/">https://creativecommons.org/licenses/by-nc/4.0/</uri>.</license-p>
</license>
</permissions>
<self-uri xlink:href="https://jmphil.org/articles/10.25894/jmp.2841/"/>
<abstract>
<p>One of Leibniz&#8217;s fundamental philosophical commitments is the principle of sufficient reason (PSR). Yet Leibniz&#8217;s precise understanding of this principle is elusive. Leibniz provides several seemingly different formulations of its content, and he sometimes seems to require the PSR to be metaphysically necessary and, at other times, to be metaphysically contingent. I argue that these puzzles can be solved by taking seriously Leibniz&#8217;s insistence that the PSR is a <italic>principle of reasoning</italic>. For Leibniz, I argue, to say that the PSR is a principle of reasoning is to say that it is a regulative principle of rational inquiry, a principle that settles some of the permissible and impermissible moves in the game of rationally inquiring into a fundamentally intelligible reality. According to this reading, there is a coherence between epistemology and metaphysics: for Leibniz, one is <italic>epistemologically justified</italic> in holding metaphysical doctrines precisely because they result from engaging in the type of rational inquiry structured by the PSR, understood as a principle of reasoning.</p>
</abstract>
<kwd-group>
<kwd>Leibniz</kwd>
<kwd>PSR</kwd>
<kwd>rational inquiry</kwd>
<kwd>metaphysics of modality</kwd>
</kwd-group>
</article-meta>
</front>
<body>
<sec>
<title>1. Introduction</title>
<p>Undoubtedly, a fundamental commitment in Leibniz&#8217;s philosophy is the principle of sufficient reason (PSR). Yet Leibniz&#8217;s precise understanding of this principle is elusive, and, as we shall see below, his use of the PSR provides fertile ground for interpretative perplexities. The main goal of this paper is to offer a particular interpretation of Leibniz&#8217;s PSR. Furthermore, much of this paper&#8217;s project concerns philosophical methodology. In particular, I argue that Leibniz&#8217;s philosophical methodology for thinking about metaphysics and his version of the PSR are more closely related than is commonly acknowledged.</p>
<p>One way of introducing my main thesis is by briefly considering a criticism of Leibniz&#8217;s philosophical methodology. Kant, upon encountering Hume&#8217;s radical empiricist methodology, claims to have been awakened from his (Leibnizian) dogmatic slumber (AK 4:260). What Kant means by this is not as straightforward as one might like, but he is clearly chastising Leibniz for employing what he regards as a na&#239;ve and uncritical philosophical methodology when thinking about metaphysical matters. Robert Adams, who acknowledges his sympathies for Leibniz&#8217;s methodology in metaphysics, describes what he takes to be Leibniz&#8217;s methodology in the following way: &#8216;He was typically willing to begin an argument with whatever seemed true to him and might seem true to his audience, without worrying too much about whether epistemology would present it as something we can really know&#8217; (<xref ref-type="bibr" rid="B16">Adams 1994: 3</xref>). As both Kant and Adams see it, then, a characteristic feature of Leibniz&#8217;s philosophical methodology is a kind of epistemological neglect: a lack of concern with whether the bold metaphysical theses Leibniz advocates are in fact knowable or supported by a tenable epistemological model. Kant finds great fault with such neglect, whereas Adams finds it acceptable because he thinks that it is not clear that epistemology deserves a place of priority in philosophical methodology (<xref ref-type="bibr" rid="B16">1994: 3&#8211;4</xref>). In either case, they agree that Leibniz divorces metaphysical thinking from epistemological considerations.</p>
<p>I think that characterizing Leibniz&#8217;s philosophical methodology in this fashion is distortive. As I read him, Leibniz&#8217;s thought embodies an admirable coherence or unity in its epistemological and metaphysical commitments. Leibniz&#8217;s PSR, I argue in this paper, is a case in point. It is common in the secondary literature to read Leibniz&#8217;s PSR as a mere metaphysical or logical principle.<xref ref-type="fn" rid="n1">1</xref> By contrast, I propose to take seriously Leibniz&#8217;s insistence that the PSR is one of the &#8216;two first principles of all our reasoning&#8217; (<xref ref-type="bibr" rid="B5">G.7.309</xref>/<xref ref-type="bibr" rid="B11">MP 75</xref>).<xref ref-type="fn" rid="n2">2</xref> In particular, I propose that for Leibniz to say that the PSR is a <italic>principle of reasoning</italic> is to say that it is a regulative principle of rational inquiry, one that establishes normative constraints on proper reasoning when inquiring into the nature of reality. The PSR tells us what to expect and what not to expect, and it <italic>settles</italic> as permissible or impermissible several important types of moves in the game<xref ref-type="fn" rid="n3">3</xref> of rational inquiry into a fundamentally intelligible reality.</p>
<p>As I see it, there is a coherence between epistemology and metaphysics: for Leibniz, one is <italic>epistemologically justified</italic> in holding metaphysical doctrines precisely because they result from engaging in the type of rational inquiry structured by the PSR, understood as a principle of reasoning.<xref ref-type="fn" rid="n4">4</xref> My proposal is structurally analogous to that of modern proponents of <italic>a scientific stance</italic>&#8212;thinkers with the conviction that modern scientific methodology is an epistemologically credible, or the most epistemologically credible, form of inquiry. These thinkers endorse scientific theses because they result from engaging in modern scientific inquiry, and, according to these thinkers, they are epistemologically justified in holding them precisely because they are the results of modern scientific inquiry. Likewise, I suggest, Leibniz endorses many metaphysical theses&#8212;that no substances differ in number only, that there is no vacuum, that God exists, etc.&#8212;because they are the results of engaging in the form of inquiry structured by the PSR, and he takes himself to be epistemologically justified in holding these metaphysical theses precisely because they are the results of the form of inquiry structured by the PSR.</p>
<p>I offer a cumulative argument based on textual and philosophical considerations. My proposal is partly an interpretation of some texts, but it is also a general framework or lens that enables other texts to make sense. Some texts, I argue, would be perplexing without something like my proposal&#8212;for example, passages in which Leibniz explicitly refers to the PSR as a principle of reasoning, and passages in which Leibniz <italic>treats</italic> the PSR as a regulative principle of rational inquiry into a fundamentally intelligible reality. One significant advantage of my proposal, I argue, is its ability to solve two philosophical puzzles that emerge from thinking of Leibniz&#8217;s PSR as merely a metaphysical or logical principle. The first puzzle emerges because Leibniz articulates the PSR in seemingly distinct ways. I call this the &#8216;content&#8217; puzzle, which can be articulated as a question: what is the content of Leibniz&#8217;s PSR? The second puzzle arises because Leibniz seems to treat the PSR sometimes as metaphysically contingent and sometimes as metaphysically necessary. I thus call it the &#8216;modal status&#8217; puzzle, which can also be articulated as a question: what is the modal status of Leibniz&#8217;s PSR? At first sight, it seems that the content and modal status puzzles place Leibniz scholars in predicaments: an interpreter must choose which texts or arguments to give greater importance in her interpretation and thereby unavoidably compromise the seemingly conflicting texts and philosophical ideas.<xref ref-type="fn" rid="n5">5</xref> I argue that Leibniz scholars can escape these predicaments by reading Leibniz&#8217;s PSR as first and foremost a principle of reasoning.</p>
<p>Here is the plan. In section two, I provide some textual support for my interpretation of Leibniz&#8217;s PSR as a principle of reasoning. In section three, I present one significant advantage of my proposal, namely its ability to solve the content and modal status puzzles. In section four, I rely on Bas van Fraassen&#8217;s notion of a <italic>philosophical stance</italic> to elaborate on my interpretation of Leibniz&#8217;s PSR as a regulative principle of rational inquiry.</p>
</sec>
<sec>
<title>2. Leibniz&#8217;s PSR as a Principle of Reasoning</title>
<p>In this section, I offer some textual evidence for my proposal. This evidence, granted, is not definitive, but it is suggestive. Coupled with my proposal&#8217;s ability to solve the content and modal status puzzles, it provides good reason to take the proposal seriously in the literature on Leibniz&#8217;s PSR.</p>
<p>Leibniz characterizes the PSR, along with the Principle of Contradiction (PC), as one of the &#8216;two first principles of all our reasoning&#8217; (<xref ref-type="bibr" rid="B5">G.7.309</xref>/<xref ref-type="bibr" rid="B11">MP 75</xref>; see also <xref ref-type="bibr" rid="B10">M 31&#8211;32</xref>; <xref ref-type="bibr" rid="B15">T 340</xref>; <xref ref-type="bibr" rid="B9">LC L.5.20</xref>; &#8216;Metaphysical Consequences of the Principle of Reason&#8217;, &#167;1). What does Leibniz mean when he describes the PSR as a &#8216;principle of reasoning&#8217;? Sleigh (<xref ref-type="bibr" rid="B36">1983: 193f</xref>) argues that Leibniz cannot simply mean that the PSR is a <italic>permissible premise</italic> in argumentation, or mean what we mean by &#8216;rules of inference&#8217;, such as <italic>modus ponens</italic>. Leibniz&#8217;s meaning must be different from this. What exactly is it?</p>
<p>I propose that for Leibniz to say that the PSR is a <italic>principle of reasoning</italic> is to say that it is a regulative principle of rational inquiry, a principle that establishes normative constraints on proper reasoning when inquiring into the nature of reality. The PSR tells us what to expect and what not to expect, and, in particular, it <italic>settles</italic> as permissible or impermissible several important types of moves in the game of rational inquiry into a fundamentally intelligible reality.</p>
<p>I know of no text in which Leibniz states this explicitly. However, Leibniz repeatedly <italic>treats</italic> the PSR roughly along these lines. For example, in his correspondence with Clarke (1715&#8211;1716), Leibniz uses the PSR to argue against Newtonian absolute space. Newtonian space permits God to rearrange all bodies in the physical universe and yet keep all relations amongst bodies unchanged, by, say, flipping &#8216;east into west&#8217; (<xref ref-type="bibr" rid="B9">LC L.5.5</xref>). But such flipping is absurd, something for which God would have no reason, Leibniz insists: &#8216;[I]n truth the one would exactly be the same thing as the other, they being absolutely indiscernible, and consequently <italic>there is no room to inquire after a reason</italic> for the preference of the one to the other&#8217; (<xref ref-type="bibr" rid="B9">LC L.5.5</xref>, emphasis added). Leibniz&#8217;s point here is not merely about the nature of space but, importantly for our purposes, the nature of <italic>rational inquiry</italic>. The PSR imposes constraints on the <italic>normative space</italic> (i.e., &#8216;room&#8217;) of rational inquiry into reality. Similar observations can be made about other texts. For instance, in his important work the <italic>Monadology</italic> (<xref ref-type="bibr" rid="B10">1714</xref>), he writes: &#8216;Our reasonings are based on <italic>two great principles</italic>, that of contradiction [PC]&#8230; [a]nd <italic>that of sufficient reason</italic>, by virtue of which <italic>we consider</italic> that <italic>we can find</italic> no true or existent fact, no true assertion, without there being a sufficient reason why it is thus and not otherwise&#8217; (<xref ref-type="bibr" rid="B10">M 31&#8211;32</xref>/<xref ref-type="bibr" rid="B2">AG 217</xref>, emphases added). Here Leibniz treats the PSR as the guide for identifying what to expect in the process of rationally inquiring into reality. The PSR serves as an <italic>assurance</italic> that sufficient explanations can be found, and thus as a <italic>license</italic> to inquire into such explanations. Leibniz does something similar in his <italic>Principles of Nature and Grace</italic> (1718); in that work, after presenting the PSR, he writes: &#8216;Assuming this principle, the first question <italic>we have a right to ask</italic> will be, <italic>why is there something rather than nothing</italic>?&#8217; (<xref ref-type="bibr" rid="B13">PNG 7</xref>/<xref ref-type="bibr" rid="B2">AG 210</xref>, emphasis added). Here, again, Leibniz is <italic>treating</italic> the PSR as a principle that structures rational inquiry into reality: it settles which questions &#8216;we have a right to ask&#8217; and which questions constitute <italic>permissible questions</italic> to pursue in rational inquiry into a fundamentally intelligible reality.</p>
<p>More generally, Leibniz often complains about philosophers failing to &#8216;use&#8217; the PSR in their metaphysical inquiry. For example: &#8216;The principle of the need for a sufficient reason does alone drive away all these specters of imagination. Men easily run into difficulties for lack of <italic>making right use</italic> of that great principle&#8217; (<xref ref-type="bibr" rid="B9">LC L.5.48</xref>, emphasis added). It is tempting to think that by his talk of &#8216;using&#8217; the PSR, Leibniz is merely encouraging philosophers to include the PSR as <italic>a premise</italic> in their arguments about metaphysical matters. However, this reading often obscures what Leibniz is doing in his recommendations to <italic>use</italic> the PSR. Leibniz, I suggest, is often inviting philosophers to participate in a particular form of inquiry structured by the PSR, a form of inquiry that avoids mere &#8216;specters of imagination&#8217; (<xref ref-type="bibr" rid="B9">LC L.5.48</xref>), &#8216;indefensible opinions&#8217; (<xref ref-type="bibr" rid="B9">LC L.5.20</xref>), &#8216;absurdities&#8217; (<xref ref-type="bibr" rid="B9">LC L.5.113</xref>), &#8216;chimeras&#8217; (<xref ref-type="bibr" rid="B15">T 45</xref>; <xref ref-type="bibr" rid="B15">T 175</xref>; <xref ref-type="bibr" rid="B9">LC L.5.127</xref>), &#8216;tales of fairies&#8217; (<xref ref-type="bibr" rid="B9">LC L.5.114</xref>), &#8216;carelessness&#8217; (<xref ref-type="bibr" rid="B9">LC L.5.127</xref>), &#8216;sophisms&#8217; (<xref ref-type="bibr" rid="B15">T 307</xref>), etc. It is telling, I think, that these criticisms are not merely criticisms that opinions incompatible with the PSR are <italic>false</italic> (as we would expect if the PSR were a mere metaphysical principle), but that such opinions are &#8216;<italic>false and absurd</italic>, because one of the greatest principles of good sense is that nothing ever happens without a cause or determining reason&#8217; (<xref ref-type="bibr" rid="B5">G 3.402</xref>/<xref ref-type="bibr" rid="B2">AG 194</xref>, emphasis added). These accusations, I suggest, are different ways of pointing out that people that fail to reason in accordance with the type of rational inquiry structured by the PSR are failing <italic>to reason properly</italic>. These philosophers are not merely failing to take advantage of appealing to a true premise in their arguments; rather, for Leibniz, they are failing <italic>to reason well</italic> in a deeper and more problematic way.</p>
<p>One interesting case of textual support for my proposal comes from the end of the Leibniz&#8211;Clarke correspondence. Much of the correspondence reads like an exchange of assertion and counter-assertion between largely incompatible physical and metaphysical systems. Towards the end of their correspondence, however, both Clarke and Leibniz conclude their cases in favor of their respective systems by making claims that can reasonably be read as appeals to the plausibility of their philosophical methodologies. For instance, one of the recurring themes of the correspondence is Leibniz&#8217;s objection that Newton&#8217;s notion of gravity, or attraction, introduces unintelligible or &#8216;occult&#8217; qualities and is thus unacceptable (<xref ref-type="bibr" rid="B9">LC L.3.17; L.5.113; L.5.122&#8211;123</xref>). In the final part of Clarke&#8217;s final letter, Clarke responds to this objection thus: &#8216;The phenomenon itself, the attraction, gravitation, or tendency of bodies toward each other (or whatever other name you please to call it by), and the laws or proportions of that tendency, are now <italic>sufficiently known by observations and experiments</italic>&#8217; (<xref ref-type="bibr" rid="B9">LC C.5.124&#8211;130</xref>, emphasis added). The phenomenon of gravitational pull is a &#8216;fact found by experience&#8217; (<xref ref-type="bibr" rid="B9">LC C.5.118&#8211;123</xref>), and, as such, it should not be denied. Clarke continues: &#8216;That this phenomenon is not produced&#8230; without some cause capable of producing such an effect, is undoubtedly true. Philosophers therefore may search after and discover that cause, if they can, whether it is mechanical or not mechanical&#8217; (<xref ref-type="bibr" rid="B9">LC C.5.118&#8211;123</xref>). Clarke is here clearly putting forth an empirical form of inquiry, according to which observation and experimentation take priority: for Clarke, <italic>fit with empirical data</italic> is a stronger theoretical virtue than <italic>explanatory power</italic>. Leibniz, by contrast, places greater value on explanatory power. This point comes clearly in the preface to his <italic>New Essays</italic>, where Leibniz contrasts his views with those of Locke. Therein, Leibniz writes: &#8216;I note, indeed, that I recognize that we are not allowed to deny what we do not understand, though I add that we have the right to deny (at least in the order of nature) what is absolutely unintelligible and inexplicable&#8217; (<xref ref-type="bibr" rid="B12">NE 65</xref>). Leibniz thus thinks that a theory&#8217;s explanatory power is paramount. These disagreements about the relative importance of different theoretical virtues can be understood as disagreements about philosophical methodology and which form of rational inquiry is preferable.</p>
<p>Importantly for my purposes, Leibniz concludes his final letter to Clarke with some remarks that I think are perplexing if one does not read the PSR as first and foremost a regulative principle of rational inquiry. Even though in the correspondence he appeals to the PSR as &#8216;my axiom&#8217; (<xref ref-type="bibr" rid="B9">LC L.3.5; L.3.7</xref>) and even questions whether the PSR is &#8216;a principle that needs to be proven&#8217; (<xref ref-type="bibr" rid="B9">LC L.5.125</xref>), Leibniz promises a defense of this principle: &#8216;I shall speak more largely at the conclusion of this paper concerning the solidity and importance of this great principle of the need for a sufficient reason for every event, the overthrowing of which principle would overthrow the best part of all philosophy&#8217; (<xref ref-type="bibr" rid="B9">LC L.5.20</xref>). Here is what Leibniz presents as his defense of the PSR at the end of his fifth letter to Clarke:</p>
<disp-quote>
<p>Has not everybody made use of this principle on a thousand occasions? It is true that it has been neglected out of <italic>carelessness</italic> on many occasions, but that neglect has been the true cause of <italic>chimeras</italic>&#8230; and a thousand other <italic>fictions</italic>&#8230; (<xref ref-type="bibr" rid="B9">LC L.5.127</xref>, emphasis added)</p>
<p>I have often defied people to advance an instance against that great principle, to bring any one uncontested example in which it fails. But they have never done it, nor ever will. It is certain that there is an infinite numbers of instances in which it succeeds, &lt;or rather it succeeds&gt; in all the known cases in which it has been made use of. From this one may reasonably judge that it will succeed also in unknown cases or in such cases as can only by its means become known, according to the method of experimental philosophy. (<xref ref-type="bibr" rid="B9">LC L.5.129</xref>)</p>
</disp-quote>
<p>It is tempting to read Leibniz&#8217;s defense of the PSR here as an instance of reasoning by induction: the PSR has been successful in known cases; therefore, it is reasonable to think that the PSR will be successful in unknown cases. However, such a defense of the PSR would be <italic>quite weak</italic>, and not in tune with Leibniz&#8217;s insistence on treating the PSR as a fundamental principle, an axiom, the ground of all contingent truths, etc. Furthermore, Leibniz is quite aware of the limitations of inductive reasoning: &#8216;For example, even after having experienced a hundred thousand times that iron placed on the surface of water sinks to the bottom, we are not assured that this must always happen&#8217; (<xref ref-type="bibr" rid="B5">G 6.505</xref>/<xref ref-type="bibr" rid="B2">AG 190</xref>). In fact, sometimes Leibniz <italic>contrasts</italic> induction with the type of understanding of causes attained by using reason: &#8216;This is why the wisest people do not rely on [induction] to such an extent that they do not try to probe into the reason for what happens&#8217; (<xref ref-type="bibr" rid="B12">NE 50</xref>). It is thus unlikely that Leibniz is providing an inductive argument in support of the PSR at the end of his fifth letter to Clarke.</p>
<p>One of the advantages of my proposal is that it enables us to make sense of this otherwise puzzling defense of the PSR. So, what are we to make of Leibniz&#8217;s <italic>advertised defense</italic> of &#8216;the solidity and importance&#8217; of the PSR, a principle without which &#8216;the best part of all philosophy&#8217; would be overthrown (<xref ref-type="bibr" rid="B9">LC L.5.20</xref>)? On my view, Leibniz is providing a defense of the PSR that is structurally analogous to the kind of defense that proponents of the scientific stance offer in support of their stance (this topic takes center stage in section four below). Why trust the scientific method as a sound form of rational inquiry? Because it is a form of inquiry that <italic>reliably tracks truth</italic>.<xref ref-type="fn" rid="n6">6</xref> That a particular form of inquiry <italic>tracks truth</italic> is indeed a strong form of recommendation. On my reading, it is this type of defense of the PSR that Leibniz presents at the end of his fifth letter to Clarke.</p>
<p>Furthermore, my proposal also makes sense of the claim with which Leibniz begins this defense of the PSR. Leibniz writes that &#8216;I dare say that without this great principle one cannot prove the existence of God nor account for many other important truths&#8217; (<xref ref-type="bibr" rid="B9">LC L.5.126</xref>). It is tempting to read this passage as claiming that for theists of Leibniz&#8217;s orientation, it would be <italic>useful</italic> to endorse the PSR to &#8216;prove&#8217; doctrines that they want to hold on the basis of their religious commitments. This is likely <italic>not</italic> what Leibniz means, however. In fact, elsewhere Leibniz expresses caution regarding this type of argumentation:</p>
<disp-quote>
<p>But when someone has devised certain principles and wants to uphold them on the grounds that without them some accepted doctrines would collapse, the argument is not conclusive. Because what is necessary to uphold our knowledge must be distinguished from what serves as a foundation for our accepted doctrines or for our practices. (<xref ref-type="bibr" rid="B12">NE 492</xref>)</p>
</disp-quote>
<p>So what is Leibniz doing when he notes that without the PSR many important truths cannot be proven? Rodriguez-Pereyra reads in this claim the beginnings of a type of Aristotelian transcendental argument: the PSR is justified because it is a necessary presupposition in a type of discourse or inquiry (<xref ref-type="bibr" rid="B26">2013, 52&#8211;53</xref>). Rodriguez-Pereyra thinks, however, that this brief remark (in <xref ref-type="bibr" rid="B9">LC L.5.126</xref>) is insufficient to justify this &#8216;interesting interpretation&#8217; (<xref ref-type="bibr" rid="B33">2013, 53</xref>). My proposal in this paper can be read as an elaboration of Rodriguez-Pereyra&#8217;s brief remarks. According to my interpretation, Leibniz thinks that propositions such as &#8216;God exists&#8217;, and many other important truths, <italic>can be known</italic> by engaging in the type of form of rational inquiry structured by the PSR, and that this fact is a mark of the <italic>reliability</italic> of such a method of inquiry. As I read it, this claim is part of Leibniz&#8217;s promised defense of the PSR at the end of his fifth letter to Clarke, a defense whose primary goal is to establish the reliability of the form of inquiry structured by the PSR as a regulative principle of rational inquiry into a fundamentally intelligible reality.</p>
<p>In contrast to an inductive argument for the PSR, this defense is not weak. If successful, it would show that one is <italic>epistemologically justified</italic> in holding metaphysical doctrines because they result from engaging in the form of rational inquiry structured by the PSR, for such epistemic justification is predicated upon the <italic>reliability</italic> of that form of inquiry in attaining truth. I will say more about this in section four of this paper. Before that, I wish to provide further justification for my interpretation: its ability to solve the content and modal status puzzles.</p>
</sec>
<sec>
<title>3. The Puzzles</title>
<p>Leibniz repeatedly appeals to the PSR as a secure foundation for much of his philosophy. For example, responding to Clarke&#8217;s inquiries, Leibniz boldly presents many of his philosophical positions as firmly planted in the wide-ranging PSR: &#8216;But of what principle, I beseech you? Would to God less clear principles had never been laid down. The principle in question is the principle of the need for a sufficient reason for anything to exist, for any event to happen, and for any truth to take place&#8217; (<xref ref-type="bibr" rid="B5">G 7.419</xref>/<xref ref-type="bibr" rid="B9">LC 5.125</xref>). However, despite Leibniz&#8217;s unqualified insistence on the <italic>clarity</italic> of his PSR, he often presents this fundamental principle differently. Sometimes Leibniz explicitly builds the demand for contrastive explanations into the wide-ranging principle: &#8216;[N]othing happens without a reason why it should be so rather than otherwise&#8217; (<xref ref-type="bibr" rid="B9">LC 2.1</xref>; see also <xref ref-type="bibr" rid="B1">A 2.2.65; 6.4.1616; 6.4.1645</xref>; <xref ref-type="bibr" rid="B12">NE 179</xref>; <xref ref-type="bibr" rid="B5">G 6.127; 6.602; 6.612</xref>). On occasion Leibniz presents the PSR as a causal principle: &#8216;<italic>[N]othing is without reason</italic>, or <italic>there is no effect without a cause</italic>&#8217;<xref ref-type="fn" rid="n7">7</xref> (<xref ref-type="bibr" rid="B1">A 6.4.1645</xref>/<xref ref-type="bibr" rid="B2">AG 31</xref>, emphasis in original; see also <xref ref-type="bibr" rid="B1">A 6.4.1616</xref>; <xref ref-type="bibr" rid="B5">G 5.127</xref>). Yet other times Leibniz presents the PSR as an idiosyncratic logical principle: &#8216;<italic>[T]here is nothing without reason, that is, that there is no proposition in which there is no connection between the subject and the predicate, that is, no proposition which cannot be proved a priori</italic>&#8217; (<xref ref-type="bibr" rid="B6">Grua 187</xref>/<xref ref-type="bibr" rid="B2">AG 19</xref>, emphasis in original; see also <xref ref-type="bibr" rid="B1">A 2.2.65</xref>; <xref ref-type="bibr" rid="B4">DM 13</xref>). One important interpretative puzzle thus pertains to the very <italic>content</italic> of Leibniz&#8217;s PSR. Are the different formulations of the PSR distinct enough to constitute independent PSRs? Is one formulation in some sense prior or more fundamental than the others?<xref ref-type="fn" rid="n8">8</xref> Alternatively, can those different formulations somehow ultimately be <italic>saying the same thing</italic> or <italic>referring to the same underlying reality</italic>?<xref ref-type="fn" rid="n9">9</xref> These are important exegetical questions regarding Leibniz&#8217;s PSR.</p>
<p>Another important interpretative controversy is about the modal status of Leibniz&#8217;s PSR. Is Leibniz&#8217;s PSR metaphysically necessary or metaphysically contingent? Commentators have argued for both positions,<xref ref-type="fn" rid="n10">10</xref> and their different readings have led them to diverging interpretations of other central elements in Leibniz&#8217;s metaphysics of modality.<xref ref-type="fn" rid="n11">11</xref> It is not too surprising that commentators disagree here given the various uses to which Leibniz subjects the PSR.</p>
<p>Some of the main considerations for both positions are the following. On the one hand, there are several considerations for reading Leibniz&#8217;s PSR as metaphysically contingent. First, Leibniz insists that the PSR is the ground of all contingent truths. He writes: &#8216;Our reasonings are based on <italic>two great principles, that of contradiction</italic>&#8230; And <italic>that of sufficient reason</italic>&#8217; (<xref ref-type="bibr" rid="B10">M 31&#8211;32</xref>, emphasis in original). The principle of contradiction (PC) grounds &#8216;The truths of reasoning [that] are necessary and their opposite is impossible&#8217; (<xref ref-type="bibr" rid="B10">M 33</xref>); whereas the PSR grounds &#8216;the truths of fact [that] are contingent&#8217; (ibid). For Leibniz, then, &#8216;All truths contingent by their nature&#8230; rest on the latter principle [the PSR]&#8217; (<xref ref-type="bibr" rid="B6">Grua 287</xref>/<xref ref-type="bibr" rid="B2">AG 19</xref>). Secondly, Leibniz provides arguments with the PSR as a premise and metaphysically contingent conclusions (see <xref ref-type="bibr" rid="B4">DM 13</xref>; <xref ref-type="bibr" rid="B6">Grua 303</xref>; <xref ref-type="bibr" rid="B3">C 519</xref>; <xref ref-type="bibr" rid="B9">LC 1.1; 3.5</xref>). A prominent example is Leibniz&#8217;s insistence that the PSR enables us to <italic>conclude</italic> that <italic>God chooses the best</italic>, but God does so <italic>contingently</italic>, because divine &#8216;motives&#8217; or reasons for acting &#8216;incline but do not necessitate&#8217; the divine choice (<xref ref-type="bibr" rid="B9">LC 5.9</xref>). From these claims it is not unreasonable to conclude that if the PSR were metaphysically necessary, then this necessity would transfer onto the truths that follow from it, or &#8216;rest&#8217; upon it, contrary to Leibniz&#8217;s insistence that these are <italic>contingent</italic> truths. Third, Leibniz countenances the metaphysical possibility of entities&#8212;like qualitatively indiscernibles beings&#8212;that, he claims, violate the PSR (<xref ref-type="bibr" rid="B5">G 7.420</xref>; <xref ref-type="bibr" rid="B9">LC 5.127</xref>).<xref ref-type="fn" rid="n12">12</xref> Fourth, Leibniz insists that all metaphysical necessities in some sense <italic>reduce</italic> to the PC (<xref ref-type="bibr" rid="B6">Grua 302</xref>; <xref ref-type="bibr" rid="B10">M 31&#8211;3</xref>; <xref ref-type="bibr" rid="B9">LC 5.10</xref>), and that the PC and the PSR are independent; thus, making the PSR itself not metaphysically necessary.<xref ref-type="fn" rid="n13">13</xref> Thus, it seems reasonable to conclude that Leibniz is committed to thinking of the PSR as <italic>metaphysically contingent</italic>.</p>
<p>On the other hand, there are also several considerations for reading Leibniz&#8217;s PSR as metaphysically necessary. First, Leibniz attempts to derive the PSR from his account of the nature of truth itself. He writes: &#8216;Therefore, the predicate or consequent is always in the subject or antecedent, and the nature of truth in general or the connection between the terms of a statement, consists in this very thing&#8217; (<xref ref-type="bibr" rid="B3">C 518</xref>/<xref ref-type="bibr" rid="B2">AG 31</xref>). This is Leibniz&#8217;s notorious predicate-in-subject notion of truth (PIN). Leibniz claims that the PSR follows from PIN: &#8216;that <italic>nothing is without reason</italic>, or <italic>there is no cause without effect</italic>, directly follows from these considerations; otherwise, there would be a truth which could not be proven <italic>a priori</italic>&#8230; contrary to the nature of truth&#8217;, (ibid). Arguably, the principle governing the nature of truth, PIN, is metaphysically necessary; and if PIN implies the PSR, then the metaphysical necessity of PIN transfers onto the PSR. Second, Leibniz also employs the PSR as a premise in arguments whose conclusions are clearly intended to be metaphysically necessary, like the existence of God. Given the PSR, there is a sufficient reason for everything that is, including the universe itself. Furthermore, &#8216;This sufficient reason for the existence of the universe cannot be found in the series of contingent things&#8217; (<xref ref-type="bibr" rid="B13">PNG 8</xref>/<xref ref-type="bibr" rid="B2">AG 210</xref>), for this series is precisely what stands in need of explanation. &#8216;Thus <italic>the sufficient reason</italic>&#8230; must be outside this series of contingent things, and must be found in a substance which is its cause, and which is a necessary being&#8230; And this ultimate reason for things is called <italic>God</italic>&#8217; (<xref ref-type="bibr" rid="B13">PNG 8</xref>/<xref ref-type="bibr" rid="B2">AG 210</xref>). Leibniz thus advances arguments with the PSR as a premise and with conclusions that are metaphysically necessary. Further, it is reasonable to think that the conclusion of an argument is metaphysically necessary only if the premises on which it rests are themselves metaphysically necessary.<xref ref-type="fn" rid="n14">14</xref> Thus, it seems that Leibniz&#8217;s PSR is <italic>metaphysically necessary</italic>.</p>
<p>Here are thus two important puzzles regarding Leibniz&#8217;s fundamental principle. Reading Leibniz&#8217;s PSR first and foremost as a principle of reasoning can help solve these puzzles, I argue. If so, this is a significant benefit of my proposal.</p>
<sec>
<title>3.1 Solving the content puzzle</title>
<p>A comparison with Leibniz&#8217;s PC helps solve the content puzzle. As we have seen, Leibniz thinks that the PC and the PSR are the &#8216;two first principles of all our reasoning&#8217; (G.7.309/<xref ref-type="bibr" rid="B11">MP 75</xref>). Like the PSR, Leibniz presents the PC in a multiplicity of seemingly distinct ways. Here are some presented by Rodriguez-Pereyra (<xref ref-type="bibr" rid="B33">2013, 46</xref>):</p>
<list list-type="order">
<list-item><p>PC1: For any two contradictory propositions <italic>p</italic> and <italic>q</italic>, one is true and the other is false.</p></list-item>
<list-item><p>PC2: For any proposition <italic>p</italic>, <italic>p</italic> is either true or false.</p></list-item>
<list-item><p>PC3: For any proposition <italic>p</italic>, <italic>p</italic> is not both true and false.</p></list-item>
<list-item><p>PC4: For any proposition <italic>p</italic>, if <italic>p</italic> implies a contradiction, then <italic>p</italic> is false.</p></list-item>
<list-item><p>PC5: For any proposition <italic>p</italic>, if <italic>p</italic> is false, then not-<italic>p</italic> is true.</p></list-item>
<list-item><p>PC6: For any proposition <italic>p</italic>, if <italic>p</italic> is an identical proposition, then <italic>p</italic> is true.</p></list-item>
</list>
<p>Some of these formulations are not unlike modern logical principles&#8212;the law of excluded middle (PC1) and the principle of bivalence (PC2), for example&#8212;but others are more distinctly Leibnizian (like PC6). Why does Leibniz present all these as &#8216;the principle of contradiction&#8217;? A similar &#8216;content&#8217; puzzle arises here: what does Leibniz&#8217;s PC state or mean? Rodriguez-Pereyra offers an intriguing suggestion or &#8216;hypothesis&#8217; (<xref ref-type="bibr" rid="B33">2013, 47</xref>): for Leibniz, the PC is &#8216;a <italic>name</italic> of whatever principle played a certain function in his theory&#8212;roughly, a principle that, in his view, excluded true contradictions and served to ground mathematical and necessary truths in general&#8217; (<xref ref-type="bibr" rid="B26">2013: 47</xref>, emphasis added). This suggestion preserves &#8216;the meaning&#8217; (<xref ref-type="bibr" rid="B26">2013, 47</xref>) of the PC, namely that of excluding true contradictions and grounding mathematical and necessary truths, while allowing different principles&#8212;PC1 through PC6&#8212;to <italic>play the role</italic> specified by this <italic>meaning</italic>, in different contexts of logical argumentation. The connection between Leibniz&#8217;s PC and the principles PC1 through PC6 is thus clear; the content puzzle is solved for Leibniz&#8217;s PC. Incidentally, this suggestion also helps make sense of Leibniz&#8217;s PC as a principle of reasoning: the PC guides or structures <italic>proper logical reasoning</italic>&#8212;by specifying the goal of logical reasoning, that of avoiding true contradictions and proving necessary truths, and by settling a multiplicity of more precise rules for permissible and impermissible logical moves&#8212;namely PC1 through PC6&#8212;which, for Leibniz, guide and structure proper logical reasoning itself.</p>
<p>This contrast with Leibniz&#8217;s PC helps us to solve the content puzzle for Leibniz&#8217;s PSR. For Leibniz, the PSR is the <italic>name</italic> of whatever <italic>explanatory principle</italic> plays the role of ensuring that reality is intelligible or that everything has an explanation; put differently, <italic>the meaning</italic> of the PSR is the <italic>theoretical role</italic> that ensures the permissibility of seeking explanations when inquiring into reality, and the different formulations of the PSR are the particular explanatory principles that <italic>play the role</italic> specified by <italic>the meaning</italic> of the PSR in different contexts of rational inquiry. The various formulations of the PSR, then, are different ways of <italic>specifying</italic> different <italic>explanation-relations</italic> holding between different explananda and explanantia. The causal version of the PSR specifies that <italic>causal relations</italic> are appropriate ways of <italic>making intelligible</italic> why some events happened and others did not. The logical version of the PSR specifies that <italic>a priori proofs</italic> are appropriate ways of <italic>making intelligible</italic> why some propositions are true and others are not. And so on.</p>
<p>The suggestion here is structurally analogous to Hilary Putman&#8217;s influential account that to be <italic>water</italic> is to be whatever it is that plays <italic>the semantic role</italic> provided by the <italic>meaning</italic> of the term &#8216;water&#8217;. It turns out that the <italic>thing</italic> that plays this role is the chemical compound H<sub>2</sub>O, so it turns out that water is H<sub>2</sub>O (<xref ref-type="bibr" rid="B31">Putnam 1975, vol. 2: 192ff</xref>). A similar move is made by Robert Adams, who argues that to be <italic>a moral obligation</italic> is to be whatever it is that plays <italic>the semantic role</italic> provided by the <italic>meaning</italic> of the expression &#8216;a moral obligation&#8217;. Adams further argues that it is <italic>God&#8217;s commands</italic> that are best suited to play this semantic role, so moral obligations are God&#8217;s commands (<xref ref-type="bibr" rid="B17">Adams 1999, ch. 11</xref>). The main difference with my proposal is that the meaning of Leibniz&#8217;s PSR is itself not settled by conventional use within a linguistic community, but rather by Leibniz&#8217;s <italic>theoretical commitment</italic> to treating reality as fundamentally intelligible. It is this <italic>theoretical role</italic> that provides <italic>the meaning</italic> of Leibniz&#8217;s PSR, and it is the multiplicity of <italic>formulations</italic> of the PSR, understood as particular <italic>explanatory principles</italic>, that play the role provided by the meaning of Leibniz&#8217;s PSR in different contexts of rational inquiry into fundamentally intelligible reality.</p>
<p>The content puzzle is solved.</p>
</sec>
<sec>
<title>3.2 Leibniz&#8217;s PSR and metaphysics of modality</title>
<p>Solving the modal status puzzle requires situating Leibniz&#8217;s PSR in his modal metaphysics. A good place to begin is to note that <italic>Leibnizian rationalism</italic>&#8212;or Leibniz&#8217;s conviction that reality is fundamentally intelligible&#8212;is attractive, at least to some extent. When a building burns down, a plane crashes, or a person dies, part of what it is to engage in <italic>rational inquiry</italic> into what happened is to seek a <italic>sufficient explanation</italic>, one that at least in principle makes it <italic>intelligible</italic> to the inquirer why things happened as they did and not otherwise. By contrast, insisting that &#8216;it just happened&#8217; seems both a) an impermissible move in the game of rational inquiry and b) tantamount to giving up on treating reality as fundamentally intelligible. Leibnizian rationalism seems uncontroversial here.</p>
<p>Leibnizian rationalism, however, extends far beyond events like plane crashes and buildings burning down. As I read him, for Leibniz, <italic>all</italic> of reality&#8212;including all modal metaphysics&#8212;is within the purview of his rationalism. Leibniz&#8217;s demand for explanations applies to all truths, including all truths about modal metaphysics. For example, Leibniz accepts that God has knowledge of subjunctive conditionals of human freedom&#8212;proposition of the form &#8216;if agent S were in circumstance C, S would freely <italic>&#966;</italic>&#8217;. Leibniz writes, for example: &#8216;God knows what any free mind would choose if it were to find itself in any situation which nevertheless will not actually occur&#8217; (<italic>Rationale of the Catholic Faith</italic> &#167;7, <xref ref-type="bibr" rid="B1">A 6.4.2318</xref>/<xref ref-type="bibr" rid="B8">LGR 75</xref>; see also <xref ref-type="bibr" rid="B1">A 6.4.1374</xref>; <xref ref-type="bibr" rid="B15">T 103</xref>). Moreover, Leibniz confidently assures us that there must be explanations for the truth of these conditionals: &#8216;Let us assume that Paul is placed in the same circumstances in which Peter is also placed and with the same assistance [i.e., divine grace], and that God says to me that Peter is then going to reject grace, while Paul is going to accept it; it is certainly necessary that there is some reason for this difference&#8217; (<xref ref-type="bibr" rid="B1">A 6.4.1374</xref>/<xref ref-type="bibr" rid="B14">SLT 105</xref>). Leibniz further insists that such explanations must in principle be within the reach of the understanding of finite minds: &#8216;But it is also necessary that this&#8230; choice is known to God, and if he deigned to explain it to me, I would understand, and so I would obtain full knowledge of a future conditional event <italic>a priori</italic>&#8217; (ibid).</p>
<p>Furthermore, understanding Leibniz&#8217;s PSR as principle of reasoning has implications for understanding Leibniz&#8217;s account of the metaphysics of modality, for engaging in modal metaphysics is itself best understood as a particular type of rational inquiry into <italic>modal reality</italic>, an inquiry itself structured by Leibniz&#8217;s PSR. In this way of thinking about modal metaphysics, a central question is whether the types of explanations that meet the demands of Leibniz&#8217;s PSR require that explanantia <italic>necessitate</italic> explananda. We turn to this topic next.</p>
<sec>
<title>3.2.1 Explanations and the metaphysics of modality</title>
<p>Engaging in modal metaphysics understood as engaging in rational inquiry into modal reality naturally gives rise to questions like: What types of explanations meet the demands of Leibniz&#8217;s PSR in modal metaphysics? Are there <italic>sufficient explanations</italic>, explanations that meet the demands of the PSR, that do not necessitate that which they explain? Or are the demands of the PSR met only by <italic>necessitating sufficient explanations</italic>, explanations that make <italic>necessary</italic> that which they explain?<xref ref-type="fn" rid="n15">15</xref> Leibniz explicitly acknowledges the existence of both types of explanations: &#8216;In my view it is common to every truth that one can always give a reason&#8230; in necessary propositions, that reason necessitates; in contingent propositions, it inclines&#8217; (<xref ref-type="bibr" rid="B6">Grua 302</xref>/<xref ref-type="bibr" rid="B2">AG 28</xref>). What does Leibniz mean here?</p>
<p>Leibniz defines necessary truths as those that can be demonstrated: &#8216;For, by definition a necessary proposition is one whose truth can be demonstrated with geometrical rigor&#8217; (<xref ref-type="bibr" rid="B6">Grua 306</xref>/<xref ref-type="bibr" rid="B2">AG 30</xref>). For Leibniz, this definition is not merely <italic>nominal</italic>; rather, the <italic>explanation</italic> for the necessity of a given truth <italic>is its demonstration</italic>: &#8216;When a truth is necessary, <italic>its reason</italic> can be found by analysis, resolving it into simpler ideas and simpler truths until we reach the primitives&#8217; (<xref ref-type="bibr" rid="B10">M 33</xref>/<xref ref-type="bibr" rid="B2">AG 217</xref>, emphasis added). &#8216;Analysis&#8217; for Leibniz is a technical term. It is a particular proof structure that begins with a complex proposition, and after a series of permissible substitutions of definitions or parts of definitions of the terms in the proposition, the proof terminates in what Leibniz calls &#8216;identical propositions&#8217;. For Leibniz, an <italic>identical proposition</italic> is any proposition &#8216;which assert[s] the same thing of itself or deny the opposite of the opposite. For example, &#8220;A is A&#8221;, &#8220;A is not not-A&#8221;&#8217; (<xref ref-type="bibr" rid="B3">C 518</xref>/<xref ref-type="bibr" rid="B2">AG 30</xref>). With this account of analyses at hand, Leibniz makes a distinction between two kinds of <italic>a priori proofs</italic>: finite and infinite analyses:</p>
<disp-quote>
<p>And with this secret the distinction between necessary and contingent truths is revealed&#8230; For in necessary propositions, when the analysis is continued indefinitely, it arrives at an equation that is an identity; this is what it is to demonstrate a truth with geometrical rigor. But in contingent propositions one continues the analysis to infinity through reasons for reasons, so that one never has a complete demonstration, though there is always, underneath, a reason for the truth, but the reason is understood completely only by God, who alone traverses the infinite series in one stroke of mind. (<xref ref-type="bibr" rid="B6">Grua 302</xref>/<xref ref-type="bibr" rid="B2">AG 28</xref>)</p>
</disp-quote>
<p>So, for Leibniz, necessary truths have finite analyses, and contingent truths have infinite analyses. All truths must have <italic>a priori</italic> proofs, which <italic>are</italic> their <italic>sufficient explanations</italic>. Finite analyses <italic>are</italic> the necessitating sufficient explanations of necessary truths, and infinite analyses <italic>are</italic> the non-necessitating sufficient explanations of contingent truths.</p>
<p>All of this applies only to what I have called &#8216;the logical version&#8217; of the PSR. Leibniz, as we have seen, puts forth different formulations of the PSR, and thus countenances various other kinds of explanations. For example, when explaining events or facts &#8216;within the order of nature&#8217; (<xref ref-type="bibr" rid="B12">NE 65</xref>), or in created reality, Leibniz thinks that <italic>the natures</italic> of things provide the ultimate level of explanation. For example, rejecting Locke&#8217;s suggestion that God can &#8216;superadd&#8217; thought to bodies, Leibniz writes:</p>
<disp-quote>
<p>Whenever we find some quality in a subject, we ought to believe that if we understood the nature of both the subject and the quality we would conceive how the quality could arise from it. So within the order of nature (miracles apart) it is not at God&#8217;s arbitrary discretion to attach this or that quality haphazardly to substances. He will never give them any which are not natural to them, that is, which cannot arise from their nature as explicable modifications. (<xref ref-type="bibr" rid="B12">NE 65</xref>)</p>
</disp-quote>
<p>Leibniz here insists that, within the order of nature, explanations of events or facts must cite the natures of the things in question. Leibniz further divides such explanations into those provided by general natures and those provided by individual natures. In a letter to de Volder, from January 21<sup>st</sup> 1704, for example, Leibniz writes: &#8216;from universal natures there follow eternal consequences, from singular natures also temporal ones&#8217; (<xref ref-type="bibr" rid="B5">G 2.263</xref>/<xref ref-type="bibr" rid="B7">L 534</xref>). It is reasonable to read Leibniz here as insisting that general natures provide necessitating sufficient explanations of the eternal consequences that follow from them, and individual natures provide non-necessitating sufficient explanations of the merely temporal consequences that follow from them (see <xref ref-type="bibr" rid="B35">Rutherford 1992</xref>).</p>
<p>These details need not detain us, however; what matters most for our purposes is that the PSR <italic>itself</italic> is <italic>not</italic> part of any of these sufficient explanations. For truths, it is <italic>analyses</italic>, both finite and infinite, that serve as the explanantia; and within the order of nature, it is <italic>natures</italic>, both general and individual, that serve as the explanantia. The PSR itself need not be cited for any of these explanations to be adequate. The PSR is rather an expression of the conviction that such sufficient explanations can, at least in principle, be found. What <italic>makes</italic> truths and beings metaphysically necessary, in this story, is precisely that they have necessitating sufficient explanations, and what <italic>makes</italic> truths and beings metaphysically contingent is precisely that they have non-necessitating sufficient explanations (and not necessitating sufficient explanations). The PSR is central in forming Leibniz&#8217;s modal metaphysics, but not because it is a metaphysical principle; rather, it is central because engaging in modal metaphysics is best understood as a particular type of rational inquiry, an inquiry into <italic>modal reality</italic> that, like all <italic>rational</italic> inquiry, is structured by the PSR.</p>
</sec>
<sec>
<title>3.2.2 Solving the modal status puzzle</title>
<p>We can finally solve the modal status puzzle. Most of the puzzle arises from the fact that Leibniz uses the PSR as a premise in arguments with conclusions that are sometimes metaphysically necessary and sometimes metaphysically contingent, and, in accordance with standard modern modal logic, a necessary conclusion only follows in an argument if the premises upon which it rests are themselves necessary.<xref ref-type="fn" rid="n16">16</xref> The main move in solving the modal status puzzle is to argue that Leibniz is not playing by the standards of modern modal logic in his use of the PSR in the various arguments in which it appears as a premise or conclusion.</p>
<p>As we have seen, Leibnizian modal metaphysics is structured by the PSR as a principle of rational inquiry, but establishing the necessity or contingency of some truth or being does not itself require citing the PSR itself: the PSR is not a premise in finite or infinite analyses of propositions. Rather, for Leibniz, what <italic>makes</italic> truths and beings metaphysically necessary is that they have necessitating sufficient explanations, and what <italic>makes</italic> truths and beings metaphysically contingent is that they have non-necessitating sufficient explanations (and not necessitating sufficient explanations). This means, I think, that it is a mistake to read Leibniz as trying to establish the necessity or contingency of propositions in arguments in which the PSR appears as a premise. Leibniz is simply not engaging in modal metaphysics, as he understands it, when he is presenting these sorts of arguments. Instead, what Leibniz is doing in these types of arguments&#8212;with the PSR as a premise and with conclusions with different modal status&#8212;is simply reminding interlocutors of what it is to engage in proper rational inquiry into a fundamentally intelligible reality (see subsection 4.3 for more details).</p>
<p>If this is right, this solves most of the modal status puzzle. It does away with all the cited considerations for thinking that Leibniz&#8217;s PSR must be understood as metaphysically necessary, and it also does away with several of the cited considerations for thinking that Leibniz&#8217;s PSR must be understood as metaphysically contingent. I find convincing the remaining considerations for thinking that Leibniz&#8217;s PSR is metaphysically contingent, especially those advanced by Pikkert (<xref ref-type="bibr" rid="B30">2021</xref>) and Bender (<xref ref-type="bibr" rid="B18">2022</xref>). However, these considerations are no longer part of a puzzle but are now simply persuasive considerations for thinking that the relevant <italic>particular principles</italic> playing the theoretical role specified by Leibniz&#8217;s PSR in different contexts of inquiry are themselves metaphysically contingent.</p>
</sec>
</sec>
</sec>
<sec>
<title>4. Leibniz&#8217;s Rationalism as a Philosophical Stance</title>
<p>My proposal is that Leibniz&#8217;s PSR is a regulative principle of rational inquiry into a fundamentally intelligible reality. This means that the PSR provides the theoretical role of treating reality as fundamentally intelligible, a theoretical role that can be played by different principles in different contexts of rational inquiry, and that the PSR settles at least some of the permissible and impermissible moves in rational inquiry into a fundamentally intelligible reality. Further light on this interpretation can be shed from an unexpected quarter, namely, from a philosopher who is, in many ways, radically opposed to Leibniz&#8217;s own rationalism.<xref ref-type="fn" rid="n17">17</xref> That philosopher is Bas van Fraassen, and his take on what it is to be an empiricist (<xref ref-type="bibr" rid="B37">Van Fraassen 2002</xref>). I argue that Leibniz&#8217;s rationalism has remarkable structural similarities to van Fraassen&#8217;s empiricism.</p>
<sec>
<title>4.1 Bas van Fraassen on the empirical stance</title>
<p>Bas van Fraassen argues that deep within the empiricist philosophical tradition lie two essential attitudes: i) its rejection of metaphysics, or a fundamental conviction that there are no <italic>a priori</italic> factual statements; and ii) its openness to disagreement, or its rejection of dogmatism: no factual statement is immune from criticism or fails to stand in need of justification. He contends that these features make empiricism <italic>a philosophical stance</italic>: &#8216;A philosophical position can consist in a stance (attitude, commitment, approach, a cluster of such&#8212;possibly including some propositional attitudes such as beliefs as well)&#8217; (<xref ref-type="bibr" rid="B37">2002: 47&#8211;8</xref>). To <italic>be an empiricist</italic> is to hold the aforementioned anti-metaphysics and anti-dogmatist <italic>attitudes</italic>. Accordingly, taking an empirical stance involves taking an &#8216;attitude toward empirical investigation and exploration&#8217; (<xref ref-type="bibr" rid="B37">2002: 49</xref>). Van Fraassen&#8217;s empirical stance structures or guides rational inquiry into reality by settling permissible and impermissible moves in such inquiry: it is permissible to empirically falsify a particular scientific hypothesis, but impermissible to engage in discussions regarding the first principles of philosophy, etc. He elaborates:</p>
<disp-quote>
<p>Empiricism may also be approached through reflection on its positive attitude towards science. But this admiring attitude is not directed so much to the content of the sciences as to their forms and practices of inquiry. Science is a paradigm of rational inquiry&#8230; science as practice, as search, as rational form of inquiry par excellence. (<xref ref-type="bibr" rid="B37">2002: 63</xref>)</p>
</disp-quote>
<p>I wish to expand on van Fraassen&#8217;s ideas by distinguishing two ways of taking a philosophical stance. <italic>Thin stances</italic> leave <italic>open</italic> the viability of taking alternative and incompatible stances; they are pluralistic and permissive. <italic>Thick stances</italic> include the <italic>conviction</italic> that alternative stances lack important epistemic goods (truth, reliability, justification, warrant, etc.); they are exclusivist and critical of competing stances. A proponent of a <italic>thick</italic> philosophical stance X would find it legitimate to distinguish between &#8216;respectable thinkers&#8217;, who reason on the basis of the normative constraints imposed on rational inquiry by X, and &#8216;cranks&#8217;, who reason on the basis of alternative philosophical stances (<xref ref-type="bibr" rid="B37">Van Fraassen 2002: 48f</xref>).</p>
<p>An example can help. Call the &#8216;scientific stance&#8217; the <italic>conviction</italic> that &#8216;science is a paradigm of rational inquiry&#8217; (<xref ref-type="bibr" rid="B37">Van Fraassen 2002: 63</xref>). Accordingly, a <italic>thick scientific stance</italic> involves the <italic>conviction</italic> that other forms of inquiry lack important epistemic goods (truth, reliability, justification, warrant, etc.); a <italic>thin scientific stance</italic> lacks this second conviction. It is telling, I think, to consider the different responses to a transgression of scientific methodology by thinkers taking one or the other of these scientific stances. The scientific stance involves methodological naturalism: the <italic>conviction</italic> that supernatural explanations are not permissible in <italic>scientific inquiry</italic>. One recent scientific discovery is the fact that the possibility of carbon-based life depends upon a series of fundamental physical constants having values within a narrow range of possibilities, call this the &#8216;weak anthropic principle&#8217; (<xref ref-type="bibr" rid="B19">Carter 1974</xref>). Proponents of the <italic>fine-tuned universe argument</italic> insist that the weak anthropic principle is best explained by the existence of an <italic>intelligent designer</italic>.</p>
<p>Thinkers that take a scientific stance can respond to the intelligent design proponent thus:</p>
<list list-type="order">
<list-item><p>The weak anthropic principle is part of our best understanding of the universe.</p></list-item>
<list-item><p>Scientific stance: supernatural explanations are not permitted in scientific inquiry.</p></list-item>
<list-item><p>Therefore, postulating an intelligent designer as an explanation of the weak anthropic principle is unscientific.</p></list-item>
</list>
<p>Premises 1 and 2 in this argument are significantly different. Premise 1 is meant to articulate a fact in the world, and premise 2 is meant to articulate a particular element in rational inquiry. The main point of this argument, then, is to <italic>show</italic> a <italic>transgression</italic> on the normative constraints of the type of rational inquiry that is specified by the scientific stance. For the thinker that takes a <italic>thin</italic> scientific stance this argument <italic>shows</italic> that a plausible form of inquiry, namely scientific inquiry, <italic>fails to support</italic> the view of the intelligent design proponent. For the thinker that takes the <italic>thick</italic> scientific stance, this argument is devastating: it <italic>shows</italic>, she thinks, that there is something fundamentally <italic>mistaken</italic> about the position of the intelligent design proponent; in violating scientific methodology she has ceased to play the game of inquiring into reality <italic>properly</italic>. In transgressing scientific methodology, the intelligent design proponent cannot be <italic>taken seriously</italic> by &#8216;respectable thinkers&#8217;, the proponent of the thick scientific stance concludes.</p>
</sec>
<sec>
<title>4.2 Leibnizian rationalism as thick philosophical stance</title>
<p>This brief excursion into philosophical stances helps us further understand what it is to read Leibniz&#8217;s PSR as a regulative principle of rational inquiry. I think it is illuminating to read <italic>Leibnizian rationalism</italic> as a <italic>thick</italic> philosophical stance. After all, Leibniz often dismisses the epistemic credibility of reasonings not structured by the PSR: &#8216;The reasons advanced for a vacuum are <italic>mere sophisms</italic>&#8217; (<xref ref-type="bibr" rid="B9">LC L.4.PS</xref>, emphasis added); &#8216;the denial of [the PSR] would have appeared <italic>too unreasonable</italic>&#8217; (<xref ref-type="bibr" rid="B9">LC L.5.125</xref>, emphasis added); failure to use the PSR is due to &#8216;neglect out of carelessness&#8217; (<xref ref-type="bibr" rid="B9">LC L.5.127</xref>); and to accept opinions contrary to the PSR &#8216;would renounce philosophy and reason&#8217; (<xref ref-type="bibr" rid="B12">NE 65</xref>), etc. More generally, Leibniz accepts a distinction roughly along the lines of &#8216;respectable thinkers&#8217; and &#8216;cranks&#8217;, tracking those that use the PSR and those that fail to do so. For example, he concludes his defense of the PSR at the end of his fifth letter to Clarke with the following remark: &#8216;And I believe <italic>reasonable and impartial men</italic> will grant me that having forced an adversary to deny that principle [the PSR] is reducing him <italic>ad absurdum</italic>&#8217; (<xref ref-type="bibr" rid="B9">LC L.5.130</xref>). And, as we have seen, Leibniz repeatedly chastises opinions contrary to the PSR not merely as false but also as mere &#8216;specters of imagination&#8217; (<xref ref-type="bibr" rid="B9">LC L.5.48</xref>), &#8216;indefensible opinions&#8217; (<xref ref-type="bibr" rid="B9">LC L.5.20</xref>), &#8216;chimeras&#8217; (<xref ref-type="bibr" rid="B15">T 45</xref>; <xref ref-type="bibr" rid="B15">T 175</xref>; <xref ref-type="bibr" rid="B9">LC L.5.127</xref>), &#8216;tales of fairies&#8217; (<xref ref-type="bibr" rid="B9">LC L.5.114</xref>), &#8216;fictions&#8217; (<xref ref-type="bibr" rid="B9">LC L.4.PS</xref>), &#8216;sophisms&#8217; (<xref ref-type="bibr" rid="B15">T 307</xref>), &#8216;absurdities&#8217; (<xref ref-type="bibr" rid="B9">LC L.5.113</xref>), and even &#8216;monstrosities&#8217; (<xref ref-type="bibr" rid="B5">G 2.249</xref>/<xref ref-type="bibr" rid="B2">AG 175</xref>). These accusations target not merely the falsity of these opinions, but also their epistemic credibility; these opinions are &#8216;inexplicable, unintelligible, precarious, [and] groundless&#8217; (<xref ref-type="bibr" rid="B9">LC L.5.120</xref>). This is the sort of thing a proponent of <italic>a thick philosophical stance</italic> would think of the opinions of those who fail to reason in accordance with the form of rational inquiry structured by such a stance.</p>
<p>I suggest that Leibniz&#8217;s PSR as a regulative principle of rational inquiry is predicated upon Leibnizian rationalism understood as a thick philosophical stance. Much like van Fraassen&#8217;s empirical stance, Leibnizian rationalism is <italic>not reducible</italic> to a mere factual statement (or metaphysical principle). Part of what makes it a philosophical stance is precisely that essential to it are attitudes, convictions, and commitments that are themselves not reducible to mere factual beliefs, and that help guide and structure a particular form of rational inquiry into reality.</p>
</sec>
<sec>
<title>4.3 The PSR in Leibniz&#8217;s arguments</title>
<p>Part of my solution to the modal status puzzle is the claim that when Leibniz uses the PSR as a premise in an argument, he is not engaging in modal metaphysics, and thus the modal status of the PSR is strictly orthogonal to the modal status of the other premises and conclusions of these arguments. I also argue that Leibniz&#8217;s recommendations to &#8216;use&#8217; the PSR are not mere recommendations to use it as a premise in an argument. This raises an important question: what is Leibniz doing when he uses the PSR as a premise in an argument? My proposal offers an interpretation of what is going on in these cases.</p>
<p>Let the following &#8216;cosmological argument&#8217; be a representative argument in which Leibniz&#8217;s PSR appears a premise (taken from <xref ref-type="bibr" rid="B13">PNG 8</xref> and simplified):</p>
<list list-type="order">
<list-item><p>The PSR holds.</p></list-item>
<list-item><p>The universe is a series of finite beings.</p></list-item>
<list-item><p>A series of finite beings cannot be an explanation for itself.</p></list-item>
<list-item><p>Therefore, the explanation for the universe&#8217;s existence comes from without (i.e., God).</p></list-item>
</list>
<p>On my reading, the main function of the PSR in this argument is structurally analogous to the function of the scientific stance in the argument against the intelligent design proponent outlined earlier. Just as the main goal of that argument was to illustrate a type of transgression in the game of rational inquiry into reality, so the main goal of arguments such as this cosmological argument is for Leibniz to convince interlocutors that their commitment to the fundamental intelligibility of reality (together with the non-PSR premises) requires that they also endorse the relevant conclusion. Put differently, for Leibniz, many arguments in which the PSR appears as a premise are intended to show his interlocutors that failing to endorse the conclusion of the argument (while holding onto the non-PSR premises) is tantamount to abandoning their commitment to the ultimate intelligibility of reality. What Leibniz is doing in these arguments, I suggest, is <italic>showing</italic> cases in which <italic>endorsing</italic> certain propositions&#8212;such as the existence of brute facts or indiscernible entities&#8212;constitutes <italic>transgressions</italic> of the rules of rational inquiry structured by the PSR. The PSR in these arguments thus does <italic>not</italic> function as a premise stating a metaphysical principle, or stating another fact about the world, but rather as a reminder of what <italic>rational inquiry</italic> into a fundamentally intelligible reality <italic>demands</italic>&#8212;again, this is a function structurally analogous to the function of the scientific stance in the argument previously sketched.</p>
<p>On my reading, it is these convictions about rational inquiry that lead Leibniz to insist that &#8216;<italic>science</italic> becomes real and demonstrative by means of these principles [PSR and PII], whereas before it did generally consist in empty words&#8217; (<xref ref-type="bibr" rid="B9">LC 4.5</xref>, emphasis added). For Leibniz, to countenance brute facts or unintelligible aspects of reality is to abandon <italic>proper rational inquiry</italic>; it is to be content with &#8216;sophisms&#8217;, with &#8216;fictions, merely arbitrary and unworthy of true philosophy&#8217; (<xref ref-type="bibr" rid="B9">LC 4.46</xref>).</p>
</sec>
</sec>
<sec>
<title>5. Conclusion</title>
<p>Undoubtedly, a fundamental commitment in Leibniz&#8217;s philosophy is the principle of sufficient reason (PSR). Yet Leibniz&#8217;s precise understanding of this principle is elusive, since he provides several formulations that appear to be distinct. I call this the &#8216;content puzzle.&#8217; Another important puzzle pertains to the modal status of the PSR. There are several considerations for reading Leibniz&#8217;s PSR as metaphysically necessary: Leibniz often uses it to derive conclusions, or derives it from premises, that he takes to be metaphysically necessary. There are also several considerations for reading Leibniz&#8217;s PSR as metaphysically contingent: Leibniz claims that it is the ground of all contingent truths, uses it in arguments whose conclusions are contingent, permits the metaphysical possibilities of entities that violate the PSR, and seems to think that the PSR does not reduce to the PC.</p>
<p>I have argued that these puzzles can be solved by taking seriously Leibniz&#8217;s insistence that the PSR is a <italic>principle of reasoning</italic>. I argue that, for Leibniz, to say that the PSR is a principle of reasoning is to say that it is a regulative principle of rational inquiry, a principle that settles some of the permissible and impermissible moves in the game of rationally inquiring into a fundamentally intelligible reality. According to this reading, there is a coherence between epistemology and metaphysics: for Leibniz, one is <italic>epistemologically justified</italic> in holding metaphysical doctrines precisely because they result from engaging in the type of rational inquiry structured by the PSR understood as a principle of reasoning. My proposal is structurally analogous to that of modern proponents of <italic>a scientific stance</italic>&#8212;thinkers with the conviction that modern scientific methodology is an epistemologically credible, or even the most epistemologically credible, form of inquiry. These thinkers endorse scientific theses because they result from engaging in modern scientific inquiry, and regard their views as epistemologically justified precisely because they result from modern scientific inquiry. Likewise, I suggest, Leibniz endorses many metaphysical theses&#8212;that no substances differ in number only, that there is no vacuum, that God exists, etc.&#8212;because they result from engaging in the form of inquiry structured by the PSR, and Leibniz takes himself to be epistemologically justified in holding these metaphysical theses precisely because they are the results of such a form of inquiry.</p>
<p>I offer a cumulative argument for my proposal based on textual and philosophical considerations. My proposal is partly an interpretation of some texts, but it is also a general framework or lens that enables other texts to be made intelligible. Most relevantly are the passages in which Leibniz states that the PSR is a principle of reasoning, and the passages in which Leibniz treats the PSR as a regulative principle of rational inquiry into a fundamentally intelligible reality. Furthermore, a major benefit of my proposal is its ability to solve the content and modal status puzzles. This cumulative case is not conclusive, I grant; but, all in all, it makes my proposal worthy of consideration in the secondary literature on Leibniz&#8217;s PSR.</p>
</sec>
</body>
<back>
<fn-group>
<fn id="n1"><p>See, for example, Couturat (<xref ref-type="bibr" rid="B20">1901</xref>), Rescher (<xref ref-type="bibr" rid="B32">1979</xref>), Frankel (<xref ref-type="bibr" rid="B23">1986</xref>), Rutherford (<xref ref-type="bibr" rid="B35">1992</xref>), Cover and Hawthorne (<xref ref-type="bibr" rid="B21">1999</xref>), Look (<xref ref-type="bibr" rid="B29">2011</xref>), Jorati (<xref ref-type="bibr" rid="B28">2017</xref>), Pikket (<xref ref-type="bibr" rid="B30">2021</xref>), and Bender (<xref ref-type="bibr" rid="B18">2022</xref>).</p></fn>
<fn id="n2"><p>Translations are my own unless otherwise indicated.</p></fn>
<fn id="n3"><p>The notion of &#8216;game&#8217; I am employing here is influenced by Wittgenstein&#8217;s notion of a language game. What I mean is a type of human practice structured and constituted by a collection of relatively unified and open-ended rules about permissible and impermissible moves within that practice.</p></fn>
<fn id="n4"><p>Leibniz&#8217;s epistemology, of course, is not reducible to this epistemic role of the PSR alone.</p></fn>
<fn id="n5"><p>Arguably, such strategy of privileging some texts or ideas at the expense of some others is what most of the scholars cited in notes 6&#8211;11 are doing.</p></fn>
<fn id="n6"><p>At least, this is what a <italic>scientific realist</italic> would say, and Leibniz, I think, is a realist about inquiry.</p></fn>
<fn id="n7"><p>It is worth noting that Leibniz presents this causal version of the PSR as a logical implication of his notion of the nature of truth, and that this latter notion is conceptually interconnected with Leibniz&#8217;s logical version of the PSR.</p></fn>
<fn id="n8"><p>Sleigh (<xref ref-type="bibr" rid="B36">1983</xref>) argues that this logical version of the PSR is the &#8216;deep form&#8217; and thus more fundamental.</p></fn>
<fn id="n9"><p>Frankel (<xref ref-type="bibr" rid="B23">1986</xref>) argues for something along these lines.</p></fn>
<fn id="n10"><p>For commentators who have read Leibniz&#8217;s PSR as metaphysically necessary, see Couturat (<xref ref-type="bibr" rid="B20">1901: 214&#8211;15</xref>), Russell (<xref ref-type="bibr" rid="B34">1937: 30&#8211;39</xref>), Sleigh (<xref ref-type="bibr" rid="B36">1983</xref>), Look (<xref ref-type="bibr" rid="B29">2011: 201&#8211;9</xref>), Rodriguez-Pereyra (<xref ref-type="bibr" rid="B33">2013</xref>), and Griffin (<xref ref-type="bibr" rid="B26">2013: 4</xref>). For commentators who have read Leibniz&#8217;s PSR as metaphysically contingent, see Jorati (<xref ref-type="bibr" rid="B28">2017</xref>), Garcia (<xref ref-type="bibr" rid="B24">2019</xref>), Pikkert (<xref ref-type="bibr" rid="B30">2021</xref>), Bender (<xref ref-type="bibr" rid="B18">2022</xref>), and Garcia Torres (<xref ref-type="bibr" rid="B25">2024</xref>). Others fall somewhere in between: Adams (<xref ref-type="bibr" rid="B16">1994: 175</xref>) and Della Rocca (<xref ref-type="bibr" rid="B22">2015</xref>).</p></fn>
<fn id="n11"><p>For example, Jorati (<xref ref-type="bibr" rid="B28">2017</xref>) argues that, for Leibniz, the principle of the identity of indiscernibles (PII) is metaphysically contingent partly because it depends upon the PSR, which is also metaphysically contingent. Rescher (<xref ref-type="bibr" rid="B32">1979</xref>), by contrast, argues that Leibniz is committed to a metaphysically necessary PII and a metaphysically necessary PC, and to <italic>deriving</italic> the PII and the PC from the PSR, thus requiring that the PSR be metaphysically necessary. Griffin argues that, for Leibniz, sufficient reasons are &#8216;necessitating explanations&#8217;, and because God&#8217;s nature requires God to act with sufficient reasons, everything created by God is metaphysically necessary (<xref ref-type="bibr" rid="B26">2013: 4</xref>). Cover and Hawthorne (<xref ref-type="bibr" rid="B21">1999, ch. 5</xref>) also spend time looking at the extent to which a metaphysically contingent PII follows from a metaphysically contingent PSR and how the various arguments in which Leibniz employs these principles, and the resulting picture of the metaphysics of modality, are affected by the modal status of these principles.</p></fn>
<fn id="n12"><p>For a development of this argument, see Pikkert (<xref ref-type="bibr" rid="B30">2021</xref>).</p></fn>
<fn id="n13"><p>For a development of this argument, see Bender (<xref ref-type="bibr" rid="B18">2022</xref>).</p></fn>
<fn id="n14"><p>This is a basic feature of modern modal logics; see Hughes and Cresswell (<xref ref-type="bibr" rid="B27">1996</xref>). This assumption is also operative in the thought of several Leibniz&#8217;s commentators: Griffin (<xref ref-type="bibr" rid="B26">2013</xref>), Pikkert (<xref ref-type="bibr" rid="B30">2021</xref>), and Bender (<xref ref-type="bibr" rid="B18">2022</xref>).</p></fn>
<fn id="n15"><p>Griffin (2018: 4f) seems to assume that only necessitating sufficient explanations will do for Leibniz&#8217;s PSR.</p></fn>
<fn id="n16"><p>See Hughes and Cresswell (<xref ref-type="bibr" rid="B27">1996</xref>).</p></fn>
<fn id="n17"><p>Van Fraassen claims that &#8216;metaphysics is dead&#8217; (<xref ref-type="bibr" rid="B37">2002: 1</xref>), and he finds little value in most of contemporary analytic metaphysics, which for him, amounts to no more than &#8216;logical exercises pursuing the illusions of Reason&#8217; (<xref ref-type="bibr" rid="B37">2002: 30</xref>). He does not target Leibniz directly, but insists that the targets of empiricist critique &#8216;are forms of metaphysics that (a) give absolute primacy to demands for explanation and (b) are satisfied with explanations-by-postulate, that is, explanations that postulate the reality of certain entities or aspects of the world not already evident in experience&#8217; (<xref ref-type="bibr" rid="B37">2002: 37</xref>). Given this description, Leibniz&#8217;s philosophy is a suitable target of Van Fraassen&#8217;s empiricist critique.</p></fn>
</fn-group>
<sec>
<title>Competing Interests</title>
<p>The author has no competing interests to declare.</p>
</sec>
<ref-list>
<ref-list>
<title>Works by Leibniz and Translations thereof</title>
<ref id="B1"><mixed-citation publication-type="book"><collab>A</collab> <year>1923&#8211;</year>. <source>S&#228;mtliche Schriften und Briefe</source>. Edited by <string-name><given-names>Deutsche Akademie</given-names> <surname>der Wissenschaften</surname></string-name>. <publisher-loc>Darmstadt, Leipzig, Berlin</publisher-loc>: <publisher-name>Akademie Verlag</publisher-name>. Cited by series, volume, and page.</mixed-citation></ref>
<ref id="B2"><mixed-citation publication-type="book"><collab>AG</collab> <year>1989</year>. <source>Philosophical Essays</source>. Edited and translated by <string-name><given-names>Roger</given-names> <surname>Ariew</surname></string-name> and <string-name><given-names>Daniel</given-names> <surname>Garber</surname></string-name>. <publisher-loc>Indianapolis</publisher-loc>: <publisher-name>Hackett</publisher-name>. Cited by page number.</mixed-citation></ref>
<ref id="B3"><mixed-citation publication-type="book"><collab>C</collab> <year>1903</year>. <source>Opuscles et fragments inedits de Leibniz: Extraits des manuscrits de la Bibliotheque royale de Hanovre</source>. Edited by <string-name><given-names>Louis</given-names> <surname>Couturat</surname></string-name>. <publisher-loc>Paris</publisher-loc>: <publisher-name>F. Alcan</publisher-name>. Cited by page number.</mixed-citation></ref>
<ref id="B4"><mixed-citation publication-type="journal"><collab>DM</collab> <year>1686</year>. <source>Discourse on Metaphysics</source>. In G 4:427&#8211;463; English translation from AG 35&#8211;68. Cited by section number.</mixed-citation></ref>
<ref id="B5"><mixed-citation publication-type="book"><collab>G</collab> <year>1875&#8211;1890</year>. <source>Die philosophischen Schriften von Gottfried Wilhelm Leibniz</source>. Edited by <string-name><given-names>C. I.</given-names> <surname>Gerhardt</surname></string-name>. <publisher-loc>Berlin</publisher-loc>: <publisher-name>Weidmann</publisher-name>. Reprint, Hildesheim: Georg Olms, 1978. Cited by volume and page.</mixed-citation></ref>
<ref id="B6"><mixed-citation publication-type="book"><collab>Grua</collab> <year>1948</year>. <source>Textes in&#233;dits d&#8217;apr&#232;s des manuscripts de la Bilblioth&#232;que provinciale d&#8217;Hanovre</source>. Edited by <string-name><given-names>Gaston</given-names> <surname>Grua</surname></string-name>. <publisher-loc>Paris</publisher-loc>: <publisher-name>Presses Universitaires de France</publisher-name>.</mixed-citation></ref>
<ref id="B7"><mixed-citation publication-type="book"><collab>L</collab> <year>1969</year>. <chapter-title>Leibniz: Philosophical Papers and Letters</chapter-title>, <edition>2nd</edition> ed. <string-name><given-names>L. E.</given-names> <surname>Loemker</surname></string-name> (ed. And trans.) <publisher-name>Dordrecht and Boston</publisher-name>. Cited by page numbers.</mixed-citation></ref>
<ref id="B8"><mixed-citation publication-type="book"><collab>LGR</collab> <year>2016</year>. <source>Leibniz on God and Religion</source>, Edited and translated by <string-name><given-names>Lloyd</given-names> <surname>Strickland</surname></string-name>. <publisher-name>Bloomsbury Academy</publisher-name>. Cited by page.</mixed-citation></ref>
<ref id="B9"><mixed-citation publication-type="book"><collab>LC</collab> <year>2000</year>. <source>G. W. Leibniz and Samuel Clarke: Correspondence</source>. Edited by <string-name><given-names>Roger</given-names> <surname>Ariew</surname></string-name>. <publisher-name>Hackett</publisher-name>. Cited by letter and section number.</mixed-citation></ref>
<ref id="B10"><mixed-citation publication-type="journal"><collab>M</collab> <year>1714</year>. <source>Monadology</source>. Cited by section as in G 6.607&#8211;623; English translation from AG 213&#8211;225.</mixed-citation></ref>
<ref id="B11"><mixed-citation publication-type="book"><collab>MP</collab> <year>1973</year>. <source>Philosophical Writings</source>. Edited by <string-name><given-names>G. H. R.</given-names> <surname>Parkinson</surname></string-name>, translated by <string-name><given-names>Mary</given-names> <surname>Morris</surname></string-name> and <string-name><given-names>G. H. R.</given-names> <surname>Parkinson</surname></string-name>. <publisher-loc>London</publisher-loc>: <publisher-name>Everyman&#8217;s Library</publisher-name>.</mixed-citation></ref>
<ref id="B12"><mixed-citation publication-type="book"><collab>NE</collab> <year>1996</year>. <source>New Essays concerning Human Understanding</source>. In G 5:41&#8211;509. Translated and edited by <string-name><given-names>Peter</given-names> <surname>Remnant</surname></string-name> and <string-name><given-names>Jonathan</given-names> <surname>Bennett</surname></string-name>. <publisher-loc>Cambridge</publisher-loc>: <publisher-name>Cambridge University Press</publisher-name>. Cited by section number.</mixed-citation></ref>
<ref id="B13"><mixed-citation publication-type="journal"><collab>PNG</collab> <year>1714</year>. <article-title>&#8220;Principles of Nature and Grace, Based on Reason&#8221;</article-title>. Cited by sections as in G 6:598&#8211;606; translation from AG 206&#8211;13.</mixed-citation></ref>
<ref id="B14"><mixed-citation publication-type="book"><collab>SLT</collab> <year>2006</year>. <source>The Shorter Leibniz Texts</source>. Edited and translated by <string-name><given-names>Lloyd</given-names> <surname>Strickland</surname></string-name>. <publisher-loc>New York</publisher-loc>: <publisher-name>Continuum</publisher-name>. Cited by page number.</mixed-citation></ref>
<ref id="B15"><mixed-citation publication-type="book"><collab>T</collab> <year>1710</year>. <source>Theodicy</source>. In G 6:102&#8211;365. Translated by <string-name><given-names>E. M.</given-names> <surname>Huggard</surname></string-name>. <publisher-loc>La Salle</publisher-loc>: <publisher-name>Open Court</publisher-name>, 1985. Cited by section number.</mixed-citation></ref>
</ref-list>
<ref-list>
<title>Bibliography</title>
<ref id="B16"><mixed-citation publication-type="book"><string-name><surname>Adams</surname>, <given-names>Robert</given-names></string-name>. <year>1994</year>. <source>Leibniz: Determinist, Theist, Idealist</source>. <publisher-loc>Oxford</publisher-loc>: <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="B17"><mixed-citation publication-type="book"><string-name><surname>Adams</surname>, <given-names>Robert</given-names></string-name>. <year>1999</year>. <source>Finite and Infinite Goods: A Framework for Ethics</source>. <publisher-loc>New York</publisher-loc>: <publisher-name>Oxford University Press</publisher-name>.</mixed-citation></ref>
<ref id="B18"><mixed-citation publication-type="journal"><string-name><surname>Bender</surname>, <given-names>Sebastian</given-names></string-name>. <year>2022</year>. <article-title>&#8220;Localizing Violations of the Principle of Sufficient Reason&#8212;Leibniz on the Modal Status of the PSR.&#8221;</article-title> <source>Journal of Modern Philosophy</source> <volume>4</volume> (<issue>1</issue>): <fpage>1</fpage>&#8211;<lpage>20</lpage>. <pub-id pub-id-type="doi">10.25894/jmp.1951</pub-id></mixed-citation></ref>
<ref id="B19"><mixed-citation publication-type="book"><string-name><surname>Carter</surname>, <given-names>Brandon</given-names></string-name>. <year>1974</year>. <chapter-title>&#8220;Large Number of Coincidences and the Anthropic Principle in Cosmology.&#8221;</chapter-title> <source>IAU Symposium 63: Confrontation of Cosmological Theories with Observational Data</source>. <publisher-loc>Dordrecht</publisher-loc>: <publisher-name>Reide</publisher-name>.</mixed-citation></ref>
<ref id="B20"><mixed-citation publication-type="book"><string-name><surname>Couturat</surname>, <given-names>Louis</given-names></string-name>. <year>1901</year>. <source>La Logique de Leibniz</source>. <publisher-loc>Paris</publisher-loc>: <publisher-name>Presses Universitaires de France</publisher-name>.</mixed-citation></ref>
<ref id="B21"><mixed-citation publication-type="book"><string-name><surname>Cover</surname>, <given-names>Jan</given-names></string-name>, and <string-name><given-names>John</given-names> <surname>O&#8217;Leary-Hawthorne</surname></string-name>. <year>1999</year>. <source>Substance and Individuation in Leibniz</source>. <publisher-name>Cambridge University Press</publisher-name>.</mixed-citation></ref>
<ref id="B22"><mixed-citation publication-type="journal"><string-name><surname>Dell Rocca</surname>, <given-names>Michael</given-names></string-name>. <year>2015</year>. <article-title>&#8220;Review of <italic>Leibniz&#8217;s Principle of Identity of Indiscernibles</italic> by Gonzalo Rodriguez-Pereyra.&#8221;</article-title> <source>Notre Dame Philosophical Reviews</source> <volume>6</volume> (<issue>33</issue>).</mixed-citation></ref>
<ref id="B23"><mixed-citation publication-type="journal"><string-name><surname>Frankel</surname>, <given-names>Lois</given-names></string-name>. <year>1986</year>. <article-title>&#8220;From a Metaphysical Point of View: Leibniz and the Principle of Sufficient Reason.&#8221;</article-title> <source>The Southern Journal of Philosophy</source> <volume>14</volume> (<issue>3</issue>): <fpage>321</fpage>&#8211;<lpage>34</lpage>. <pub-id pub-id-type="doi">10.1111/j.2041-6962.1986.tb01570.x</pub-id></mixed-citation></ref>
<ref id="B24"><mixed-citation publication-type="journal"><string-name><surname>Garcia</surname>, <given-names>Juan</given-names></string-name>. <year>2019</year>. <article-title>&#8220;Leibniz on Agential Contingency and Explanation of Rational Action.&#8221;</article-title> <source>Studia Leibnitiana</source> <volume>51</volume> (<issue>1</issue>): <fpage>76</fpage>&#8211;<lpage>98</lpage>. <pub-id pub-id-type="doi">10.25162/sl-2019-0003</pub-id></mixed-citation></ref>
<ref id="B25"><mixed-citation publication-type="journal"><string-name><surname>Garcia Torres</surname>, <given-names>Juan</given-names></string-name>. <year>2024</year>. <article-title>&#8220;Leibniz on Innocent Individual Concepts and Metaphysical Contingency.&#8221;</article-title> <source>History of Philosophy Quarterly</source> <volume>41</volume> (<issue>1</issue>): <fpage>73</fpage>&#8211;<lpage>94</lpage>. <pub-id pub-id-type="doi">10.5406/21521026.41.1.04</pub-id></mixed-citation></ref>
<ref id="B26"><mixed-citation publication-type="book"><string-name><surname>Griffin</surname>, <given-names>Michael</given-names></string-name>. <year>2013</year>. <source>Leibniz, God and Necessity</source>. <publisher-name>Cambridge University Press</publisher-name>.</mixed-citation></ref>
<ref id="B27"><mixed-citation publication-type="book"><string-name><surname>Hughes</surname>, <given-names>George Edward</given-names></string-name>, and <string-name><given-names>Maxwell John</given-names> <surname>Cresswell</surname></string-name>. <year>1996</year>. <source>A New Introduction to Modal Logic</source>. <publisher-name>Routledge</publisher-name>.</mixed-citation></ref>
<ref id="B28"><mixed-citation publication-type="journal"><string-name><surname>Jorati</surname>, <given-names>Julia</given-names></string-name>. <year>2017</year>. <article-title>&#8220;The Contingency of Leibniz&#8217;s Principle of the Identity of Indiscernibles.&#8221;</article-title> <source>Ergo</source> <volume>4</volume> (<issue>31</issue>): <fpage>899</fpage>&#8211;<lpage>929</lpage>. <pub-id pub-id-type="doi">10.3998/ergo.12405314.0004.031</pub-id></mixed-citation></ref>
<ref id="B29"><mixed-citation publication-type="book"><string-name><surname>Look</surname>, <given-names>Brandon</given-names></string-name>. <year>2011</year>. <chapter-title>&#8220;Grounding the Principle of Sufficient Reason: Leibnizian Rationalism versus the Humean Challenge.&#8221;</chapter-title> In <source>The Rationalists: Between Tradition and Revolution</source>, edited by <string-name><given-names>Carlos</given-names> <surname>Frankel</surname></string-name>, <string-name><given-names>Dario</given-names> <surname>Perinetti</surname></string-name>, and <string-name><given-names>Justin</given-names> <surname>Smith</surname></string-name>, <fpage>201</fpage>&#8211;<lpage>19</lpage>. <publisher-loc>Dordrecht</publisher-loc>: <publisher-name>Springer</publisher-name>.</mixed-citation></ref>
<ref id="B30"><mixed-citation publication-type="journal"><string-name><surname>Pikkert</surname>, <given-names>Owen</given-names></string-name>. <year>2021</year>. <article-title>&#8220;The Modal Status of Leibniz&#8217;s Principle of Sufficient Reason.&#8221;</article-title> <source>Journal of the American Philosophical Association</source>. <volume>7</volume>(<issue>1</issue>):<fpage>40</fpage>&#8211;<lpage>58</lpage>. <pub-id pub-id-type="doi">10.1017/apa.2019.53</pub-id></mixed-citation></ref>
<ref id="B31"><mixed-citation publication-type="book"><string-name><surname>Putnam</surname>, <given-names>Hilary</given-names></string-name>. <year>1975</year>. <source>Mind, Language, and Reality: Philosophical Papers</source>. Vol. <volume>2</volume>. <publisher-loc>Cambridge</publisher-loc>: <publisher-name>Cambridge University Press</publisher-name>.</mixed-citation></ref>
<ref id="B32"><mixed-citation publication-type="book"><string-name><surname>Rescher</surname>, <given-names>Nicholas</given-names></string-name>. <year>1979</year>. <source>Leibniz: An Introduction to His Philosophy</source>. <publisher-loc>Totowa, N.J.</publisher-loc>: <publisher-name>Rowman and Littlefield</publisher-name>.</mixed-citation></ref>
<ref id="B33"><mixed-citation publication-type="book"><string-name><surname>Rodriguez-Pereyra</surname>, <given-names>Gonzalo</given-names></string-name>. <year>2013</year>. <chapter-title>&#8220;The Principles of Contradiction, Sufficient Reason, and Identity of Indiscernibles.&#8221;</chapter-title> In <source>Oxford Handbook of Leibniz</source>, edited by <string-name><given-names>Maria Rosa</given-names> <surname>Antagnazza</surname></string-name>, <fpage>45</fpage>&#8211;<lpage>64</lpage>. <publisher-loc>Oxford</publisher-loc>: <publisher-name>Oxford University Press</publisher-name>. <pub-id pub-id-type="doi">10.1093/oxfordhb/9780199744725.013.002</pub-id></mixed-citation></ref>
<ref id="B34"><mixed-citation publication-type="book"><string-name><surname>Russell</surname>, <given-names>Bertrand</given-names></string-name>. <year>1937</year>. <source>A Critical Exposition of the Philosophy of Leibniz</source>. <edition>2nd</edition> ed. <publisher-loc>London</publisher-loc>: <publisher-name>Allen &amp; Unwin</publisher-name>.</mixed-citation></ref>
<ref id="B35"><mixed-citation publication-type="journal"><string-name><surname>Rutherford</surname>, <given-names>Donald</given-names></string-name>. <year>1992</year>. <article-title>&#8220;Leibniz&#8217;s Principle of Intelligibility.&#8221;</article-title> <source>History of Philosophy Quarterly</source> <volume>9</volume> (<issue>1</issue>): <fpage>35</fpage>&#8211;<lpage>49</lpage>.</mixed-citation></ref>
<ref id="B36"><mixed-citation publication-type="journal"><string-name><surname>Sleigh</surname>, <given-names>Robert</given-names></string-name>. <year>1983</year>. <article-title>&#8220;Leibniz on the Two Great Principles of All Our Reasonings.&#8221;</article-title> <source>Midwest Studies in Philosophy</source> <volume>8</volume> (<issue>1</issue>): <fpage>193</fpage>&#8211;<lpage>216</lpage>.</mixed-citation></ref>
<ref id="B37"><mixed-citation publication-type="book"><string-name><surname>Van Fraassen</surname>, <given-names>Bas</given-names></string-name>. <year>2002</year>. <source>The Empirical Stance</source>. <publisher-loc>New Haven, CT</publisher-loc>: <publisher-name>Yale University Press</publisher-name>.</mixed-citation></ref>
</ref-list>
</ref-list>
</back>
</article>