By the middle of the seventeenth century we that find that algebra is able to offer proofs in its own right. That is, by that time algebraic argument had achieved the status of proof. How did this transformation come about?

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)

Isaac Newton’s views on the mind–body relation are of interest not only because of their somewhat unique departure from popular early modern conceptions of mind and its relation to body, but also because of their connections with other aspects of Newton’s thought. In this paper I argue that (1) Newton accepted an interesting sort of mind–body monism, one which defies neat categorization, but which clearly departs from Cartesian substance dualism, and (2) Newton took the power by which we move our (...) bodies by thought alone to be a member of the family of forces that includes gravity and electricity. Time and again, Newton draws an analogy between the ultimate cause and nature of the volitional powers of mind and the ultimate cause and nature of these other forces. (shrink)

This target article presents a new computational theory of explanatory coherence that applies to the acceptance and rejection of scientific hypotheses as well as to reasoning in everyday life, The theory consists of seven principles that establish relations of local coherence between a hypothesis and other propositions. A hypothesis coheres with propositions that it explains, or that explain it, or that participate with it in explaining other propositions, or that offer analogous explanations. Propositions are incoherent with each other if they (...) are contradictory, Propositions that describe the results of observation have a degree of acceptability on their own. An explanatory hypothesis is acccpted if it coheres better overall than its competitors. The power of the seven principles is shown by their implementation in a connectionist program called ECHO, which treats hypothesis evaluation as a constraint satisfaction problem. Inputs about the explanatory relations are used to create a network of units representing propositions, while coherende and incoherence relations are encoded by excitatory and inbihitory links. ECHO provides an algorithm for smoothly integrating theory evaluation based on considerations of explanatory breadth, simplicity, and analogy. It has been applied to such important scientific cases as Lovoisier's argument for oxygen against the phlogiston theory and Darwin's argument for evolution against creationism, and also to cases of legal reasoning. The theory of explanatory coherence has implications for artificial intelligence, psychology, and philosophy. (shrink)

New light is shed on Leibniz’s commitment to the metaphysical priority of the intensional interpretation of logic by considering the arithmetical and graphical representations of syllogistic inference that Leibniz studied. Crucial to understanding this connection is the idea that concepts can be intensionally represented in terms of properties of geometric extension, though significantly not the simple geometric property of part-whole inclusion. I go on to provide an explanation for how Leibniz could maintain the metaphysical priority of the intensional interpretation while (...) holding that logically the intensional and the extensional stand in strictly inverse relation to each other. (shrink)

In his unpublished freewill manuscripts, Ralph Cudworth seeks to complete the project that he begins in The True Intellectual System of the Universe (1678) by arguing for an account of human liberty that avoids the opposing poles of necessitarianism and indifferency. I argue that Cudworth’s account rests upon a crucial distinction between the will and the power of freewill. Whereas we necessarily will the greater apparent good, freewill is a more fundamental power by which we endeavour to discern the greater (...) good before willing to pursue it. Cudworth thus opposes necessitarianism by arguing for a libertarian account of freewill while nonetheless rejecting the indifferentist claim that we can will contrary to the greater apparent good. (shrink)

In 1772, Kant outlined the new problem of his critical period in terms of four possible “ways” of understanding the agreement of knowledge with its object. This study expands Kant’s terse descriptions of these ways, examining why he rejected them. Apart from clarifying the historical context in which Kant saw his own achievement (the Fifth Way), the chief benefits of exploring the historical background of Way Two, in particular, are that it (1) explains the puzzling intuitus originarius/intellectus archetypus dichotomy, and (...) (2) casts doubt on the received idea that Kant broke with the traditional theocentric model of cognition. (shrink)

This book is an expanded version of Joan Weiner's introduction to Frege's work in the Oxford University Press ‘Past Masters’ series published in 1999. The earlier book had chapters on Frege's life and character, his basic project, his new logic, his definitions of the numbers, his 1891 essay ‘Function and concept’, his 1892 essays ‘On Sinn and Bedeutung’ and ‘On concept and object’, the Grundgesetze der Arithmetik and the havoc wreaked by Russell's paradox, and a final brief chapter on Frege's (...) influence. To this, Weiner has added two further chapters on Frege's dispute with Hilbert on the foundations of geometry and on the three late essays of his ‘Logical investigations’. There is little change to the content of the earlier chapters, but they have been divided into sections, each with its own heading, which makes it easier to find one's way around.With the two additional chapters, the book provides an excellent introduction to Frege's work from his earliest Begriffsschrift , which gives the first presentation of his new logic, to his three late essays , which expound his views on logic, truth, and thought. As in the earlier version, the focus is on the logicist project that dominated Frege's career: the attempt to demonstrate that arithmetic is reducible to logic. In all her writings on Frege, Weiner has been particularly sensitive to the philosophical …. (shrink)

