A New Italian translation of Principia Ethica coming almost 60 years after the 1964 translation by Gianni Vattimo with Nicola Abbagnano’s preface. The new edition makes room for the English text alongside the Italian translation; it includes the 1922 Preface, a bibliography of Moore’s ethical writings with critical literature, a chronology of Moore’s life and works, and an Index. The Introduction by Sergio Cremaschi reconstructs the background of ideas, concerns and intentions from which Moore’s Principia Ethica originated. It (...) stresses the role of religious concerns, as well as that of the Idealist legacy. I argue that PE is more a patchwork of incompatible lines of argument than a consistent work. It compares PE with Rashdall’s almost contemporary ethical work, suggesting that the latter defends the same general claims in a different and more plausible way, which manages to answer decisive objections. It ends with the suggestion that the emergence of Analytic Ethics was a more multi-faceted phenomenon than the received view would make us believe and the analytic tradition's wheat, that is, what logic can do for philosophy, has to be separated from the chaff, that is, the confused, and besides mutually incompatible, legacies of Utilitarianism and Idealism. (shrink)

The Oxford Handbook of the History of Physics brings together cutting-edge writing by more than twenty leading authorities on the history of physics from the seventeenth century to the present day. By presenting a wide diversity of studies in a single volume, it provides authoritative introductions to scholarly contributions that have tended to be dispersed in journals and books not easily accessible to the general reader. While the core thread remains the theories and experimental practices of physics, the Handbook contains (...) chapters on other dimensions that have their place in any rounded history. These include the role of lecturing and textbooks in the communication of knowledge, the contribution of instrument-makers and instrument-making companies in providing for the needs of both research and lecture demonstrations, and the growing importance of the many interfaces between academic physics, industry, and the military. (shrink)

One of the questions that any future history of British moral philosophy in the twentieth century should investigate and document is how it came about that Moore's Principia Ethica was appropriated by what we can call the Humean tradition of moral philosophy. I shall not trace that development now but only argue that there was no excuse or justification for it.

Newton veut simplement réaffirmer la vérité sur l'omniprésence de Dieu sans l'impliquer directement dans la physique du système du monde. Newton veut se distancer d'un concept cartésien de Dieu et convaincre les athées que Dieu est une présence réelle dans le monde. Dieu doit exister dans l'espace pour exister l'espace, mais Dieu n'agit pas seulement par contact. Newton a toujours supposé que Dieu agît par le biais de causes secondaires. Dans l'édition de 1687 des Principes mathématiques de la philosophie naturelle, (...) Newton déclare clairement qu'il n'attribue pas de cause particulière à l'attraction gravitationnelle. DOI: 10.13140/RG.2.2.27735.42402 . (shrink)

This paper deploys a Cantor-style diagonal argument which indicates that there is more possible mathematical content than there are propositional functions in Russell and Whitehead's Principia Mathematica and similar formal systems. This technical result raises a historical question: "How did Russell, who was himself an expert in diagonal arguments, not see this coming?" It turns out that answering this question requires an appreciation of Russell's understanding of what logic is, and how he construed the relationship between logic and (...) class='Hi'>Principia Mathematica. (shrink)

In this paper, I discuss how Newton’s inductive argument of the Principia can be defended against criticisms levelled against it by Duhem, Popper and myself. I argue that Duhem’s and Popper’s criticisms can be countered, but mine cannot. It requires that we reconsider, not just Newton’s inductive argument in the Principia, but also the nature of science more generally. The methods of science, whether conceived along inductivist or hypothetico-deductivist lines, make implicit metaphysical presuppositions which rigour requires we make (...) explicit within science so that they can be critically assessed, alternatives being developed and assessed, in the hope that they can be improved. Despite claiming to derive his law of gravitation by induction from phenomena without resource to hypotheses, Newton does nevertheless acknowledge in the Principia that his rules of reasoning make metaphysical presuppositions. To this extent, Newton has a more enlightened view of scientific method than most 20th and 21st century scientists and historians and philosophers of science. (shrink)

As John Henry states, Newton simply wants to reaffirm the truth of God's omnipresence without directly involving him in the physics of the world system. Newton simply wants to distance himself from a Cartesian concept of God and convince the atheists that God is a real presence extended in the world. God must exist in space for the space to exist, but God does not only act through contact. Henry believes that Andrew Janiak and Hylarie Kochiras give us a wrong (...) picture of a Newton who believes in opportunism. Newton, Henry asserts, has always assumed that God acted through secondary causes: DOI: 10.13140/RG.2.2.35495.39846. (shrink)

Newton rested his theory of mechanics on distinct metaphysical and epistemological foundations. After Leibniz's death in 1716, the Principia ran into sharp philosophical opposition from Christian Wolff and his disciples, who sought to subvert Newton's foundations or replace them with Leibnizian ideas. In what follows, I chronicle some of the Wolffians' reactions to Newton's notion of absolute space, his dynamical laws of motion, and his general theory of gravitation. I also touch on arguments advanced by Newton's Continental followers, such (...) as Leonhard Euler, who made novel attempts to defend his mechanical foundations against the pro-Leibnizian attack. This examination grants us deeper insight into the fate of Newton's mechanics on the Continent during the early eighteenth century and, more specifically, sheds needed light on the conflicts and tensions that characterized the reception of Newton's philosophy of mechanics among the Leibnizians. (shrink)

Spinoza’s Principles of Cartesian Philosophy is often presented simply as an interpretation of Descartes’ Principia that does not reveal anything significant about Spinoza’s philosophy and its development. This paper, however, shows that Spinoza altered Descartes’ text in a way congruent with what he would later write in his Theological Political Treatise and the Ethics. More precisely, this paper concentrates not on what Spinoza added to Descartes’ texts but on how he presented them. The paper furthermore examines questions that were (...) obviously important for Descartes but absent in Spinoza’s interpretation. Finally, this paper examines two concrete examples to show that Spinoza’s adaptations function as an unmasking of Descartes’ physics. (shrink)

