Leibniz Reinterpreted tackles head on the central idea in Leibniz's philosophy, namely that we live in the best of all possible worlds. Strickland argues that Leibniz's theory has been consistently misunderstood by previous commentators. In the process Strickland provides both an elucidation and reinterpretation of a number of concepts central to Leibniz's work, such as 'richness', 'simplicity', 'harmony' and 'incompossibility', and shows where previous attempts to explain these concepts have failed. This clear and concise study is tightly focussed and assumes (...) no prior acquaintance with Leibniz or optimism. It thus serves as an ideal entry point into Leibniz's philosophy. (shrink)

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)

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)

TheGenerales Inquisitiones de Analysi Notionum et Veritatumis Leibniz’s most substantive work in the area of logic. Leibniz’s central aim in this treatise is to develop a symbolic calculus of terms that is capable of underwriting all valid modes of syllogistic and propositional reasoning. The present paper provides a systematic reconstruction of the calculus developed by Leibniz in theGenerales Inquisitiones. We investigate the most significant logical features of this calculus and prove that it is both sound and complete with respect to (...) a simple class of enriched Boolean algebras which we call auto-Boolean algebras. Moreover, we show that Leibniz’s calculus can reproduce all the laws of classical propositional logic, thus allowing Leibniz to achieve his goal of reducing propositional reasoning to algebraic reasoning about terms. (shrink)

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

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)