Editor’s Choice for 21st Anniversary Special Edition. Originally published in British Journal for the History of Philosophy, 7(1) (1999), 57-78.

This article is an introduction to Herbart's monadology. It discusses the fundamental concepts of his monadology and its similarity to Leibniz's monadology. A final section discusses the vexed question of Herbart's realism. It is argued that Herbart is more a transcendental idealist than a realist.

Afin de répondre à cette question, nous devons clarifier ce à quoi elle fait référence. Nous devons déterminer si la « globalisation » peut être sémantiquement mise en rapport avec l’idéologie. L’idéologie signifie l’ensemble de nos attitudes personnelles, idées et points de vue fondés sur la connaissance, l’expérience et les sensations à travers lesquels nous percevons et interprétons le monde, la position que nous y occupons et la société toute entière. Dans la perspective des Lumières, l’idéologie est considérée comme une (...) sorte de préjugé qui domine la raison. Pourquoi cela est-il important dans le contexte de la globalisation ? De manière générale, la globalisation est considérée comme un processus d’interconnexion internationale permanente et de progrès dans presque tous les champs de la vie, tels que l’économie, la politique, la culture ou la communication. Ce point de vue implique l’expérience d’un changement qui touche non seulement notre environnement, notre société et ses institutions, mais aussi les États-nations et leurs citoyens. L’environnement et ses ressources sont un pré-requis à la globalisation. Le processus continu de libéralisation du marché entraîne la modification et, en définitive, la destruction des ressources. Dans cet article, nous examinerons si les mesures politiques ont la capacité d’exercer le contrôle de ce mécanisme dialectique. (shrink)

In a recent article, Azzouni has argued in favor of a version of formalism according to which ordinary mathematical proofs indicate mechanically checkable derivations. This is taken to account for the quasi-universal agreement among mathematicians on the validity of their proofs. Here, the author subjects these claims to a critical examination, recalls the technical details about formalization and mechanical checking of proofs, and illustrates the main argument with aanalysis of examples. In the author's view, much of mathematical reasoning presents genuine (...) meaning-dependent mathematical characteristics that cannot be captured by formal calculi. ‘…there is a conflict between mathematical practice and the formalist doctrine.’ [Kreisel, 1969, p. 39]. (shrink)

This article discusses some reasons for taking a reconstructive approach to the argumentative structure of Leibniz’s metaphysics. One reason is the fragmentary nature of the countless notes and letters that constitute by far the largest part of Leibniz‘s philosophical output. Another reason is that conjecturing how the many isolated arguments proposed by Leibniz fit into a large-scale argumentative structure could yield insights into how Leibniz made use of the method of intuition – both in his analysis of mind and in (...) his analysis of matter. Contemporary critics have objected that the method of intuition leads to philosophical conservatism, arbitrary choices between conflicting intuitions, and a preoccupation with psychological facts rather than with reality. By contrast, reconstructing the methodology behind Leibniz’s metaphysics could indicate how intuitions could be used in a way that sidesteps these problems. Leibniz gives priority to intuitions concerning the structure of mental operations over intuitions concerning the structure of material objects; this is why intuitions concerning the structure of material objects can be replaced by innovative philosophical theories; these theories, however, make use of metaphysical concepts implied by the analysis of mind and, thereby, can capture facts both about psychology and about the structure of extra-mental reality. (shrink)