Moore's moral programme is increasingly unpopular. Judith Jarvis Thomson's attack has been especially influential; she says the Moorean project fails because ‘there is no such thing as goodness’. I argue that her objection does not succeed: while Thomson is correct that the kind of generic goodness she targets is incoherent, it is not, I believe, the kind of goodness central to the Principia. Still, Moore's critics will resist. Some reply that we cannot understand Moorean goodness without generic goodness. Others (...) claim that even if Moore does not need Thomson's concept, he still requires the objectionable notion of absolute goodness. I undermine both these replies. I first show that we may dispense with generic goodness without losing Moorean intrinsic goodness. Then, I argue that though intrinsic goodness is indeed a kind of absolute goodness, the objections marshalled against the concept are unsound. (shrink)

In the Foundations of Mathematics, Ramsey attempted to amend Principia Mathematica’s logicism to meet serious objections raised against it. While Ramsey’s paper is well known, some questions concerning Ramsey’s motivations to write it and its reception still remain. This paper considers these questions afresh. First, an account is provided for why Ramsey decided to work on his paper instead of simply accepting Wittgenstein’s account of mathematics as presented in the Tractatus. Secondly, evidence is given supporting that Wittgenstein was not (...) moved by Ramsey’s objection against the Tractarian account of arithmetic, and a suggestion is made to explain why Wittgenstein reconsidered Ramsey’s account in the early thirties on several occasions. Finally, a reading is formulated to understand the basis on which Wittgenstein argues against Ramsey’s definition of identity in his 1927 letter to Ramsey. (shrink)

Bei den korpuskulartheoretischen Erklärungen von Naturphänomenen, wie sie Descartes in den Principia philosophiae vornimmt und im Discours de la methode anspricht, lassen sich zwei verschiedene und nur teilweise miteinander vereinbare Bedeutungsgruppen des Hypothesenbegriffs nachweisen. Sie verbinden sich mit unterschiedlichen Bewertungen des Status von Hypothesen im wissenschaftlichen Erkenntnisprozeß. Einerseits findet man eine Verwandtschaft zum heute wissenschaftstheoretisch verbreiteten Verständnis von Hypothesen als positivem und integralem Bestandteil der Naturerkenntnis. Typischer für Descartes' Naturphilosophie ist jedoch die andererseits von ihm vertretene Vorstellung, daß der (...) Umfang des bloß hypothetischen Wissens im Fortgang der Naturerkenntnis zu minimieren sei. Mit dieser Forderung erweist sich Descartes als Vertreter einer neuzeitlichen Wissenschaftsauffassung, die deutlich vom modernen Verzicht auf ein ausschließlich geltendes System der Naturerkenntnis abgehoben ist. (shrink)

Conceptual engineers have made hay over the differences of their metaphilosophy from those of conceptual analysts. In this article, I argue that the differences are not as great as conceptual engineers have, perhaps rhetorically, made them seem. That is, conceptual analysts asking ‘What is X?’ questions can do much the same work that conceptual engineers can do with ‘What is X for?’ questions, at least if conceptual analysts self-understand their activity as a revisionary enterprise. I show this with a study (...) of Russell's metaphilosophy, which was just such a revisionary conception of conceptual analysis. (shrink)

Mi objetivo es discutir las principales dificultades que Frank P. Ramsey encontró en Principia Mathematica y la solución que, vía el Tractatus Logico-Philosophicus, propuso al respecto. Sostengo que las principales dificultades que Ramsey encontró en Principia Mathematica están, todas, relacionadas con que Russell y Whitehead desatendieron la forma lógica de las proposiciones matemáticas, las cuales, según Ramsey, deben ser tautológicas.

Teaching Newtonian physics involves the replacement of students’ ideas about physical situations with precise concepts appropriate for mathematical applications. This paper focuses on the concepts of ‘matter’ and ‘mass’. We suggest that students, like some pre-Newtonian scientists we examine, use these terms in a way that conflicts with their Newtonian meaning. Specifically, ‘matter’ and ‘mass’ indicate to them the sorts of things that are tangible, bulky, and take up space. In Newtonian mechanics, however, the terms are defined by Newton’s Second (...) Law: ‘mass’ is simply a measure of the acceleration generated by an impressed force. We examine the relationship between these conceptions as it was discussed by Newton and his editor, Roger Cotes, when analyzing a series of pendulum experiments. We suggest that these experiments, as well as more sophisticated computer simulations, can be used in the classroom to sufficiently differentiate the colloquial and precise meaning of these terms. (shrink)

We argue that a conflict between two conceptions of “quantity of matter” employed in a corollary to proposition 6 of Book III of the Principia illustrates a deeper conflict between Newton’s view of the nature of extended bodies and the concept of mass appropriate for the theoretical framework of the Principia. We trace Newton’s failure to recognize the conflict to the fact that he allowed for the justification of natural philosophical claims by two types of a posteriori, empiricist (...) methodologies. Newton's thoughts on these methodologies demonstrate that his natural philosophy continued to develop after the publication of the first edition of Principia and that De Grav should be understood as an early, and not necessarily representative, text. (shrink)

When Newton articulated the concept of absolute time in his treatise, Philosophae Naturalis Principia Mathematica (Mathematical Principles of Natural Philosophy), along with its correlate, absolute space, he did not present it as anything controversial. Whereas his references to attraction are accompanied by the self- protective caveats that typically signal an expectation of censure, the Scholium following Principia’s definitions is free of such remarks, instead elaborating his ideas as clarifications of concepts that, in some manner, we already possess. This (...) is not surprising. The germ of the concept emerged naturally from astronomers’ findings, and variants of it had already been formulated by other seventeenth century thinkers. Thus the novelty of Newton’s absolute time lay mainly in the use to which he put it. (shrink)

According to Russell, the notation in Principia Mathematica has been designed to avoid the vagueness endemic to our natural language. But what does Russell think vagueness is? My argument is an attempt to show that his views on vagueness evolved and that the final conception he adopts is not coherent. Three phases of his conception of vagueness are identified, the most significant being the view that he articulates on vagueness in his 1923 address to the Jowett Society. My central (...) thesis is that the 1912 conception of vagueness -- what I characterize as "semantic egalitarianism" -- seriously conflicts with the later paradoxical account of vagueness. (shrink)

