According to one of Leibniz’s theories of contingency a proposition is contingent if and only if it cannot be proved in a finite number of steps. It has been argued that this faces the Problem of Lucky Proof, namely that we could begin by analysing the concept ‘Peter’ by saying that ‘Peter is a denier of Christ and …’, thereby having proved the proposition ‘Peter denies Christ’ in a finite number of steps. It also faces a more general but related (...) problem that we dub the Problem of Guaranteed Proof. We argue that Leibniz has an answer to these problems since for him one has not proved that ‘Peter denies Christ’ unless one has also proved that ‘Peter’ is a consistent concept, an impossible task since it requires the full decomposition of the infinite concept ‘Peter’. We defend this view from objections found in the literature and maintain that for Leibniz all truths about created individual beings are contingent. (shrink)

Studie se věnuje otázce po ontologickém statusu ideálního, potažmo fenomenálního prostoru v pojetí Gottfrieda Wilhelma Leibnize. Nejprve bude ujasněno, v jakém smyslu lze podle Leibnize za prostor v pravém slova smyslu považovat primárně pouze prostor ideální, sekundárně však rovněž prostor fenomenální. Posléze se vymezím zejména vůči takovým interpretacím leibnizovského ideálního prostoru, které v něm spatřují předzvěst prostoru kantovského. Leibnizův ideální, matematický prostor zde totiž bude přirovnán spíše k prostoru suárezovskému, případně hobbesovskému, nikoli však kantovskému.

In order to develop a deep and detailed reflection on global norms, international law scholars need to pay more attention to insights supplied by the discussions on the philosophical problem of universals. Using the examples of the discussion on universals in Leibniz and Hobbes, the paper demonstrates the importance of the philosophical problem of universals to discussions on the possibility of global norms. In particular, the comparative study of Leibniz and Hobbes demonstrates that a world divided in states mostly presupposes (...) a denial of universals and thus an impossibility of truly global norms. Although in such a world cooperation and agreement between states is desirable and possible, the resulting agreement does not reach the threshold of normativity required under this view. On the other hand, truly global norms become possible if one accepts the existence of universals following Leibnizian tradition. However, in this case, the nature of normativity changes. Moreover, while states do not need to disappear, their role changes significantly and the main unit of consideration becomes the individual human being. Under this view, a wide variety of actors at the international arena are accorded equal importance. Based on lessons learned from this discussion, the article demonstrates how the questions raised by an explicit inclusion of the philosophical problem of universals into debates about global norms have continuing relevance today. It also suggests some possible avenues for future research. (shrink)

The reflections recorded in this paper arise from three moments in the theory of definition and of conceptual analysis. The moments are: Frege’s review of Husserl’s Philosophy of Arithmetic, the discussion there of the paradox of analysis, and the division that Frege marks, ensuing upon his distinction of Sinn/sense from Bedeutung/reference, between two different conceptions of definition; Leibniz’s still serviceable account of a distinction between the clarity and the distinctness of ideas---a distinction that prompts the suggestion that the guiding purpose (...) of lexical definition is Leibnizian clarity whereas that of real definition is inseparable from the pursuit of Leibnizian distinctness; Leibniz’s speculations concerning the limit or terminus of analysis. The apparent failure of these speculations, casting doubt as it does upon the aspirations that give rise to them, points to the long-standing need to reconfigure the philosophical business of enquiry into concepts. (shrink)

In philosophical circles, Electress Sophie of Hanover (1630-1714) is known mainly as the friend, patron, and correspondent of Leibniz. While many scholars acknowledge Sophie's interest in philosophy, some also claim that Sophie dabbled in philosophy herself, but did not do so either seriously or competently. In this paper I show that such a view is incorrect, and that Sophie did make interesting philosophical contributions of her own, principally concerning the nature of mind and thought.

Everyone interested in Leibniz ought to read this fine, stimulating book. It is admirably written in the tradition exemplified by the references below and will especially appeal to those familiar with the analytical exposition in those works.

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)