In this paper, we endeavour to give a historically accurate presentation of how Leibniz understood his infinitesimals, and how he justified their use. Some authors claim that when Leibniz called them “fictions” in response to the criticisms of the calculus by Rolle and others at the turn of the century, he had in mind a different meaning of “fiction” than in his earlier work, involving a commitment to their existence as non-Archimedean elements of the continuum. Against this, we show that (...) by 1676 Leibniz had already developed an interpretation from which he never wavered, according to which infinitesimals, like infinite wholes, cannot be regarded as existing because their concepts entail contradictions, even though they may be used as if they exist under certain specified conditions—a conception he later characterized as “syncategorematic”. Thus, one cannot infer the existence of infinitesimals from their successful use. By a detailed analysis of Leibniz’s arguments in his De quadratura of 1675–1676, we show that Leibniz had already presented there two strategies for presenting infinitesimalist methods, one in which one uses finite quantities that can be made as small as necessary in order for the error to be smaller than can be assigned, and thus zero; and another “direct” method in which the infinite and infinitely small are introduced by a fiction analogous to imaginary roots in algebra, and to points at infinity in projective geometry. We then show how in his mature papers the latter strategy, now articulated as based on the Law of Continuity, is presented to critics of the calculus as being equally constitutive for the foundations of algebra and geometry and also as being provably rigorous according to the accepted standards in keeping with the Archimedean axiom. (shrink)

ABSTRACTLate Enlightenment German materialism has hardly attracted any scholarly attention in the past, in spite of the fact that there were quite a few exponents of it. In this paper, I identify the philosophically most important ones and examine to what extent they were connected with each other. In fact, there are local concentrations of materialists at universities and academic circles in Göttingen, Halle, and Gießen. I then discuss the spectrum of materialist positions held by them, from empiricist naturalism in (...) the case of Michael Hißmann to emergentism and Spinozism in the case of Karl von Knoblauch. Finally, I examine how German materialists conceived of the nature of soul and its immortality. It turns out that most of them were mortalists, with the exception of August Wilhelm Hupel, and some of them also endorsed Socinianism. (shrink)

Concerning Descartes and Kant, Michel Fichant and Jean Luc Marion claim that “when Kant thinks, Descartes still implicitly advances”. Yet, is a convergence among ontological theses (Heidegger) sufficient to nullify divergences among methodological grounds? To refuse the relationship of inherency "Descartes in Kant”, it is necessary to move from the standpoint of being to that of thinking, and observe in what sense words like “evidence” and “certainty”, once redefined by Kant, clarify the originality of the methodological problem of the Critique (...) of Pure Reason. (shrink)

This compelling reevaluation of the relationship between logic and knowledge affirms the key role that the notion of judgement must play in such a review. The commentary repatriates the concept of judgement in the discussion, banished in recent times by the logical positivism of Wittgenstein, Hilbert and Schlick, and the Platonism of Bolzano. The volume commences with the insights of Swedish philosopher Per Martin-Löf, the father of constructive type theory, for whom logic is a demonstrative science in which judgement is (...) a settled feature of the landscape. His paper opens the first of four sections that examine, in turn, historical philosophical assessments of judgement and reason; their place in early modern philosophy; the notion of judgement and logical theory in Wolff, Kant and Neo-Kantians like Windelband; their development in the Husserlian phenomenological paradigm; and the work of Bolzano, Russell and Frege. The papers, whose authors include Per Martin-Löf, Göran Sundholm, Michael Della Rocca and Robin Rollinger, represent a finely judged editorial selection highlighting work on philosophers exercised by the question of whether or not an epistemic notion of judgement has a role to play in logic. The volume will be of profound interest to students and academicians for its application of historical developments in philosophy to the solution of vexatious contemporary issues in the foundation of logic. ​. (shrink)

This paper discusses some of C. S. Peirce’s insights about continuity in his attempt to grasp the concept of the mathematical continuum. After a discussion of his earlier notions which he called ‘Kanticity’ and ‘Aristotelicity’ we arrive at his later belief that a continuum is rather a system of potential points. In his mature views, Peirce grasps a continuum as “a whole range of possibilities” without points at all. In the sequel, we turn to take into account some of Leibniz’s (...) attempts to deal with continuity and the continuum and we compare Peirce and Leibniz’s approaches detecting certain impressive similarities and differences. (shrink)

Many today agree that philosophy, as an academic discipline, must, for the sake of its very survival, become more inclusive of a wider range of perspectives, coming from a more diverse pool of philosophers. Yet there has been little serious reflection on how our very idea of what philosophy is might be preventing this change from taking place. In this essay I would like to consider the ways in which our ideas about philosophy's relation to tradition, and its relation to (...) other dimensions of human culture, influence efforts to promote greater diversity in the field. (shrink)