Russell’s role in the controversy about the paradoxes of material implication is usually presented as a tale of how even the greatest minds can fall prey to basic conceptual confusions. Quine accused him of making a silly mistake in Principia Mathematica. He interpreted “if- then” as a version of “implies” and called it material implication. Quine’s accusation is that this decision involved a use-mention fallacy because the antecedent and consequent of “if-then” are used instead of being mentioned as the (...) premise and the conclusion of an implication relation. It was his opinion that the criticisms and alternatives to the material implication presented by C. I. Lewis and others would never be made in the first place if Russell simply called the Philonian construction “material conditional” instead of “material implication”. Quine’s interpretation of the topic became hugely influential if not universally accepted. This paper will present the following criticisms against this interpretation: (1) the notion of material implication does not involve a use-mention fallacy, since the components of “if-then” are mentioned and not used; (2) Quine’s belief that the components of “if-then” are used was motivated by a conditional-assertion view of conditionals that is widely controversial and faces numerous difficulties; (3) if anything, it was Quine who could be accused of fallacious reasoning: he ignored that in the assertion of a conditional is the whole proposition that is asserted and not its constituents; (4) the Philonian construction remains counter-intuitive even if it is called “material conditional”; (5) the Philonian construction is more plausible when it is interpreted as a material implication. (shrink)

Tamas Demeter presents a clear and compelling new perspective of Hume’s methodology and conceptual structure in David Hume and the Culture of Scottish Newtonianism. Hume, he argues, is a Newtonian of the Scottish tradition, but not the mechanical kind that is modeled after the Principia. Instead, Hume should be understood as a kind of European Enlightenment “vitalist.” As a result, his work reflects the more organic methodology that defines Newton’s Opticks.

In Principia philosophiae antiquissimae et recentissimae (1690) Anne Conway (1631-1679) develops her monistic metaphysics regarding creation, whose distinctive characteristic is transmutations for the individuals that compose it. In chapter VI of this posthumous work, Conway exemplifies this process of transmutation with the case of a horse, which changes, after death, into a human being. In this article I intend to analyze this example to show that it is not casual that the horse in question rises in the hierarchy of (...) beings. To do this I will develop my interpretation of Conway’s philosophy, her understanding of created substance and its characteristics. In this way, I want to point out that her philosophy opens up the possibility of another understanding of non-human animals by human beings, even when the latter continue to occupy a prominent place in her proposal. (shrink)

I argue that the key dynamical concepts and laws of Newton's Principia never gained a solid foothold in Germany before Kant in the 1750s. I explain this absence as due to Leibniz. Thus I make a case for a robust Leibnizian legacy for Enlightenment science, and I solve what Jonathan Israel called “a meaningful historical problem on its own,” viz. the slow and hesitant reception of Newton in pre-Kantian Germany.

Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). While STT, understood (...) as a theory of intensional entities, retains the Fregean division of properties and relations into a multiplicity of categories according to their adicities and ‘input types’ and discards the division of intensional entities into different ‘orders’, OTT takes the opposite approach: it retains the hierarchy of orders (though with some modifications) and discards the categorisation of properties and relations according to their adicities and input types. In contrast to STT, this latter approach avoids intensional counterparts of the Epimenides and related paradoxes. Fundamental intensional entities lie at the base of the proposed hierarchy and are also given a prominent part to play in the individuation of non-fundamental intensional entities. (shrink)

Newton began his Principia with three Axiomata sive Leges Motus. We offer an interpretation of Newton’s dual label and investigate two tensions inherent in his account of laws. The first arises from the juxtaposition of Newton’s confidence in the certainty of his laws and his commitment to their variability and contingency. The second arises because Newton ascribes fundamental status both to the laws and to the bodies and forces they govern. We argue the first is resolvable, but the second (...) is not. However, the second tension shows that Newton conceives laws as formal causes of bodies and forces. This neo-Aristotelian conception goes missing in Kantian accounts of laws, as well as accounts that stress laws’ grounding in powers and capacities. (shrink)

Published in 1903, this book was the first comprehensive treatise on the logical foundations of mathematics written in English. It sets forth, as far as possible without mathematical and logical symbolism, the grounds in favour of the view that mathematics and logic are identical. It proposes simply that what is commonly called mathematics are merely later deductions from logical premises. It provided the thesis for which _Principia Mathematica_ provided the detailed proof, and introduced the work of Frege to a wider (...) audience. In addition to the new introduction by John Slater, this edition contains Russell's introduction to the 1937 edition in which he defends his position against his formalist and intuitionist critics. (shrink)

The use of the symbol ∨for disjunction in formal logic is ubiquitous. Where did it come from? The paper details the evolution of the symbol ∨ in its historical and logical context. Some sources say that disjunction in its use as connecting propositions or formulas was introduced by Peano; others suggest that it originated as an abbreviation of the Latin word for “or,” vel. We show that the origin of the symbol ∨ for disjunction can be traced to Whitehead and (...) Russell’s pre-Principia work in formal logic. Because of Principia’s influence, its notation was widely adopted by philosophers working in logic (the logical empiricists in the 1920s and 1930s, especially Carnap and early Quine). Hilbert’s adoption of ∨ in his Grundzüge der theoretischen Logik guaranteed its widespread use by mathematical logicians. The origins of other logical symbols are also discussed. (shrink)

La première édition de Principia de Newton ne contient que deux remarques supplémentaires sur la méthodologie: la notification que le but de l'article est d'expliquer « comment déterminer les véritables mouvements de leurs causes, les effets et les différences apparents et, au contraire, comment déterminer à partir des hypothèses si elles sont vraies ou apparentes, leurs causes et leurs effets »; et, dans le Scholium à la fin du Livre 1, Section 11, Newton affirme que son approche distinctive permet (...) une argumentation plus sûre dans la philosophie naturelle. DOI: 10.13140/RG.2.2.19797.58082. (shrink)

