Louis Couturat -Traité de Logique algorithmique

  • Oliver Schlaudt
  • Mohsen Sakhri

Part of the Publications des Archives Henri Poincaré Publications of the Henri Poincaré Archives book series (PAHP)

Also part of the Science autour de / around 1900 book sub series (PAHPSCIENCE)

Table of contents

  1. Front Matter
    Pages i-viii
  2. Introduction

    1. Front Matter
      Pages 1-1
    2. Oliver Schlaudt, Mohsen Sakhri
      Pages 3-34
  3. Transcription of the Manuscript

    1. Front Matter
      Pages 35-35
    2. Oliver Schlaudt, Mohsen Sakhri
      Pages 37-47
    3. Oliver Schlaudt, Mohsen Sakhri
      Pages 49-61
    4. Oliver Schlaudt, Mohsen Sakhri
      Pages 63-73
    5. Oliver Schlaudt, Mohsen Sakhri
      Pages 75-92
    6. Oliver Schlaudt, Mohsen Sakhri
      Pages 93-106
    7. Oliver Schlaudt, Mohsen Sakhri
      Pages 107-120
    8. Oliver Schlaudt, Mohsen Sakhri
      Pages 121-143
    9. Oliver Schlaudt, Mohsen Sakhri
      Pages 145-155
    10. Oliver Schlaudt, Mohsen Sakhri
      Pages 157-183
    11. Oliver Schlaudt, Mohsen Sakhri
      Pages 185-203
    12. Oliver Schlaudt, Mohsen Sakhri
      Pages 205-223
    13. Oliver Schlaudt, Mohsen Sakhri
      Pages 225-240
    14. Oliver Schlaudt, Mohsen Sakhri
      Pages 241-260
  4. Critical Apparatus

    1. Front Matter
      Pages 261-261
    2. Oliver Schlaudt, Mohsen Sakhri
      Pages 263-296
  5. Back Matter
    Pages 297-317

About this book

Introduction

The manuscript of the Traité de Logique algorithmique resulted from lectures Couturat gave at the University of Caen in 1898/99 on recent developments in symbolic logic, on the relations of logic and mathematics, and on the scope of the methods of mathematics. It is the only one of several manuscripts Couturat mentioned in his correspondence that meanwhile has been rediscovered. It is an outstanding document of the popularization and propagation of symbolic logic around 1900. It allows to better understand the difficult relations of algebraic logic and the so-called logistic program which surpasses the simple alternative of logic as an application of algebra vs. logic as the foundation of mathematics. The complicated interactions in the historical developments of these two currents become manifest in Couturat's hesitations and changing attitudes within his own intellectual biography. The publication of this manuscript helps to achieve a much more complete picture of the latter.

Keywords

Annotation Calc Division Louis Couturat Multiplication Scope addition algebra algorithms constant development mathematics proposition university variable

Editors and affiliations

  • Oliver Schlaudt
    • 1
  • Mohsen Sakhri
    • 2
  1. 1.Philosophisches SeminarUniversität HeidelbergHeidelbergGermany
  2. 2.UMR 7117 CNRS - Nancy-Université, Labo. d'Histoire des Sciences et deUniversité Nancy 2Nancy CXFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-0346-0411-6
  • Copyright Information Springer Basel AG 2010
  • Publisher Name Birkhäuser Basel
  • eBook Packages Humanities, Social Sciences and Law
  • Print ISBN 978-3-0346-0410-9
  • Online ISBN 978-3-0346-0411-6
  • About this book