(2013). Leibniz, Pufendorf, and the Possibility of Moral Self-Governance. British Journal for the History of Philosophy: Vol. 21, No. 2, pp. 281-301. doi: 10.1080/09608788.2012.693064.

In diesem Artikel geht es um die historische und konzeptuelle Entwicklung von Charles Bonnets (1720-1793) allgemeiner Systemtheorie organismischer Ordnung. Hierfür wird der Kontext von Bonnets Ansatz in Naturgeschichte und Philosophie rekonstruiert. Leitfaden zur Analyse von Bonnets Systemtheorie bildet das Problem der doppelten Verortung des Organischen: Zum einen unterscheiden sich organisierte Körper durch ihre Ordnungsform von allen nicht organisierten Körpern, und zum anderen reihen sie sich zusammen mit den nicht-organisierten Körpern in eine Stufenleiter der Wesen ein, die von den Elementen bis (...) zum Menschen reicht und Mineralien, Pflanzen und Tiere umfasst. Anhand dieser Problemstellung wird eine Interpretationsebene entwickelt, die es erlaubt, Bonnets Ansatz einer bestimmten Transformation zwischen klassischer Metaphysik und Naturgeschichte zuzuordnen. The article focuses on the historical and conceptual development of Charles Bonnet's (1720-1793) general system theory of organismic order. The context of Bonnet's work will be reconstructed in natural history and philosophy. The problem of the double position of organic bodies is central for the understanding of Bonnet's theory: On the one hand, organized bodies are different from all non-organized bodies, and on the other hand, organized and non-organized beings form a single scale of beings that reaches from the elements to minerals, plants, animals and humans. This problematic setting will be characterized as a specific transformation between classical metaphysics and natural history. (shrink)

Ranging from Alan Turing’s seminal 1936 paper to the latest work on Kolmogorov complexity and linear logic, this comprehensive new work clarifies the relationship between computability on the one hand and constructivity on the other. The authors argue that even though constructivists have largely shed Brouwer’s solipsistic attitude to logic, there remain points of disagreement to this day. Focusing on the growing pains computability experienced as it was forced to address the demands of rapidly expanding applications, the content maps the (...) developments following Turing’s ground-breaking linkage of computation and the machine, the resulting birth of complexity theory, the innovations of Kolmogorov complexity and resolving the dissonances between proof theoretical semantics and canonical proof feasibility. Finally, it explores one of the most fundamental questions concerning the interface between constructivity and computability: whether the theory of recursive functions is needed for a rigorous development of constructive mathematics. This volume contributes to the unity of science by overcoming disunities rather than offering an overarching framework. It posits that computability’s adoption of a classical, ontological point of view kept these imperatives separated. In studying the relationship between the two, it is a vital step forward in overcoming the disagreements and misunderstandings which stand in the way of a unifying view of logic. (shrink)

Was ich mit dieser Artikel hier zu zeigen versuchen werde, ist eine gewisse Affinität zwischen Friedrich Wilhelm Joseph Schellings Konzeptionen und Auffassungen einer Naturphilosophie in den Jahren 1797-1801 und Hans Jonas‘ ontologisch-philosophische Biologie 1, die er in Organismus und Freiheit – Ansätze zu einer philosophischen Biologie entwickelte. Die hier zu erwähnende Schellingsche Naturphilosophie ist die in der Zeit zwischen Ideen zu einer Philosophie der Natur vom Jahr 1797 und Ueber den wahren Begriff der Naturphilosophie und die richtige Art ihre Probleme (...) aufzulösen vom Jahr 1801 entwickelte Konzeption einer Philosophie der Natur.2 Damit schließe ich mich einer These Odo Marquards an: Schelling sei der Philosophie des 20. Jahrhunderts ein Zeitgenosse inkognito. Nur wünsche ich der prominenten Reihe von Philosophen, die Marquard – zwei Jahre nach der Veröffentlichung von Organismus und Freiheit – im Jahr 1975 aufstellte, den Name ‚Hans Jonas‘ hinzufügen. Es soll somit versucht werden, die Möglichkeit dafür zu öffnen, dass die Naturphilosophie Schellings im Lichte der philosophischen Biologie Jonas‘ gesehen werden kann. Damit wünsche ich zu verdeutlichen, dass der Problembereich und frühen Philosophie Schellings durch Jonas‘ Philosophie einen Repräsentant finden, und dass sie mit der Problematik Jonas‘ eine gewisse Aktualität gewinnen könnte. (shrink)