Prima ediție a Principia lui Newton conține doar două comentarii suplimentare despre metodologie: notificarea că scopul lucrării este de a explica "cum să determinăm mișcările adevărate din cauzele lor, efectele și diferențele aparente și, dimpotrivă, cum să determinăm din ipoteze dacă sunt adevărate sau aparente, cauzele și efectele lor"; și, în Scholiul de la sfârșitul Cărții 1, Secțiunea 11, Newton afirmă că abordarea sa distinctivă face posibilă argumentarea mai sigură în filosofia naturală. În a doua ediție (1713) Newton introduce (...) secțiuni separate pentru fenomene și reguli implicate în determinarea gravitației universale, iar la sfârșitul Scholiului General din cea de-a treia ediție, 1726, include cea mai faimoasă declarație metodologică. DOI: 10.13140/RG.2.2.34012.54403. (shrink)

Newton’s First Law of Motion is typically understood to govern only the motion of force-free bodies. This paper argues on textual and conceptual grounds that it is in fact a stronger, more general principle. The First Law limits the extent to which any body can change its state of motion –– even if that body is subject to impressed forces. The misunderstanding can be traced back to an error in the first English translation of Newton’s Principia, which was published (...) a few years after Newton’s death. (shrink)

Newton published his deduction of universal gravity in Principia (first ed., 1687). To establish the universality (the particle-to-particle nature) of gravity, Newton must establish the additivity of mass. I call ‘additivity’ the property a body's quantity of matter has just in case, if gravitational force is proportional to that quantity, the force can be taken to be the sum of forces proportional to each particle's quantity of matter. Newton's argument for additivity is obscure. I analyze and assess manuscript versions (...) of Newton's initial argument within his initial deduction, dating from early 1685. Newton's strategy depends on distinguishing two quantities of matter, which I call ‘active’ and ‘passive’, by how they are measured. These measurement procedures frame conditions on the additivity of each quantity so measured. While Newton has direct evidence for the additivity of passive quantity of matter, he does not for that of the active quantity. Instead, he tries to infer the latter from the former via conceptual analyses of the third law of motion grounded largely on analogies to magnetic attractions. The conditions needed to establish passive additivity frustrate Newton's attempted inference to active additivity. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Newton's Metaphysics: Essays by Eric SchliesserMarius StanEric Schliesser. Newton's Metaphysics: Essays. Oxford: Oxford University Press, 2021. Pp. 328. Hardback, $99.90.Newton owes his high regard to the quantitative science he left us, but his overall picture of the world had some robustly metaphysical threads woven in as well. Posthumous judgment about the value of these threads has varied wildly. Christian Wolff thought him a metaphysical rustic, as did Hans (...) Reichenbach some two centuries later ("Die Bewegungslehre bei Newton, Leibniz und Huygens," Kant-Studien 29 [1924]: 416–38). In the 1960s, the tide would turn, as Howard Stein and James Edward McGuire separately began to show that Newton's metaphysics was not just sophisticated, but often more compelling than its early modern alternatives (see respectively "Newtonian Spacetime," Texas Quarterly 10 [1967]: 174–200; and Tradition and Innovation: Newton's Metaphysics of Nature [Dordrecht: Kluwer Academic Publishers, 1995]). Eric Schliesser's book unfolds in that same register of appreciative, high scholarship, and it attests to the enduring attraction of its subject.The book grew out of previous discrete papers, to which he added a few more for this occasion. Accordingly, it does not come with a master argument. Rather, it is an in-depth exploration of some key metaphysical themes in Newton. As such, it befits its subject figure, who reflected on themes and concepts while stopping short of working out systems.The first major theme is Newton and Spinozism. The latter does not denote Spinoza's metaphysics. In fact, Schliesser explains, Newton shared with Spinoza some weighty commitments, for example, to space being actually infinite, and to substance monism: "for Newton, there is strictly speaking only one genuine substance," namely, God (33). Rather, "Spinozism" is an interpreter's category for a bundle of three theses: identifying God and nature; denying final causation in the physical world; and the assumption of "blind" metaphysical necessity. Some counted Hobbes and John Toland as Spinozist in this sense, and even Epicurus, avant la lettre. Newton and his followers argued vehemently against this package, as Schliesser shows in chapters 4, 5, and 8. Their chief complaint was that Spinozism is unable to account for the "origin of motion," for a certain type of order, and for the stability of cosmological structure—and to do so in a way that "meets the standards of Newtonian mechanics" (122). This interpretive lens allows Schliesser to draw Kant in, by reading his youthful Theory of Heaven as a possible Spinozist reply to their objections (chapter 3). [End Page 157]A second theme is the metaphysics of mechanics, where Schliesser weaves together several strands. One is the ontology of gravity, for which he offers a novel construal: for Newton, gravity counts as real, but in a qualified sense. Namely, it is not essential and not intrinsic: "even after creation, a lonely partless particle of matter in the universe would not be said to gravitate." And gravity is relational: a "shared quality" of two or more bits of matter, which obtains in virtue of their sharing a nature (19). Another strand is Newton's ontology of time—really, a subtle, difficult topic long neglected. Famously, Newton in Principia defends absolute, true, and mathematical time. The question is what these three qualifiers denote, and whether Newton thought they were synonymous. Schliesser in chapter 7 argues for the provocative view that "absolute" and "true" time are not identical concepts; rather, they pick out different entities. These entities share a common structure, namely, metric and topological. That makes them species of "mathematical" time (179). But, Schliesser contends, Newton has unequal warrant for his two concepts of time.Yet another theme is formal causation. It comes to the fore in chapter 5, which grapples with Newton's opaque idea that space is an "emanative effect." Schliesser explains that here, "emanation picks out a species of formal causation" (147), but in a novel, early modern sense that comes from Bacon, not Aristotle. If space has a formal cause, then so has its twin brother, time, the topic of chapter 7. God is their common formal cause. Then in chapter 6 (coauthored with Zvi Biener) Schliesser adds that, for Newton, laws... (shrink)

