Louis Couturat -Traité de Logique algorithmique

Editors:

ISBN: 978-3-0346-0410-9 (Print) 978-3-0346-0411-6 (Online)

Table of contents (15 chapters)

  1. Front Matter

    Pages i-viii

  2. Introduction

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 3-34

      Introduction

  3. Transcription of the Manuscript

    1. Front Matter

      Pages 35-35

    2. No Access

      Book Chapter

      Pages 37-47

      Définitions et notations : A. Logique des concepts

    3. No Access

      Book Chapter

      Pages 49-61

      Définitions et notations : B. Logique des propositions

    4. No Access

      Book Chapter

      Pages 63-73

      Principes

    5. No Access

      Book Chapter

      Pages 75-92

      Lois de la multiplication et de l’addition

    6. No Access

      Book Chapter

      Pages 93-106

      Lois de la négationa

    7. No Access

      Book Chapter

      Pages 107-120

      Développement des fonctions

    8. No Access

      Book Chapter

      Pages 121-143

      Théorie des équations

    9. No Access

      Book Chapter

      Pages 145-155

      Sur les opérations inverses : Soustraction et division

    10. No Access

      Book Chapter

      Pages 157-183

      Théorie des inégalités

    11. No Access

      Book Chapter

      Pages 185-203

      Calcul des propositions constantesa

    12. No Access

      Book Chapter

      Pages 205-223

      Calcul des jugements variables (ou des probabilités)1

    13. No Access

      Book Chapter

      Pages 225-240

      Comparaison avec la Logique classique1

    14. No Access

      Book Chapter

      Pages 241-260

      Conclusions

  4. Critical Apparatus

    1. Front Matter

      Pages 261-261

    2. No Access

      Book Chapter

      Pages 263-296

      Variants and Annotations

  5. Back Matter

    Pages 297-317