In a 1669 letter to his mentor Thomasius, Leibniz writes that "hardly any of the Cartesians have added anything to the discoveries of their master" insofar as they "have published only paraphrases of their leader."1 The book that is the focus of my remarks here—Roger Ariew's Descartes and the First Cartesians —shows that Leibniz was most certainly incorrect. In particular, Ariew draws attention to the fact that there was a concerted effort to present a new sort of Cartesianism that conforms (...) to the structure of the early modern French scholastic curriculum. Though this effort was inspired by Descartes's own attempt to present his views in this manner, the later "Cartesian scholasticism"... (shrink)

Quine’s most important charge against second-, and more generally, higher-order logic is that it carries massive existential commitments. The force of this charge does not depend upon Quine’s questionable assimilation of second-order logic to set theory. Even if we take second-order variables to range over properties, rather than sets, the charge remains in force, as long as properties are individuated purely extensionally. I argue that if we interpret them as ranging over properties more reasonably construed, in accordance with an abundant (...) or deflationary conception, Quine’s charge can be resisted. This interpretation need not be seen as precluding the use of model-theoretic semantics for second-order languages; but it will preclude the use of the standard semantics, along with the more general Henkin semantics, of which it is a special case. To that extent, the approach I recommend has revisionary implications which some may find unpalatable; it is, however, compatible with the quite different special case in which the second-order variables are taken to range over definable subsets of the first-order domain, and with respect to such a semantics, some important metalogical results obtainable under the standard semantics may still be obtained. In my final section, I discuss the relations between second-order logic, interpreted as I recommend, and a strong version of schematic ancestral logic promoted in recent work by Richard Heck. I argue that while there is an interpretation on which Heck’s logic can be contrasted with second-order logic as standardly interpreted, when it is so interpreted, its differences from the more modest form of second-order logic I advocate are much less substantial, and may be largely presentational. (shrink)

In his recent paper, Winch attacks a group of theories he calls cognitivism. These theories agree in holding that ‘the ability to think, both consciously and subconsciously, amounts to an ability to internally manipulate symbolic representations of that which we think about.The relevance of this attack to education is that ‘Cognitivism’ supplies plausible‐looking reasons for thinking that learning can take place without instruction, practice, memorisation or training and its prestige as a theory of learning devalues those activities within education.Its rejection (...) should therefore lead us to re‐examine our need for explicit teacher‐oriented pedagogies’.Cognitivism has led to an emphasis on autonomous learning and a consequent devaluing of the role of overt teaching, ‘the active transmission of knowledge and technique by an authoritative figure’. (shrink)

In this paper I argue that inconsistencies in scientific theories may arise from the type of causality relation they—tacitly or explicitly—embody. All these seemingly different causality relations can be subsumed under a general strategy developed to defeat the paradoxes which inevitably occur in our experience of the real. With respect to this, scientific theories are just a subclass of the larger class of metaphysical theories, construed as theories that attempt to explain a (part of) the world consistently. All metaphysical theories (...) share a common structural backbone specificially designed to defeat paradoxes, their often wildly diverging ontological claims notwithstanding. This common structure shapes the procedures which govern the invention of ideas in the context of such theories, by codifying some onto-logical a priori assumptions regarding the consistency of reality into its bare conceptual framework. Causality plays a key rôle here, because it implies conservation of identity, itself a far from simple notion. It imposes strong demands on the universalising power of the theories concerned. These demands are often met by the introduction of a metalevel which encompasses the notions of ‘system’ and ‘lawful behaviour’. In classical mechanics, the division between universal and particular leaves its traces in the separate treatment of cinematics and dynamics. The fundamental backbone’s specific gestalt thus functions as a theory’s individual signature and paves the way to a comparative historical approach towards their study. An important part of my paper therefore explores the strong connections between paradoxes as they appear and are dealt with in ancient philosophy and their re-appearance in early modern natural philosophy and science. This analysis is applied to the mechanical theories of Newton and Leibniz, with some surprising results. (shrink)