Anne Finch Conway es una de las filósofas del siglo XVII que discutió con los filósofos destacados de su época. La única obra con la que contamos de esta autora es Principia Philosophiae Anticissimae et Recentissimae o The Principle of the Most Ancient and Modern Philosophy. En este artículo me propongo dar cuenta del rol que la naturaleza humana tiene en su metafísica, de modo de encontrar un lugar más específico para el dolor y el sufrimiento en un mundo (...) que parece ante todo gobernado por el amor recíproco y la simpatía. El concepto de hombre microcosmos y la relación de este con Cristo tiene una importancia poco destacada por la bibliografía sobre nuestra filósofa. Con esta meta, presentaré su metafísica prestando especial atención a la sustancia creada y su relación con la sustancia media, Cristo, y la sustancia primera, Dios. De este modo, además, daré cuenta de la responsabilidad que la naturaleza humana tiene con el mundo de la creación, por lo cual me permito mencionar también lo “ecológico” en el pensamiento de Conway, ya que el perfeccionamiento de la naturaleza humana es el perfeccionamiento de toda la naturaleza. (shrink)

It is well known that the circumflex notation used by Russell and Whitehead to form complex function names in Principia Mathematica played a role in inspiring Alonzo Church's “lambda calculus” for functional logic developed in the 1920s and 1930s. Interestingly, earlier unpublished manuscripts written by Russell between 1903–1905—surely unknown to Church—contain a more extensive anticipation of the essential details of the lambda calculus. Russell also anticipated Schönfinkel's combinatory logic approach of treating multiargument functions as functions having other functions as (...) value. Russell’s work in this regard seems to have been largely inspired by Frege’s theory of functions and “value-ranges”. This system was discarded by Russell due to his abandonment of propositional functions as genuine entities as part of a new tack for solving Russell’s paradox. In this article, I explore the genesis and demise of Russell’s early anticipation of the lambda calculus. (shrink)

In he Problems of Philosophy and other works of the same period, Russell claims that every proposition must contain at least one universal. Even fully general propositions of logic are claimed to contain “abstract logical universals”, and our knowledge of logical truths claimed to be a species of a priori knowledge of universals. However, these views are in considerable tension with Russell’s own philosophy of logic and mathematics as presented in Principia Mathematica. Universals generally are qualities and relations, but (...) if, for example, PM’s disjunction (∨) is a relation, what is it a relation between? There is no obvious answer to this given Russell’s other philosophical commitments at this time, although hints are left in some of the pre-PM manuscripts. In this paper, I explore this tension in Russell's philosophy and relate it to developments both before and after Problems. (shrink)

Bertrand Russell was one of the best-known proponents of logicism: the theory that mathematics reduces to, or is an extension of, logic. Russell argued for this thesis in his 1903 The Principles of Mathematics and attempted to demonstrate it formally in Principia Mathematica (PM 1910–1913; with A. N. Whitehead). Russell later described his work as a further “regressive” step in understanding the foundations of mathematics made possible by the late 19th century “arithmetization” of mathematics and Frege’s logical definitions of (...) arithmetical concepts. The logical system of PM sought to improve on earlier attempts by solving the contradictions found in, e.g., Frege’s system, by employing a theory of types. In this article, I also consider and critically evaluate the most common objections to Russell’s logicism, including the claim that it is undermined by Gödel’s incompleteness results, and Putnam's charge of “if-thenism”. I suggest that if we are willing to accept a slightly revisionist account of what counts as a mathematical truth, these criticisms do not obviously refute Russell’s claim to have established that mathematical truths generally are a species of logical truth. (shrink)

This paper discusses the history of the confusion and controversies over whether the definition of consequence presented in the 11-page 1936 Tarski consequence-definition paper is based on a monistic fixed-universe framework?like Begriffsschrift and Principia Mathematica. Monistic fixed-universe frameworks, common in pre-WWII logic, keep the range of the individual variables fixed as the class of all individuals. The contrary alternative is that the definition is predicated on a pluralistic multiple-universe framework?like the 1931 Gödel incompleteness paper. A pluralistic multiple-universe framework recognizes (...) multiple universes of discourse serving as different ranges of the individual variables in different interpretations?as in post-WWII model theory. In the early 1960s, many logicians?mistakenly, as we show?held the ?contrary alternative? that Tarski 1936 had already adopted a Gödel-type, pluralistic, multiple-universe framework. We explain that Tarski had not yet shifted out of the monistic, Frege?Russell, fixed-universe paradigm. We further argue that between his Principia-influenced pre-WWII Warsaw period and his model-theoretic post-WWII Berkeley period, Tarski's philosophy underwent many other radical changes. (shrink)

Husserl (a mathematician by education) remained a few famous and notable philosophical “slogans” along with his innovative doctrine of phenomenology directed to transcend “reality” in a more general essence underlying both “body” and “mind” (after Descartes) and called sometimes “ontology” (terminologically following his notorious assistant Heidegger). Then, Husserl’s tradition can be tracked as an idea for philosophy to be reinterpreted in a way to be both generalized and mathenatizable in the final analysis. The paper offers a pattern borrowed from the (...) theory of information and quantum information (therefore relating philosophy to both mathematics and physics) to formalize logically a few key concepts of Husserl’s phenomenology such as “epoché” “eidetic, phenomenological, and transcendental reductions” as well as the identification of “phenomenological, transcendental, and psychological reductions” in a way allowing for that identification to be continued to “eidetic reduction” (and thus to mathematics). The approach is tested by an independent and earlier idea of Husserl, “logical arithmetic” (parallelly implemented in mathematics by Whitehead and Russell’s Principia) as what “Hilbert arithmetic” generalizing Peano arithmetics is interpreted. A basic conclusion states for the unification of philosophy, mathematics, and physics in their foundations and fundamentals to be the Husserl tradition both tracked to its origin (in the being itself after Heidegger or after Husserl’s “zu Sache selbst”) and embodied in the development of human cognition in the third millennium. (shrink)

