The Experts below are selected from a list of 1101 Experts worldwide ranked by ideXlab platform
Gregory Landini - One of the best experts on this subject based on the ideXlab platform.
-
typos of Principia Mathematica
History and Philosophy of Logic, 2013Co-Authors: Gregory LandiniAbstract:Principia Mathematic goes to great lengths to hide its order/type indices and to make it appear as if its incomplete symbols behave as if they are singular terms. But well-hidden as they are, we cannot understand the proofs in Principia unless we bring them into focus. When we do, some rather surprising results emerge – which is the subject of this paper.
-
Principia Mathematica φ versus φ
2013Co-Authors: Gregory LandiniAbstract:Studying the history of Mathematical logic in school, on the web or in comics,1 one will surely come upon Whitehead and Russell’s monumental three-volume Principia Mathematica. In the Encyclopedia Britannica we find the following, widely accepted, characterization of the work: Eventually, Russell’s attempts to overcome the paradox resulted in a complete transformation of his scheme of logic, as he added one refinement after another to the basic theory. In the process, important elements of his ‘Pythagorean’ view of logic were abandoned. In particular, Russell came to the conclusion that there were no such things as classes and propositions and that therefore, whatever logic was, it was not the study of them. In their place he substituted a bewilderingly complex theory known as the ramified theory of types, which, though it successfully avoided contradictions such as Russell’s Paradox, was (and remains) extraordinarily difficult to understand. By the time he and his collaborator, Alfred North Whitehead, had finished the three volumes of Principia Mathematica (1910–13), the theory of types and other innovations to the basic logical system had made it unmanageably complicated. Very few people, whether philosophers or mathematicians, have made the gargantuan effort required to master the details of this monumental work. It is nevertheless rightly regarded as one of the great intellectual achievements of the 20th century. (Monk, 2013)
-
Quantification Theory in *8 of Principia Mathematica and the Empty Domain
History and Philosophy of Logic, 2005Co-Authors: Gregory LandiniAbstract:The second printing of Principia Mathematica in 1925 offered Russell an occasion to assess some criticisms of the Principia and make some suggestions for possible improvements. In Appendix A, Russell offered *8 as a new quantification theory to replace *9 of the original text. As Russell explained in the new introduction to the second edition, the system of *8 sets out quantification theory without free variables. Unfortunately, the system has not been well understood. This paper shows that Russell successfully antedates Quine's system of quantification theory without free variables. It is shown as well, that as with Quine's system, a slight modification yields a quantification theory inclusive of the empty domain.
-
russell s separation of the logical and semantic paradoxes
Revue Internationale De Philosophie, 2004Co-Authors: Gregory LandiniAbstract:On regarde souvent Russell comme ay ant soutenu que les paradoxes logiques et les paradoxes semantiques derivent tons d'une source commune — a savoir la violation du principe du cercle vicieux de Poincare. La ramification de la theorie des types des Principia Mathematica resulte, a ce qu'on pretend, des efforts de Russell pour eviter les paradoxes semantiques. Cet article montre, cependant, que Russell a trade separement des deux sortes de paradoxes et en a offert des solutions distinctes en 1906. Les implications de cette decouverte pour les Principia et pour la philosophic de I'atomisme logique de Russell sont alors explore es.
-
Quantification Theory in *9 of Principia Mathematica
History and Philosophy of Logic, 2000Co-Authors: Gregory LandiniAbstract:This paper examines the quantification theory of *9 of Principia Mathematica. The focus of the discussion is not the philosophical role that section *9 plays in Principia's full ramified type-theory. Rather, the paper assesses the system of *9 as a quantificational theory for the ordinary predicate calculus. The quantifier-free part of the system of *9 is examined and some misunderstandings of it are corrected. A flaw in the system of *9 is discovered, but it is shown that with a minor repair the system is semantically complete. Finally, the system is contrasted with the system of *8 of Principia's second edition.
Bernard Linsky - One of the best experts on this subject based on the ideXlab platform.
-
russell s corrected page proofs of Principia Mathematica
Russell-the Journal of The Bertrand Russell Studies, 2020Co-Authors: Bernard Linsky, Kenneth BlackwellAbstract:We report here on the set of complete proofs of Volumes I and II of Whitehead and Russell’s Principia Mathematica newly acquired by the Bertrand Russell Archives. These proof sheets, marked with a number of corrections, were likely bound for Russell by Cambridge University Press, though not exactly the same as the first edition. We assess the information to be gained from the texts and the corrections, most significantly around *110 in Vol. II and the lost dot of the empty relation in Vol. I. All are in Russell’s hand and described in an appendix. We also note several revisions in the first edition that were made after these proofs. We discuss the provenance of the volumes, and Russell’s correspondence about proofs of PM with M. H. Dziewicki, but we find that there is insufficient evidence to determine the chain of possession from Russell to their discovery for sale in Australia in recent years.
-
propositional logic from the principles of mathematics to Principia Mathematica
2016Co-Authors: Bernard LinskyAbstract:Bertrand Russell presented three systems of propositional logic, one first in Principles of Mathematics, University Press, Cambridge, 1903 then in “The Theory of Implication”, Routledge, New York, London, pp. 14–61, 1906) and culminating with Principia Mathematica, Cambridge University Press, Cambridge, 1910. They are each based on different primitive connectives and axioms. This paper follows “Peirce’s Law” through those systems with the aim of understanding some of the notorious peculiarities of the 1910 system and so revealing some of the early history of classical propositional logic. “Peirce’s Law” is a valid formula of elementary propositional logic: [(p ⊃ q) ⊃ p] ⊃ p This sentence is not even a theorem in the 1910 system although it is one of the axioms in 1903 and is proved as a theorem in 1906. Although it is not proved in 1910, the two lemmas from the proof in 1906 occur as theorems, and Peirce’s Law could have been derived from them in a two step proof. The history of Peirce’s Law in Russell’s systems helps to reconstruct some of the history of axiomatic systems of classical propositional logic.
-
the palgrave centenary companion to Principia Mathematica
2013Co-Authors: Nicholas Griffin, Bernard LinskyAbstract:Note on Citations Introduction: Nicholas Griffin and Bernard Linsky PART I: THE INFLUENCE OF PM 1. Principia Mathematica : The First Hundred Years Alasdair Urquhart 2. David Hilbert and Principia Mathematica Reinhard Kahle: 3. Principia Mathematica in Poland Jan Wolenski PART II: RUSSELL'S PHILOSOPHY OF LOGIC AND LOGICISM 4. From Logicism to Metatheory Patricia Blanchette 5. Russell on Real Variables and Vague Denotation Edwin Mares 6. The Logic of Classes and the No-Class Theory Byeong-uk Yi 7. Why There Is No Frege-Russell Definition of Number Jolen Galaugher PART III: TYPE THEORY AND ONTOLOGY 8. Principia Mathematica : ?! versus ? Gregory Landini 9. PM's Circumflex, Syntax and Philosophy of Types Kevin Klement 10. Principia Mathematica , the Multiple-Relation Theory of Judgment and Molecular Facts James Levine 11. Report on Some Ramified-Type Assignment Systems and Their Model-Theoretic Semantics Harold Hodes 12. Outline of a Theory of Quantification Dustin Tucker PART IV: MATHEMATICS IN PM 13. Whatever Happened to Group Theory? Nicholas Griffin 14. Proofs of the Cantor-Bernstein Theorem in Principia Mathematica Arie Hinkis 15. Quantity and Number in Principia Mathematica : A Plea for an Ontological Interpretation of the Application Constraint Sebastien Gandon
-
the evolution of Principia Mathematica bertrand russell s manuscripts and notes for the second edition
2011Co-Authors: Bernard LinskyAbstract:Originally published in 1910, Principia Mathematica led to the development of Mathematical logic and computers and thus to information sciences. It became a model for modern analytic philosophy and remains an important work. In the late 1960s the Bertrand Russell Archives at McMaster University in Canada obtained Russell's papers, letters and library. These archives contained the manuscripts for the new Introduction and three Appendices that Russell added to the second edition in 1925. Also included was another manuscript, 'The Hierarchy of Propositions and Functions', which was divided up and re-used to create the final changes for the second edition. These documents provide fascinating insight, including Russell's attempts to work out the theorems in the flawed Appendix B, 'On Induction'. An extensive introduction describes the stages of the manuscript material on the way to print and analyzes the proposed changes in the context of the development of symbolic logic after 1910.
-
the evolution of Principia Mathematica notation and logic
2011Co-Authors: Bernard LinskyAbstract:This chapter presents the notation and logical system of Principia Mathematica , taking as illustrations many formulas that will appear in the second edition and the manuscripts, and so will prepare the reader who is new to the work. While the syntax of PM is not presented in that work explicitly, and is not up to contemporary standards in logic in certain respects, it is easy to distinguish primitive from defined expressions, and follow the introduction of defined symbols into the system. Symbols are then used in a uniform way after they are introduced. Russell's notation evolved from 1900 to 1910, starting with his adoption of Peano's symbolism, and then developed through his collaboration with Whitehead. The second edition of PM uses the notation of the first, with the exception of the new Sheffer stroke, and so the changes are primarily matters of logical theory. This chapter will also review the distinctive logical doctrines of the first edition of PM , particularly the theory of types, the theory of definite descriptions, and the “no-class theory of classes”, as necessary prerequisites for understanding the additions of the second edition. Primitive symbols and punctuation The basic symbols include the following. Some are primitive and some are defined: ✻ Pronounced “star”; indicates a chapter or section (“number”) and one of three kinds of sentence, either an axiom, a theorem, or a definition. “✻20 General Theory of Classes” is a number, with ✻20·01 its first definition, and ✻20·1 its first theorem.
Pablo Toribio Perez - One of the best experts on this subject based on the ideXlab platform.
-
ita sentiebant veteres use and omission of classical latin poetry in isaac newton s Principia Mathematica
2010Co-Authors: Pablo Toribio PerezAbstract:Comunicacion presentada en el XIII Congreso de la FIEC (Federation Internationale des Associations d'Etudes Classiques), Humboldt Universitat zu Berlin, 24-29 de agosto de 2009.
-
en tibi norma poli lucrecio y virgilio en los Principia Mathematica de isaac newton
Dvlces camenae: poética y poesía latinas 2010 ISBN 978-84-338-5374-5 págs. 1093-1100, 2010Co-Authors: Pablo Toribio PerezAbstract:Los autores de la Antiguedad grecolatina desempenan un importante papel en el trasfondo ideologico de la obra que se considera cumbre de la revolucion cientifica, los Philosophiae Naturalis Principia Mathematica de Isaac Newton. La presencia de poesia latina clasica en las tres ediciones de la obra que se sucedieron en vida del autor (1687, 1713 y 1726) se estudia en este trabajo como manifestacion de las connotaciones teologicas que dieron a los Principia tanto sus lectores contemporaneos como el propio Newton. En otro nivel, este trabajo intenta mostrar lo conveniente de la participacion de la filologia clasica en el estudio de textos pertenecientes a epocas y generos alejados de los que habitualmente centran su atencion.
Michael H. Soffel - One of the best experts on this subject based on the ideXlab platform.
-
Newtonian Celestial Mechanics
Astronomy and Astrophysics Library, 2019Co-Authors: Michael H. SoffelAbstract:Newton’s theory of gravity is based upon absolute time and space (the Newtonian space-time). According to Newton’s Philosophiae Naturalis Principia Mathematica (originally published in 1687 in Latin), absolute time and space respectively are independent aspects of objective reality:
Debora Sicco - One of the best experts on this subject based on the ideXlab platform.
-
isaac newton emilie du châtelet principes mathematiques de la philosophie naturelle la traduction francaise des philosophiae naturalis Principia Mathematica
Studi Francesi, 2017Co-Authors: Debora SiccoAbstract:In questi due eleganti volumi, Michel Toulmonde presenta l’edizione critica del manoscritto autografo della traduzione francese dei Philosophiae naturalis Principia Mathematica di Newton realizzata da Gabrielle-Emilie Le Tonnelier de Breteuil, marchesa Du Châtelet (1706-1749). Si tratta di un progetto editoriale nato in occasione del convegno organizzato presso la Bibliotheque Nationale de France nel giugno 2006, per il tricentenario della nascita della marchesa. Oltre ai due volumi qui prese...