Leibniz, it seems, wishes to reduce statements involving relations or extrinsic denominations to ones solely in terms of individual accidents or, respectively, intrinsic denominations. His reasons for this appear to be that relations are merely mental things (since they cannot be individual accidents) and that extrinsic denominations do not represent substances as they are on their own. Three interpretations of Leibniz''s reductionism may be distinguished: First, he allowed only monadic predicates in reducing statements (hard reductionism); second, he allowed also `implicitly (...) relational predicates'' such as `loves somebody'' (soft reductionism); third, he allowed also `explicitly relational predicates'' such as `loves Helen'' (nonreductionism). Hard reductionism is problematic with respect to Leibniz''s doctrines of universal expression and incompossibility (among other things). Nonreductionism, in turn, faces insurmountable problems with Leibniz''s doctrine of self-sufficiency and internal identification of substances, as well as with that of individual accidents. The remaining option, soft reductionism, standing between the other two interpretations, arguably avoids at least some of their problems. (shrink)

Em diversas ocasiões, Leibniz recorre à autoridade de Aristóteles a fim de roborar sua tese da verdade como inerência do predicado ao sujeito da proposição. Não é, contudo, evidente em que medida a filosofia aristotélica poderia oferecer amparo a essa reivindica- ção. Afinal, a Aristóteles tradicionalmente se atribui uma concepção de verdade diferente, consistente em uma relação de correspondência entre a proposição e a realidade que ela se destina a descrever. Sem discutir a conhecida tese da verdade como correspondência, este (...) trabalho é dedicado a investigar em que medida os escritos de Aristóteles permitem que Leibniz respalde neles as suas afirmações. Para tanto, a presente investigação estará focada nos Primeiros e os Segundos Analíticos, obras em que Aristóteles expõe sua teoria do racio- cínio e da demonstração. Visa-se averiguar se, e sob que condições, a noção de inerência ali mobilizada pode ser assimilada à noção leibniziana de inerência. (shrink)

La finalidad de este artículo es elucidar el sentido de la doctrina leibniziana de la exigencia de existencia y el combate de los posibles, situándola dentro del conjunto de la metafísica de Leibniz y mostrando su absoluta compatibilidad con la afirmación de la creación libre y voluntaria por parte de Dios. Se intentará explicar qué elementos de la afirmación de la ‘exigencia de existencia’ y el ‘combate de los posibles’ reflejan tesis estric- tamente metafísicas, y cuáles pueden considerarse recursos metafóricos. (...) En este contexto, se explicará qué papel que juega la voluntad divina antecedente en la fundamentación de la tendencia de los posibles a la existencia, y se intentará focalizar el papel específico de la ‘sabiduría’, como atributo divino, en la determinación y elección del mejor mundo posible. Finalmente, se extraerán algunas consecuencias del análisis anterior, en relación con la libertad divina en el acto creador. (shrink)

This paper develops a valid reconstruction in first-order predicate logic of Leibniz’s argument for his complete concept definition of substance in §8 of the Discours de Métaphysique. Following G. Rodriguez-Pereyra, it construes the argument as resting on two substantial premises, the “merely verbal” Aristotelian definition and Leibniz’s concept containment theory of truth, and it understands the resulting “real” definition as saying not that an entity is a substance iff its complete concept contains every predicate of that entity, but iff its (...) complete concept contains every predicate of any subject to which that concept is truly attributable. An account is suggested of why Leibniz criticises the Aristotelian definition as merely nominal and how he takes his own definition to overcome this shortcoming: while on the Aristotelian basis the predication relation could generate endless chains, so that substances as endpoints of predication would be impossible, Leibniz’s definition reveals lowest species as such endpoints, which he therefore identifies with individual substances. Since duplicate lowest species make no sense, the Identity of Indiscernibles for substances follows. The reading suggests a Platonist interpretation according to which substances do not so much have but are individual essences, natures or forms. (shrink)

Whitehead's system may be interpreted as a majestic attempt at recasting Leibniz's theory of monads in terms of sounder ontological categories. After a brief introductory section on the sources of Whitehead's knowledge of Leibniz's philosophy, the paper explains why Whitehead turned to Leibniz for metaphysical inspiration. Attention then shifts to Whitehead's understanding of the problems involved with Leibniz's theory of monads and his alternative explanation of monadic causation. Whitehead's endeavour to install windows in Leibniz's monads may not be entirely convincing, (...) but there are philosophical gems scattered here and there in his analyses – true moments of insight that repay close examination. (shrink)

The aim of the paper is to illuminate some core aspects of Leibniz’s conception of judgement and its place in his conception of the mind. In particular, the paper argues for three claims: First, the act of judgement is at the centre of Leibniz’s conception of the mind in that minds strive at actualising innate knowledge concerning derivative truths, where the actualising involves an act of judgement. Second, Leibniz does not hold a judgement account of predication, but a two-component account (...) that distinguishes between predication and alethic evaluation. Third, Leibniz understands the act of affirmative judgement in terms of establishing active dispositions, i.e. strivings, to make reasons available for future reasoning that aims at answering whether-questions. Correspondingly, he understands the act of negative judgement in terms of establishing dispositions to ban propositions from future reasoning that aims at answering whether-questions. In the final analysis, the acts of affirmative as well as of negative judgement turn out to be acts of changing memory dispositions. (shrink)