Henry Sidgwick taught G.E. Moore as an undergraduate at the University of Cambridge. Moore found Sidgwick’s personality less than attractive and his lectures “rather dull”. Still, philosophically speaking, Moore absorbed a great deal from Sidgwick. In the Preface to the Trinity College Prize Fellowship dissertation that he submitted in 1898, just two years after graduation, he wrote “For my ethical views it will be obvious how much I owe to Prof. Sidgwick.” Later, in Principia Ethica, Moore credited Sidgwick with (...) having “first clearly exposed the [naturalistic] fallacy” – a fallacy putatively committed when one defines naturalistically or super-naturalistically “good” – which was one of the book’s main ambitions (PE 39; also 17, 59). It is therefore unsurprising that Moore remarks in the intellectual autobiography he wrote years later that “From…[Sidgwick’s] published works…I have gained a good deal, and his clarity and his belief in Common Sense were very sympathetic to me.” This influence did not, however, prevent Moore from registering disagreements with Sidgwick, the sharpest of which concern the viability of egoism and the nature of the good. The disagreements between Sidgwick and Moore speak to many important moral theoretical issues arising both within and without the utilitarian tradition in ethical thinking. Because the two share much in common, a critical comparison of them on a range of moral philosophical questions proves instructive. It will tell us in particular something about the general direction of ethical thinking in the utilitarian tradition at the dawn of the twentieth century. This chapter has four parts. Part I compares the versions of utilitarianism to which Sidgwick and Moore subscribed. Part II examines the arguments each provides for the view. Part III discusses their conflicting theories of value. Part IV sums things up. (shrink)

Isaac Newton, in popular imagination the Ur-scientist, was an outstanding humanist scholar. His researches on, among others, ancient philosophy, are thorough and appear to be connected to and fit within his larger philosophical and theological agenda. It is therefore relevant to take a closer look at Newton’s intellectual choices, at how and why precisely he would occupy himself with specific text-sources, and how this interest fits into the larger picture of his scientific and intellectual endeavours. In what follows, we shall (...) follow Newton into his study and look over his shoulder while reading compendia and original source-texts in his personal library at Cambridge, meticulously investigating and comparing fragments and commentaries, and carefully keeping track in private notes of how they support his own developing ideas. Indeed, Newton was convinced that precursors to his own insights and discoveries were present already in Antiquity, even before the Greeks, in ancient Egypt, and he puts a lot of time and effort into making the point, especially, and not incidentially, in the period between the first and the second edition of the Principia. A clear understanding of his reading of the classic sources therefore matters to our understanding of its content and gestation process. In what follows we will confine ourselves to the classical legacy, and investigate Newton’s intellectual intercourse with it. (shrink)

Locke’s metaphysical commitments are a matter of some controversy. Further controversy attends the issue of whether and how Locke adapts his views in order to accommodate the success of Newton’s Principia. The chapter lays out an interpretation of Locke’s commitments according to which Locke’s response to Newton on gravity does not require the positing of brute powers and is consistent with his core essentialism. The chapter raises the question of how the hypothesis concerning the creation of matter, alluded to (...) at 4.10.18, fits with these commitments. The chapter concludes that the De grav hypothesis would represent a significant revision to the background metaphysical picture of the Essay, but that nevertheless its attractions to Locke are intelligible and illuminating. (shrink)

According to Descartes, physics rests on metaphysics. Various possible interpretations of this metaphor are considered. I will show that only a weak interpretation can be brought into accordance with other parts of Descartes' philosophy. According to the weak interpretation, physics has to presuppose metaphysics because the latter shows that contrary to widespread contemporary arguments the concepts of mathematical physics are adequate to describe nature. It is argued for this position by comparing the Regulae, where Descartes did not make use of (...) metaphysical arguments, with the Principia, where he did. (shrink)

