In this paper I will suggest an interpretation of Spinoza's ontological argument on which the argument, properly construed, is valid, and Spinoza, if granted the claim that it is possible that God exists, is successful in obtaining the conclusion of the argument. The interpretations given by H.A. Wolfson, G.H.R. Parkinson, and William A. Earle will then be argued to be deficient on textual and logical grounds. Leibniz’ assessment of the argument, namely that it “permits us only to conclude that God's (...) existence follows if his possibility is already proven,” is thus held to be correct. (shrink)

Leibniz’ principal doctrine of truth is an attempt to set out the truth-conditions for a certain syntactically-defined class of propositions. As such, it constitutes an attempt to provide at least one portion of a semantical theory. The doctrine itself is found for example in Elementa Calculi:Every true categorical proposition, affirmative and universal, signifies nothing but a certain connection between the predicate and the subject… This connection is such that the predicate is said to be in the subject, or to be (...) contained in it, and this either absolutely and viewed in itself, or in some particular case. Or in the same way, the subject is said to contain the predicate; that is, the notion of the subject, either in itself or with some addition, involves the notion of the predicate.It is clear, from this work as well as from “First Truths” and “On Freedom”, that the doctrine is not restricted to universal affirmatives, but applies as well to particular affirmatives. (shrink)

This contribution explores Wolfgang Pauli's idea that mind and matter are complementary aspects of the same reality. We adopt the working hypothesis that there is an undivided timeless primordial reality (the primordial "one world''). Breaking its symmetry, we obtain a contextual description of the holistic reality in terms of two categorically different domains, one tensed and the other tenseless. The tensed domain includes, in addition to tensed time, nonmaterial processes and mental events. The tenseless domain refers to matter and physical (...) energy. This concept implies that mind cannot be reduced to matter, and that matter cannot be reduced to mind. The non-Boolean logical framework of modern quantum theory is general enough to implement this idea. Time is not taken to be an a priori concept, but an archetypal acausal order is assumed which can be represented by a one-parameter group of automorphisms, generating a time operator which parametrizes all processes, whether material or nonmaterial. The time-reversal symmetry is broken in the nonmaterial domain, resulting in a universal direction of time for the material domain as well. (shrink)

This article discusses two coextensive concepts of logical consequence that are implicit in the two fundamental logical practices of establishing validity and invalidity for premise-conclusion arguments. The premises and conclusion of an argument have information content (they ?say? something), and they have subject matter (they are ?about? something). The asymmetry between establishing validity and establishing invalidity has long been noted: validity is established through an information-processing procedure exhibiting a step-by-step deduction of the conclusion from the premise-set. Invalidity is established by (...) exhibiting a countermodel satisfying the premises but not the conclusion. The process of establishing validity focuses on information content; the process of establishing invalidity focuses on subject matter. Corcoran's information-theoretic concept of logical consequence corresponds to the former. Tarski's model-theoretic concept of logical consequence formulated in his famous 1936 no-countermodels definition corresponds to the latter. Both are found to be indispensable for understanding the rationale of the deductive method and each complements the other. This study discusses the ontic question of the nature of logical consequence and the epistemic question of the human capabilities presupposed by practical applications of these two concepts as they make validity and invalidity accessible to human knowledge. (shrink)

Seventeenth century discussions of materialism, whether favorable or hostile towards the position, are generally conducted on a level of much less precision and sophistication than recent work on the problem of the mind-body relation. Nevertheless, the earlier discussions can still be interesting to philosophers, as the plethora of references to Cartesian arguments in the recent literature makes clear. Certainly the early development of materialist patterns of thought, and efforts on both the materialist and immaterialist side to establish fundamental points in (...) the philosophical analysis of mind, have considerable historical interest at the present time. This paper attempts to clarify the significance of some of leibniz's views in connection with the materialist thesis. I do not have in mind his rather notorious parallelism, though some of the points made below bear indirectly on the character of this position. Instead, I will examine his approach to arguments against materialism. (shrink)

The monumental works of Bertrand Russell and Louis Couturat have set a firm pattern of interpretation which many follow in their approach to the Philosophy of Leibniz. In the Preface to the second edition of The Philosophy of Leibniz , Russell reaffirms his contention that “Leibniz’s philosophy was almost entirely derived from his logic”. He welcomes the support provided in Couturat’s La Logique de Leibniz . Russell remarks “No candid reader—can doubt that Leibniz’s metaphysic was derived by him from the (...) subject-predicate logic. This appears, for example, from the paper ‘Primae Veritates’ where all the main doctrines of the Monadology are deduced, with terse logical rigor from the premises; ‘Always therefore the predicate or consequent adheres in the subject or antecedent, and in this fact consists the nature of truth in general—But this is true in every affirmative truth, universal or singular, necessary or contingent’.” Referring further to Couturat, he points out that in his book the “Principle of Sufficient Reason” and “The Identity of Indiscernibles” are “expressly deduced—from the analytic character of all true propositions”. In short, Russell is contending that in formulating his metaphysics Leibniz used the rigorous methods of deductive logic and employed “models” drawn from logic to construct his “picture of reality”, i.e. his metaphysics. (shrink)