This book is a new interpretation of Schelling's path-breaking 1809 treatise on freedom, the last major work published during his lifetime. The treatise is at the heart of the current Schelling renaissance—indeed, Heidegger calls it "one of the most profound works of German, thus of Western, philosophy." It is also one of the most demanding and complex texts in German Idealism. By tracing the problem of ground through Schelling's treatise, this book provides a unified reading of the text, while unlocking (...) the meaning of its most challenging passages through clear, detailed analysis. This analysis shows how Schelling's implicit distinction between senses of ground is the key to his project of constructing a system that can satisfy reason while accommodating objects that seem to defy rational explanation—including evil, the origins of nature, and absolute freedom. This allows Schelling to unite reason and mystery, providing a rich model for philosophizing about freedom and evil today. (shrink)

Greek antiquity saw the development of two distinct systems of logic: Aristotle’s theory of the categorical syllogism and the Stoic theory of the hypothetical syllogism. Some ancient logicians argued that hypothetical syllogistic is more fundamental than categorical syllogistic on the grounds that the latter relies on modes of propositional reasoning such asreductio ad absurdum. Peripatetic logicians, by contrast, sought to establish the priority of categorical over hypothetical syllogistic by reducing various modes of propositional reasoning to categorical form. In the 17th (...) century, this Peripatetic program of reducing hypothetical to categorical logic was championed by Gottfried Wilhelm Leibniz. In an essay titledSpecimina calculi rationalis, Leibniz develops a theory of propositional terms that allows him to derive the rule ofreductio ad absurdumin a purely categorical calculus in which every proposition is of the formA is B. We reconstruct Leibniz’s categorical calculus and show that it is strong enough to establish not only the rule ofreductio ad absurdum, but all the laws of classical propositional logic. Moreover, we show that the propositional logic generated by the nonmonotonic variant of Leibniz’s categorical calculus is a natural system of relevance logic known as RMI$_{{}_ \to ^\neg }$. (shrink)

The paper discusses Leibniz's theory of denominations, expression, and individual notions, the central claim being that the key to many of Leibniz's fundamental theses is to consider his argument, starting from his predicate-in-subject account of truth (that in a true statement the notion of the predicate is contained in that of the subject), against purely extrinsic denominations: this argument shows why there is an internal foundation for all denominations, why everything in the world is interconnected, why each substance expresses all (...) the others, and why every change in the world is reflected as a real, internal change in every substance. (shrink)

Leibniz's principle of sufficient reason is the claim that everything has a sufficient reason. But is Leibniz committed to the necessity or to the contingency of his great principle? I argue that Leibniz is committed to its contingency, given that he allows for the absolute possibility of entities that he claims violate the PSR. These are all cases of qualitatively indiscernible entities, such as indiscernible atoms, vacua, and bodies. However, Leibniz's commitment to the contingency of the PSR seems to stand (...) in tension with his inference of the PSR from his theory of truth. I argue that this apparent tension can be resolved satisfactorily. When it comes to his modal views on the PSR, Leibniz's position is entirely consistent. (shrink)

According Leibniz's thesis of universal expression, each substance expresses the whole world, i.e. all other substances, or, as Leibniz frequently states, from any given complete individual notion (which includes, in internal terms, everything truly attributable to a substance) one can "deduce" or "infer" all truths about the whole world. On the other hand, in Leibniz's view each (created) substance is internally individuated, self-sufficient and independent of other (created) substances. What may be called Leibniz's expression problem is, how to reconcile these (...) views with each other, that is, how a substance that expresses the whole world, even in the sense that the whole world can be "inferred" from its complete individual notion, can be self-sufficient and internally individuated. The purpose of this paper is to give an exact account of this tricky problem of universal expression, an account that retains substances' self-sufficiency under the constraint that all truths about the whole world are to be obtained from complete individual notions. It will also be shown how the explication of universal expression to be given accounts for Leibniz's thesis of universal change, i.e. the view that any change in any substance is reflected as a real, internal change in each and every other substance. (shrink)

This article discusses Leibniz’s claim that every substance is endowed with the property of perception in connection with Platonism, rationalism and the problem of substance monism. It is argued that Leibniz’s ascription of perception to every substance relies on his Platonic conception of finite things as imitations of God, in whom there is ‘infinite perception’. Leibniz’s Platonism, however, goes beyond the notion of imitation, including also the emanative causal relation and the logical (i.e. definitional) priority of the absolute over the (...) limited. It is proposed that Leibniz’s endorsement of Platonism, in conjunction with some rationalist elements of his philosophy, implies a monistic conception of particulars as modifications of a single substance. Following some scholars and opposing others, the article offers evidence that Leibniz accepted this implication during the last years of his Paris period. However, it is further argued that it was precisely the idea of perception as a property of every substance that allowed Leibniz to find a way out of monism after that period. More specifically, the article defends the view that what made room for ontological pluralism within Leibniz’s rationalist and Platonic outlook was the idea that perception is the property which constitutes the very being of substances: substances are their perceptions. (shrink)

Imaguire-Guido_On-the-ontology-of-relations.