Jakob Friedrich Fries (1773-1843): A Philosophy of the Exact Sciences -/- Shortened version of the article of the same name in: Tabula Rasa. Jenenser magazine for critical thinking. 6th of November 1994 edition -/- 1. Biography -/- Jakob Friedrich Fries was born on the 23rd of August, 1773 in Barby on the Elbe. Because Fries' father had little time, on account of his journeying, he gave up both his sons, of whom Jakob Friedrich was the elder, to the Herrnhut Teaching (...) Institution in Niesky in 1778. Fries attended the theological seminar in Niesky in autumn 1792, which lasted for three years. There he (secretly) began to study Kant. The reading of Kant's works led Fries, for the first time, to a deep philosophical satisfaction. His enthusiasm for Kant is to be understood against the background that a considerable measure of Kant's philosophy is based on a firm foundation of what happens in an analogous and similar manner in mathematics. -/- During this period he also read Heinrich Jacobi's novels, as well as works of the awakening classic German literature; in particular Friedrich Schiller's works. In 1795, Fries arrived at Leipzig University to study law. During his time in Leipzig he became acquainted with Fichte's philosophy. In autumn of the same year he moved to Jena to hear Fichte at first hand, but was soon disappointed. -/- During his first sojourn in Jenaer (1796), Fries got to know the chemist A. N. Scherer who was very influenced by the work of the chemist A. L. Lavoisier. Fries discovered, at Scherer's suggestion, the law of stoichiometric composition. Because he felt that his work still need some time before completion, he withdrew as a private tutor to Zofingen (in Switzerland). There Fries worked on his main critical work, and studied Newton's "Philosophiae naturalis principia mathematica". He remained a lifelong admirer of Newton, whom he praised as a perfectionist of astronomy. Fries saw the final aim of his mathematical natural philosophy in the union of Newton's Principia with Kant's philosophy. -/- With the aim of qualifying as a lecturer, he returned to Jena in 1800. Now Fries was known from his independent writings, such as "Reinhold, Fichte and Schelling" (1st edition in 1803), and "Systems of Philosophy as an Evident Science" (1804). The relationship between G. W. F. Hegel and Fries did not develop favourably. Hegel speaks of "the leader of the superficial army", and at other places he expresses: "he is an extremely narrow-minded bragger". On the other hand, Fries also has an unfavourable take on Hegel. He writes of the "Redundancy of the Hegelistic dialectic" (1828). In his History of Philosophy (1837/40) he writes of Hegel, amongst other things: "Your way of philosophising seems just to give expression to nonsense in the shortest possible way". In this work, Fries appears to argue with Hegel in an objective manner, and expresses a positive attitude to his work. -/- In 1805, Fries was appointed professor for philosophy in Heidelberg. In his time spent in Heidelberg, he married Caroline Erdmann. He also sealed his friendships with W. M. L. de Wette and F. H. Jacobi. Jacobi was amongst the contemporaries who most impressed Fries during this period. In Heidelberg, Fries wrote, amongst other things, his three-volume main work New Critique of Reason (1807). -/- In 1816 Fries returned to Jena. When in 1817 the Wartburg festival took place, Fries was among the guests, and made a small speech. 1819 was the so-called "Great Year" for Fries: His wife Caroline died, and Karl Sand, a member of a student fraternity, and one of Fries' former students stabbed the author August von Kotzebue to death. Fries was punished with a philosophy teaching ban but still received a professorship for physics and mathematics. Only after a period of years, and under restrictions, he was again allowed to read philosophy. From now on, Fries was excluded from political influence. The rest of his life he devoted himself once again to philosophical and natural studies. During this period, he wrote "Mathematical Natural Philosophy" (1822) and the "History of Philosophy" (1837/40). -/- Fries suffered from a stroke on New Year's Day 1843, and a second stroke, on the 10th of August 1843 ended his life. -/- 2. Fries' Work Fries left an extensive body of work. A look at the subject areas he worked on makes us aware of the universality of his thinking. Amongst these subjects are: Psychic anthropology, psychology, pure philosophy, logic, metaphysics, ethics, politics, religious philosophy, aesthetics, natural philosophy, mathematics, physics and medical subjects, to which, e.g., the text "Regarding the optical centre in the eye together with general remarks about the theory of seeing" (1839) bear witness. With popular philosophical writings like the novel "Julius and Evagoras" (1822), or the arabesque "Longing, and a Trip to the Middle of Nowhere" (1820), he tried to make his philosophy accessible to a broader public. Anthropological considerations are shown in the methodical basis of his philosophy, and to this end, he provides the following didactic instruction for the study of his work: "If somebody wishes to study philosophy on the basis of this guide, I would recommend that after studying natural philosophy, a strict study of logic should follow in order to peruse metaphysics and its applied teachings more rapidly, followed by a strict study of criticism, followed once again by a return to an even closer study of metaphysics and its applied teachings." -/- 3. Continuation of Fries' work through the Friesian School -/- Fries' ideas found general acceptance amongst scientists and mathematicians. A large part of the followers of the "Fries School of Thought" had a scientific or mathematical background. Amongst them were biologist Matthias Jakob Schleiden, mathematics and science specialist philosopher Ernst Friedrich Apelt, the zoologist Oscar Schmidt, and the mathematician Oscar Xavier Schlömilch. Between the years 1847 and 1849, the treatises of the "Fries School of Thought", with which the publishers aimed to pursue philosophy according to the model of the natural sciences appeared. In the Kant-Fries philosophy, they saw the realisation of this ideal. The history of the "New Fries School of Thought" began in 1903. It was in this year that the philosopher Leonard Nelson gathered together a small discussion circle in Goettingen. Amongst the founding members of this circle were: A. Rüstow, C. Brinkmann and H. Goesch. In 1904 L. Nelson, A. Rüstow, H. Goesch and the student W. Mecklenburg travelled to Thuringia to find the missing Fries writings. In the same year, G. Hessenberg, K. Kaiser and Nelson published the first pamphlet from their first volume of the "Treatises of the Fries School of Thought, New Edition". -/- The school set out with the aim of searching for the missing Fries' texts, and re-publishing them with a view to re-opening discussion of Fries' brand of philosophy. The members of the circle met regularly for discussions. Additionally, larger conferences took place, mostly during the holidays. Featuring as speakers were: Otto Apelt, Otto Berg, Paul Bernays, G. Fraenkel, K. Grelling, G. Hessenberg, A. Kronfeld, O. Meyerhof, L. Nelson and R. Otto. On the 1st of March 1913, the Jakob-Friedrich-Fries society was founded. Whilst the Fries' school of thought dealt in continuum with the advancement of the Kant-Fries philosophy, the members of the Jakob-Friedrich-Fries society's main task was the dissemination of the Fries' school publications. In May/June, 1914, the organisations took part in their last common conference before the gulf created by the outbreak of the First World War. Several members died during the war. Others returned disabled. The next conference took place in 1919. A second conference followed in 1921. Nevertheless, such intensive work as had been undertaken between 1903 and 1914 was no longer possible. -/- Leonard Nelson died in October 1927. In the 1930's, the 6th and final volume of "Treatises of the Fries School of Thought, New Edition" was published. Franz Oppenheimer, Otto Meyerhof, Minna Specht and Grete Hermann were involved in their publication. -/- 4. About Mathematical Natural Philosophy -/- In 1822, Fries' "Mathematical Natural Philosophy" appeared. Fries rejects the speculative natural philosophy of his time - above all Schelling's natural philosophy. A natural study, founded on speculative philosophy, ceases with its collection, arrangement and order of well-known facts. Only a mathematical natural philosophy can deliver the necessary explanatory reasoning. The basic dictum of his mathematical natural philosophy is: "All natural theories must be definable using purely mathematically determinable reasons of explanation." Fries is of the opinion that science can attain completeness only by the subordination of the empirical facts to the metaphysical categories and mathematical laws. -/- The crux of Fries' natural philosophy is the thought that mathematics must be made fertile for use by the natural sciences. However, pure mathematics displays solely empty abstraction. To be able to apply them to the sensory world, an intermediatory connection is required. Mathematics must be connected to metaphysics. The pure mechanics, consisting of three parts are these: a) A study of geometrical movement, which considers solely the direction of the movement, b) A study of kinematics, which considers velocity in Addition, c) A study of dynamic movement, which also incorporates mass and power, as well as direction and velocity. -/- Of great interest is Fries' natural philosophy in view of its methodology, particularly with regard to the doctrine "leading maxims". Fries calls these "leading maxims" "heuristic", "because they are principal rules for scientific invention". -/- Fries' philosophy found great recognition with Carl Friedrich Gauss, amongst others. Fries asked for Gauss's opinion on his work "An Attempt at a Criticism based on the Principles of the Probability Calculus" (1842). Gauss also provided his opinions on "Mathematical Natural Philosophy" (1822) and on Fries' "History of Philosophy". Gauss acknowledged Fries' philosophy and wrote in a letter to Fries: "I have always had a great predilection for philosophical speculation, and now I am all the more happy to have a reliable teacher in you in the study of the destinies of science, from the most ancient up to the latest times, as I have not always found the desired satisfaction in my own reading of the writings of some of the philosophers. In particular, the writings of several famous (maybe better, so-called famous) philosophers who have appeared since Kant have reminded me of the sieve of a goat-milker, or to use a modern image instead of an old-fashioned one, of Münchhausen's plait, with which he pulled himself from out of the water. These amateurs would not dare make such a confession before their Masters; it would not happen were they were to consider the case upon its merits. I have often regretted not living in your locality, so as to be able to glean much pleasurable entertainment from philosophical verbal discourse." -/- The starting point of the new adoption of Fries was Nelson's article "The critical method and the relation of psychology to philosophy" (1904). Nelson dedicates special attention to Fries' re-interpretation of Kant's deduction concept. Fries awards Kant's criticism the rationale of anthropological idiom, in that he is guided by the idea that one can examine in a psychological way which knowledge we have "a priori", and how this is created, so that we can therefore recognise our own knowledge "a priori" in an empirical way. Fries understands deduction to mean an "awareness residing darkly in us is, and only open to basic metaphysical principles through conscious reflection.". -/- Nelson has pointed to an analogy between Fries' deduction and modern metamathematics. In the same manner, as with the anthropological deduction of the content of the critical investigation into the metaphysical object show, the content of mathematics become, in David Hilbert's view, the object of metamathematics. -/-. (shrink)