: I argue that a response‐dependence account of a concept can yield metaphysical results, and not merely epistemological or semantical results, which has been a prevalent view in the literature on response‐dependence. In particular, I show how one can argue for a conferralist account of a certain property by arguing that the concept of the property is response‐dependent, if certain assumptions are made.

Cet article propose une reconstruction du débat wolffien sur l'idéalisme de Leibniz autour de la première réception de la Monadologie de Leibniz. Cette reconstruction impose une relecture de quelques problèmes centraux à ce débat: traduction infidèle d'un terme dans la Monadologie latine ( « le composé » est traduit par « substantia composita »); statut du corps en tant que substance composée; statut des éléments en tant que substances simples dont résultent les corps (et cela contre la conception cartésienne de (...) la substance); statut des notions leibniziennes de perception, force et harmonie préétablie; statut de l'expérience comme procédé ho liste et systématique (contre sa conception et la tabula rasa chez Locke) dans la réception et le système wolffiens. Un examen approfondi des textes fondateurs de cette réception (Bilfinger et Wolff) nous permet de reconsidérer sous un nouvel angle le rapport entre Leibniz et Wolff. (shrink)

En la Antropología, en la sección referida a las facultades cognoscitivas superiores, se presenta la sagacidad como el don de la indagación. Con eso se indica que tiene un lugar en la investigación científica. En nuestro trabajo examinamos la función que se puede atribuir a la sagacidad en el método de investigación. La presencia de la sagacidad en un investigador es contingente, pero se la puede considerar como una condición que determina el alcance del método y sus límites. También determina (...) algunas características de los resultados de una investigación. Por eso, sugerimos que la sagacidad es una condición accesoria del método. La inteligencia personal del científico resulta así un elemento decisivo en la investigación, tanto en el planteo de los fines de ésta, como en el progreso del trabajo, y especialmente en las fases de diseño, de invención y de descubrimiento. (shrink)

The article is a translator’s commentary to the Ukrainian translation of E. Husserl’s Cartesian Meditations. The task of this article is twofold: On the one hand, to reveal the historical context of the writing and publishing of Cartesian Meditations, on the other hand, to outline the strategic and terminological aspects of the Ukrainian translation of this work. The first part of the article is devoted to the history of creation of the text of Cartesian Meditations. In particular, the author answers (...) the question of why the German text of Cartesian Meditations was not published until 1950, almost twenty years after the French translation of the book was released. The historico-philosophical investigation conducted in the article shows that Husserl considered the publication of Cartesian Meditations as an opportunity to systematically present his phenomenological philosophy and, eventually, recognized the impossibility of embracing the complexity of his doctrine within this work. The difficulty of this systematic presentation led to the enhancement of the role of Husserl’s assistant, Eigen Fink, in the editing of Cartesian Meditations and, ultimately, to the creation of Fink’s Sixth Meditation. The latter, as the author of the article demonstrates, puts previous developments in the phenomenology of static and genetic types into a new theoretical perspective, mainly by introducing the method of constructive phenomenology. In the second part of the article, the author offers one of the possible strategies for translating Husserlian texts that consists in structural simplification and stylistic improvement of the text. This strategy is proposed to be implemented by using simpler grammatical structures, by supplementing the text with translator’s comments, as well as by consistent usage of the Ukrainian phenomenological terminology. During the analysis of the terminological discourse of contemporary Ukrainian phenomenology, the author revises some of the established Ukrainian translations, such as the translation of the phenomenological terms Ausschaltung and Zeitbewusstsein and introduces the translation of new terms, such as Vergemeinschaftung, Person, reell and ideell. (shrink)