The claim that truth is mind dependent has some initial plausibility only if truth bearers are taken to be mind dependent entities such as beliefs or statements. Even on that assumption, however, the claim is not uncontroversial. If it is spelled out as the thesis that “in a world devoid of mind nothing would be true”, then everything depends on how the phrase ‘true in world w’ is interpreted. If ‘A is true in w’ is interpreted as ‘A is true (...) of w’ (i.e. ‘w satisfies A’s truth conditions’, the claim need not be true. If on the other hand it is interpreted as ‘A is true of w and exists in w’ then the claim is trivially true, though devoid of any antirealistic efficacy. Philosophers like Heidegger and Rorty, who hold that truth is mind dependent but reality is not, must regard such principles as “A if and only if it is true that A” as only contingently true, which may be a good reason to reject the mind dependence of truth anyway. (shrink)

The editors of this volume, in their introduction, take Jonathan Bennett’s A Study of Spinoza’s Ethics as the exemplar for the eleven essays collected here, hailing Bennett’s book as setting “new standards for philosophical research on Spinoza”. Bennett’s work is indeed a worthy model. Aside from its more generic virtues, such as learnedness and conceptual rigor, perhaps what is most distinctive about Bennett’s treatment of Spinoza is his method, which he calls the “collegial approach.” This method proceeds by studying “the (...) texts in the spirit of a colleague, an antagonist, a student, a teacher—aiming to learn as much philosophy as one can from studying them.” Bennett has, employing this approach, produced a large number of useful works on early modern philosophers, and his efforts concerning Spinoza are among the best of them. But does Bennett’s example provide any unity for this collection? A number of these essays, Della Rocca’s and Manning’s, for example, indeed take what could be fairly described as a collegial approach to the study of Spinoza. Still others, however, such as Kulstad’s, place more emphasis on historical scholarship than the collegial approach prescribes. This matters, however, very little. Exemplary as Bennett’s work is, the study of the history of early modern philosophy has, in recent years, benefited from the work of scholars using a wide variety of methods. I think it fair to say that the essays collected in this volume, not at all to their detriment, reflect this diversity. (shrink)

This paper consists of four sections. The first section considers what the proof of necessitarianism in Spinoza's system requires. Also in the first section, Jonathan Bennett's (1984) reading of 1p16 as involving a commitment to necessitarianism is presented and accepted. The second section evaluates Bennett's suggestion how Spinoza might have been led to conclude necessitarianism from his basic assumptions. The third section of the paper is devoted to Don Garrett's (1991) interpretation of Spinoza's proof. I argue that Bennett's and Garrett's (...) interpretations of Spinoza's necessitarianism have short-comings which justify an attempt to offer an alternative proof. In the proof given in the fourth section, it is argued that Spinoza derived necessitarianism from the conjunction of the following principles: (i) necessary existence of the substances; (ii) substance-property ontology; (iii) superessentialism; and (iv) the 'no shared attribute' thesis. (shrink)

Leibniz argues that God doesn't create everything possible because not all possible things are compossible, that is, compatible with each other. Much recent debate has focused on Leibniz's conception of compossibility. One important aspect of this debate, which has not been examined directly, is the distinction between possible worlds and possible creations: the notion of possible world is more robust than simply whatever God can create. Many commentators have relied on this distinction without a clear formulation of it. I develop (...) the distinction between possible worlds and possible creations by looking at how Leibniz characterizes what God is capable of creating. I argue that possible creations must be both logically consistent and determinate. Possible creations differ from possible worlds insofar as possible creations fail to be either maximal or harmonious. I conclude, therefore, that focusing on the notion of determinateness offers a new approach to answering the question why doesn't God create everything possible? (shrink)

If Sophroniscus is the father of Socrates, then Socrates is the son of Sophroniscus. If Socrates is similar to Plato, then Plato is similar to Socrates. But how many relations does Sophroniscus and Socrates being so related involve? How many does Plato and Socrates being thus related? Is there a difference between the two cases? These are questions that have featured prominently in discussions of relations in recent years, but they are by no means new. Focusing on a text by (...) the later Archbishop of Canterbury, Robert Kilwardby, this paper explores some of the replies and main arguments advanced by a number of philosophers working in the Latin west in the mid-to-late thirteenth century. (shrink)

In this paper, I argue against defining either of ‘good’ and ‘better’ in terms of the other. According to definitions of ‘good’ in terms of ‘better’, something is good if and only if it is better than some indifference point. Against this approach, I argue that the indifference point cannot be defined in terms of ‘better’ without ruling out some reasonable axiologies. Against defining ‘better’ in terms of ‘good’, I argue that this approach either cannot allow for the incorruptibility of (...) intrinsic goodness or it breaks down in cases where both of the relata of ‘better’ are bad. (shrink)

This article examines Leibniz's philosophy of causation with the aim of clarifying how causes are related to their effects. I argue that, much like J. L. Mackie's INUS conditions, Leibnizian causes are members of complex causal conditions. More precisely, Leibniz identifies causes with elements of complex causal conditions, where the complex condition as a whole is sufficient for the effect, and the cause is a necessary part of that condition. This conception of causation is able to incorporate Leibniz's many other (...) definitions of ‘cause’, thereby resolving what appear to be internal inconsistencies in his philosophy of science. Introduction The ingredients of causation Causes and conditions Causes as INUS conditions Conclusion. (shrink)

Leibniz's philosophy of time, often seen as a precursor to current forms of relationalism and causal theories of time, has rightly earned the admiration of his more recent counterparts in the philosophy of science. In this article, I examine Leibniz's philosophy of time from a new perspective: the role that tense and non-tensed temporal properties/relations play in it. Specifically, I argue that Leibniz's philosophy of time is best (and non-anachronistically) construed as a non-tensed theory of time, one that dispenses with (...) tensed temporal properties such as past, present, and future. In arguing for this thesis, I focus on the three facets of Leibniz's philosophy most relevant for evaluating his commitment to a B-theory of time: (1) the nature of change, (2) the reality of the future, and (3) the truth-conditions for tensed temporal statements. Despite prima facie evidence to the contrary, I show that a close examination of Leibniz's views on these topics provides compelling evidence for interpreting his philosophy of time as a B-theory of time. (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)

The main goal of the present paper is to offer a preliminary study of the relations between phenomenology and metaphysics in Husserl. After a brief presentation of what Husserl means by the term “metaphysics”, the rest of our research will consist of a detailed commentary on §60 of the Cartesian Meditations. Our aim is to explain in what sense, according to Husserl, the “outcomes” of the phenomenological constitution of monadological intersubjectivity entail the solution to a traditional metaphysical problem, i.e., that (...) of the existence of just one real world. The present investigation does not pretend to be more than an introduction. Besides shedding some light on a specific text, it will pave the way for a future inquiry into the relations between phenomenology and metaphysics in Husserl. (shrink)

According to Peacocke, concepts are individuated by their possession conditions, which are specified in terms of conditions in which certain propositions containing those concepts are believed. In support, Peacocke tries to explain what it is for a thought to have a structure and what it is for a belief to have a propositional content. I show that the possession condition theory cannot answer such fundamental questions. Peacocke’s theory founders because concepts are metaphysically fundamental. They individuate the propositions and thoughts containing (...) them, which in turn individuate the propositional attitudes that are relations to those propositions or thoughts. (shrink)

In this paper I investigate the idea that in conceptual analysis we are in a substantial way concerned with revealing metaphysical grounds. I argue that a recent proposal fails, according to which we aim to reveal what complex concepts are grounded in. The notion ofcomposition, rather than that ofgrounding, is the best way to understand the intuitive hierarchy of concepts. In an analysis we reveal thecomponentsorpartsof complex concepts and their structure. Finally, I propose an alternative role for grounding in our (...) accounts of analysis: in analyses we reveal truths about the composition of concepts that serve as grounds for truths about theirfunctions, which are what we want to understand. (shrink)

Model-theoretic 1-types overa given first-order theory T may be construed as natural metalogical miniatures of G. W. Leibniz' ``complete individual notions'', ``substances'' or ``substantial forms''. This analogy prompts this essay's modal semantics for an essentiallyundecidable first-order theory T, in which one quantifies over such ``substances'' in a boolean universe V(C), where C is the completion of the Lindenbaum-algebra of T.More precisely, one can define recursively a set-theoretic translate of formulae N of formulae of a normal modal theory Tm based on (...) T, such that the counterpart `i' of a the modal variable `xi' of L(Tm) in this translation-scheme ranges over elements of V(C) that are 1-types of T with value 1 (sometimes called `definite' C-valued 1-types of T). (shrink)