This item is a chapter from a book in progress, entitled "True Motion". Leibniz’s mechanics was, as we shall see, a theory of elastic collisions, not formulated like Huygens’ in terms of rules explicitly covering every possible combination of relative masses and velocities, but in terms of three conservation principles, including (effectively) the conservation of momentum and kinetic energy. That is, he proposed what we now call (ironically enough) ‘Newtonian’ (or ‘classical’) elastic collision theory. While such a theory is, for (...) instance, vital to the foundations of the kinetic theory of gases, it is not applicable to systems – like gravitational systems – in which fields of force are present. Thus, Leibniz’s mechanical principles never led to developments of the order of Newton’s in the Principia (additionally, he hamstrung their application by embedding them in a baroque philosophical system). (shrink)

In his 1927 Analysis of Matter and elsewhere, Russell argued that we can successfully infer the structure of the external world from that of our explanatory schemes. While nothing guarantees that the intrinsic qualities of experiences are shared by their objects, he held that the relations tying together those relata perforce mirror relations that actually obtain (these being expressible in the formal idiom of the Principia Mathematica). This claim was subsequently criticized by the Cambridge mathematician Max Newman as true (...) but trivial, insofar as from a closed body of observations (or “Ramsey sentence”) one can always generate other equally-satisfactory networks of relations, provided they respect the original set’s cardinality. Since any model thus generated will be empirically adequate, “[t]he defence is therefore driven back from the fairly safe fictitious-real classification to the much less tenable ‘trivial’ and ‘important’” (Newman 1928). Given the definitional rigour afforded by the initial appeal to isomorphism (via one-to-one correspondences in extension), the received assessment, shared by Russell himself, is that retreating to a pragmatic adjudication would betoken a fatal blow. However, I suggest that reliance on “importance” can be avoided if we incorporate an impersonal criterion of diachronic precedence. When collecting observations, an ordinality emerges alongside the cardinality which gives that underived structure an irrevocable epistemological privilege. Hence, I argue that, all other things being equal, any construct parasitic on an antecedent theory ought to be regarded as inferior/dispensable, since it was generated by an algorithm lacking the world-involving pedigree of its host structure. (shrink)

A significant thread in Boris Hessen‟s iconic essay, The Social and Economic Roots of Newton’s Principia (1931), is his critique of Newton‟s involving God in his physics. Contra Newton, Hessen believes that nature does not need God in order to function properly. Hessen gives two, quite distinct, „internal‟ explanations of Newton‟s failure to see this. The first explanation is that Newton‟s failure is caused by his believing that motion is a mode instead of an attribute or essence of matter. (...) The second explanation is that Newton‟s failure is owed to his considering mechanical motion as the sole form of the motion of matter: Newton, in Hessen‟s view, did not realize that matter has many forms of motion which constantly transform into one another while conserving energy. In the present paper, I defend the thesis that none of these explanations can account for Newton‟s failure. Hessen‟s first explanation is problematic because even if Newton believed that motion is an attribute or essence of matter, he would still be obliged to involve God in physics. His second explanation fails too because he does not show exactly how the multiplicity and inter-transformation of forms of motion can account for nature‟s organizational structure. (shrink)

Although Newton carefully eschews questions about gravity’s causal basis in the published Principia, the original version of his masterwork’s third book contains some intriguing causal language. “These forces,” he writes, “arise from the universal nature of matter.” Such remarks seem to assert knowledge of gravity’s cause, even that matter is capable of robust and distant action. Some commentators defend that interpretation of the text—a text whose proper interpretation is important since Newton’s reasons for suppressing it strongly suggest that he (...) continued to endorse its ideas. This article argues that the surface appearance of Newton’s causal language is deceptive. What does New- ton intend with his causal language if not a full causal hypothesis? His remarks actually indicate a way of considering the force mathematically, something he contrasts to the structure of the force as it really is in nature. In explaining that, he identifies a significant disjunction between the physical force itself and mathematical ways of considering it, and the text’s significance lies in its view of the force’s structure and in the questions raised about the relationship between mathematical representations and the physical world. (shrink)

In this article I present some unpublished fragments concerning the life and works of René Descartes (1596–1650), gathered from the academic commentaries of Johannes de Raey (1620/1622–1702) on his treatises. The fragments, of different degrees of reliability, are important as (1) they reveal how the image of Descartes was shaped among his first followers and biographers; (2) they offer insights on his now lost manuscripts, to which De Raey had access after his death. They concern, amongst others, Descartes’s days at (...) La Fléche, the original title of his Principia philosophiae, his inventum mirabile, a fragment of a conversation with him, and passages from an irretrievable French version of his Principia. (shrink)

The so-called problem of arguing “from what is to what ought to be” was popularized by G.E. Moore in Principia Ethica (1903), and has received much attention from modern philosophers. I would like to argue that this apparent problem rests on a false dichotomy between our knowing and our doing.