‘Controversy’ is here introduced as a technical term referring to one aspect of dispute. ‘Controversy’ is here understood as referring to an ongoing antagonistic exchange over a disagreement that cannot be readily resolved by the means at hand. However, the issue is being discussed because the participants believe that the controversy will be resolveable in the framework of a more advanced view which will be generated by the dispute. It is claimed that this ‘controversy’ merits study; it is not claimed (...) that a dispute can be reduced to this aspect. In fact, it is shown that the dispute studied here involved intrigues in which personal and national prejudices served as weapons.The historical case study is a controversy conducted between G. W. Leibniz and Denis Papin. The first topic of the controversy, which began in 1689 and ended in 1691, was the ‘measure of force’, but it soon extended also to fundamental issues of mechanics and science in general: to the epistemological status of conservation laws, to the nature of abstractions in science etc.The study shows that far from being a ‘logomachia’, the ‘vis viva controversy’ reflected two exclusive legitimate interpretations of the conceptual system involved and enhanced both of them, preparing their ‘Aufhebung’ in a more elaborate and comprehensive system.An English translation of a not-yet published ‘Synopsis Controversiae’ by Denis Papin with annotations by Leibniz is attached as an appendix.Author Keywords: Conservation laws; Controversy; G. W. Leibniz; D. Papin; Vis viva. (shrink)

This article argues that the Fourth and Fifth of John Toland's Letters to Serena are best understood as a creative confrontation of Spinoza and Leibniz ? one in which crucial aspects of Leibniz's thought are extracted from their original context and made to serve a purpose that is ultimately Spinozistic. Accordingly, it suggests that the critique of Spinoza that takes up so much of the fourth Letter, in particular, should be read as a means of `perfecting' Spinoza (via Leibniz), rather (...) than as the outright dismissal it might appear to be. In order to make its case, the article outlines: the supposed problems that Toland finds in Spinoza; what Toland takes from Leibniz, and what he discards, in order to solve these `problems'; and the imprint of Spinoza's naturalism on the eventual `solution' that Toland offers. The article concludes that, whatever the success of this `solution', Toland's speculative labours should still be treated as creative, perspicuous and intrinsically significant. (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)

This paper employs the revised conception of Leibniz emerging from recent research to reassess critically the ‘radical spiritual revolution’ which, according to Alexandre Koyré’s landmark book, From the closed world to the infinite universe was precipitated in the seventeenth century by the revolutions in physics, astronomy, and cosmology. While conceding that the cosmological revolution necessitated a reassessment of the place of value-concepts within cosmology, it argues that this reassessment did not entail a spiritual revolution of the kind assumed by Koyré, (...) in which ‘value-concepts, such as perfection, harmony, meaning and aim’ were shed from the conception of the structure of the universe altogether. On the contrary, thanks to his pioneering intuition of the distinction between physical and metaphysical levels of explanation, Leibniz saw with great clarity that a scientific explanation of the universe which rejected the ‘closed world’ typical of Aristotelian cosmology did not necessarily require the abandonment of key metaphysical doctrines underlying the Aristotelian conception of the universe. Indeed the canon of value-concepts mentioned by Koyré—meaning, aim, perfection and harmony—reads like a list of the most important concepts underlying the Leibnizian conception of the metaphysical structure of the universe. Moreover, Leibniz’s universe, far from being a universe without God—because, as Clarke insinuated, it does not need intervention from God—is a universe which in its deepest ontological fabric is interwoven with the presence of God.Author Keywords: Leibniz; Koyré; Clarke; Universe; Cosmology; Harmony. (shrink)

No século XVII, vemos a emergência de uma nova abordagem geométrica às seções cônicas. Desenvolvida inicialmente por Girard Desargues e por Blaise Pascal, tal geometria é herdeira do método de representação pela perspectiva linear a aponta na direção da geometria projetiva do século XIX. Estudos recentes de J. Echeverría e de V. Debuiche iniciaram a discussão da recepção de tais trabalhos por Leibniz, assim como a relação deles com os trabalhos do próprio Leibniz em perspectiva e com a Geometria situs. (...) Este artigo percorre algumas questões associadas a estes domínios, assim como a importância do paradigma da perspectiva para a filosofia de Leibniz. (shrink)

Leibniz’s claim that this is the best of all possible worlds has been subject to numerous criticisms, both from his contemporaries and ours. In this paper I investigate a cluster of such criticisms based on the existence, abundance or character of worldly evil. As several Leibniz-inspired versions of optimism have been advanced in recent years, the aim of my investigation is to assess not just how Leibniz’s brand of optimism fares against these criticisms, but also whether optimism as a philosophy (...) has the resources to meet these challenges. I show that none of the criticisms considered has sufficient force to pose a threat to Leibniz’s version of optimism or to one modelled on it. (shrink)