Place is the most fundamental concept in architecture and is a necessity of architectural design, and since we face changes in our understanding of place notion in the modern era which have had distinctly profound and sometimes unpleasant effects on modern and subsequent designs- in a way that architecture has largely neglected its primary task of making the noble place of human life, and its responsibility in human dwelling dimension- in order to find the roots of the evolution in place (...) nature and its meaning, we will answer these two question: what the concept of place has been for ancient thinkers? What have been the reasons for changing the understanding of place in the modern era? How these changes have affected the understanding of place in modern architecture? and yet we will try to understand the concepts of place in ancient Greece (as the origin of western thoughts especially modern thinking) versus the modern, and finally the main findings of this study are the massive semantic transformation of place in modern age and its replacement by space in modern architecture design which mainly is the result of major attention paid to the extendedness of place, the emergence of functionalism in degradation of place, and the commercialization of place. (shrink)

The Institute Vienna Circle held a conference in Vienna in 2003, Cambridge and Vienna a?

As is well known, the linguistic/philosophical reflection on natural kind terms has undergone a remarkable development in the early seventies with Putnam and Kripke’s essentialist approaches, touching upon different aspects of Kan’s slant. Preliminarily, however, it might be useful to review some of the theoretical stages in Locke and Leibniz’s approaches on natural kind terms in the light of contemporary reflections, to eventually pinpoint Kant’s contribution and see how some commentators have placed it within the theory of direct reference. Starting (...) with textual evidence even from the logical corpus, in the present essay I will attempt to discuss some of the arguments dismissing Kant’s adherence to this view. These assume that in his approach to the semantics of natural kind Kant appears to be still holding on to a nominalist/conceptualist position, though he seems to be well aware of a few key issues for the theorists of direct reference. (shrink)

