Displaying: 1-10
of
15
documents

Several scholars have argued that Leibniz’s infinite analysis theory of contingency faces the Problem of Lucky Proof. This problem will be discussed here and a solution offered, trying to show that Leibniz’s proof-theory does not generate the alleged paradox. It will be stressed that only the opportunity to be proved by God, and not by us, is relevant to the issue of modality. At the heart of our proposal lies the claim that, on the one hand, Leibniz’s individual concepts are saturated conceptual conjunctions, i.e., infinite conjunctions that contain either the concept itself or its privation for every primitive concept; and that, on the other hand, also certain universal concepts of states and acts are infinite conjunctions of primitive concepts and privations, even if insaturated ones. This will suffice to allow that some truths regarding individuals can’t be demonstrated, although they are included in the concept of their subject.

Marco Messeri (2017) offers a new solution to the problem of lucky proof (an influen­tial objection to Leibniz’s infinite-analysis theory of contingency. Messeri claims that contingent truths like “Peter denies Jesus” cannot be proved by a finite analysis because predicates like “denies Jesus” are infinitely complex. I argue that infinitely complex predicates appear in some necessary truths, and that some contingent truths have finitely complex predicates. Messeri’s official account is disjunctive: a truth is contingent just in case either it contains an infinitely complex predicate or it concerns existence. I argue against Messeri’s official account and suggest that some other disjunctive account might be appropriate.

Not unlike many contemporary philosophers, Leibniz admitted the existence of temporary truths, true propositions that have not always been or will not always be true. In contrast with contemporary philosophers, though, Leibniz conceived of truth in terms of analytic containment: on his view, the truth of a predicative sentence consists in the analytic containment of the concept expressed by the predicate in the concept expressed by the subject. Given that analytic relations among concepts are eternal and unchanging, the problem arises of explaining how Leibniz reconciled one commitment with the other: how can truth be temporary, if concept-containment is not? This paper presents a new approach to this problem, based on the idea that a concept can be consistent at one time and inconsistent at another. It is argued that, given a proper understanding of what it is for a concept to be consistent, this idea is not as problematic as it may seem at first, and is in fact implied by Leibniz’s general views about propositions, in conjunction with the thesis that some propositions are only temporarily true.

The young Spinoza and the mature Leibniz both characterize the soul as a self-moving spiritual automaton. Though it is unclear if Leibniz’s use of the term was suggested to him from his reading of Spinoza, Leibniz was aware of its presence in Spinoza’s Treatise on the Emendation of the Intellect. Considering Leibniz’s staunch opposition to Spinozism, the question arises as to why he was willing to adopt this term. I propose an answer to this question by comparing the spiritual automaton in both philosophers. For Spinoza, the soul acts as a spiritual automaton when it overcomes imaginative ideas and produces true ideas. For Leibniz, the soul acts as a spiritual automaton when it spontaneously produces its perceptions according to the universal harmony preestablished by God. Thus, for Leibniz contra Spinoza, the spiritual automaton is a means to render intelligible a providential order in which everything happens for the best.