I have three main objectives in this essay. First, in chapter 2, I shall put forward and justify what I call worldlessness, by which I mean the following: All truths (as well as falsehoods) are wholly independent of any circumstances, not only time and place but also possible worlds. It follows from this view that whatever is actually true must be taken as true with respect to every possible world, which means that all truths are (in a sense) necessary. However, (...) the account I shall propound is different from what is known in the trade as necessitarianism, i.e. the view that there is only one possible world, viz. the actual one, for the doctrine of the worldlessness of truth values, despite its commitment to the necessity of truths and falsehoods, is quite compatible with the idea of there being other possible worlds. Another important issue in chapter 2, explored in particular in section 2.12, is the claim that there is no real change in the world. Secondly, in chapter 3 I consider the eminent traditional argument for determinism, deriving from Aristotle, namely, logical determinism, i.e. determinism justified by an appeal to the logical principle of bivalence (that all proper statements, including those concerning the future, are either true or false). In this connection I try to show that, (i), the formulation of the conclusion of this argument as "Whatever will happen will happen of necessity" is implausible, at least from the modern point of view, (ii), the formulation as "Whatever will happen will happen inevitably" is more to the point, and (iii), on the basis of the worldless and timeless aspect advocated in chapter 2, this latter formulation is quite harmless, essentially amounting to the trivial statement, "Whatever will happen will happen". Thirdly, in chapter 4 I study theological determinism, or determinism that arises from God's supposed providential control over everything that happens. In this connection, I shall survey some historical accounts of the relation between human free will and determinism (not only theological but also causal determinism); the philosophers the views of whom I shall attend to include Chrysippus, St. Augustine, Boethius and Aquinas. I shall in particular consider G.W. Leibniz' theodicean aspirations, viz. his solution to the problem of evil and, especially, his compatibilist attempts to reconcile human free will with the strictly deterministic flow of actual events. I think it is important to try to explicate Leibniz' ingenious account of these matters, since it seems that it has not been fully appreciated in the literature, not even by contemporary Leibniz scholars (such as B. Mates, R.C. Sleigh, C. Wilson, R.M. Adams and D. Rutherford). In providing the Leibnizian compatibilist solution of the problem of determinism and freedom in chapter 4, I shall utilize the approach of chapter 2. (shrink)

Rosenberg’s general argumentative strategy in favour of panpsychism is an extension of a traditional pattern. Although his argument is complex and intricate, I think a model that is historically significant and fundamentally similar to the position Rosenberg advances might help us understand the case for panpsychism. Thus I want to begin by considering a Leibnizian argument for panpsychism.

This paper extends the definition of strong supervenience to cover classes of relations of any adicity, including transworld relations. It motivates that project by showing that not all interesting supervenience claims involving relations are global supervenience claims. The proposed definition has five welcome features: it reduces to the familiar definition in the special case where the classes contain only monadic properties; it equips supervenience with the expected formal properties, such as transitivity and monotonicity; it entails that a relation supervenes on (...) its converse; it classifies certain paradigms correctly; it makes distinctions even in the realm of the non-contingent, as witnessed by the fact that identity does not supervene on any class of relations. Finally, the paper applies the defined concept, and the related concept of orthogonality, to the study of internal and external relations. (shrink)

Leibniz propôs que demonstrações fossem reformuladas como deduções a partir de identidades, e que proposições do tipo A = A fossem a fonte única de verdade. Neste artigo, procuro explicar essa teoria da prova (e do conhecimento), assim como seus conceitos elementares, ou seja, os conceitos de identidade, verdade (ou possibilidade) e proposição (inclusive a teoria leibniziana da redutibilidade a proposições sujeito-predicado). Leibniz proposed that demonstrations be reformulated as deductions from identities, and that propositions of the type A = A (...) be the only source of truth. In this article, I aim to explain this theory of proof (and knowledge), as well as its elementary concepts, such as identity, truth (or possibility) and proposition (including Leibniz's theory of reducibility of propositions to subject-predicate form). (shrink)