FREE SHIPPING on Orders of $40 or More!
Louis Couturat -Traité de Logique algorithmique

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.

1107328861
Louis Couturat -Traité de Logique algorithmique

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.

138.58 Out Of Stock
Louis Couturat -Traité de Logique algorithmique

Louis Couturat -Traité de Logique algorithmique

Alternative view 1 of Louis Couturat -Traité de Logique algorithmique
Alternative view 2 of Louis Couturat -Traité de Logique algorithmique
Louis Couturat -Traité de Logique algorithmique

Louis Couturat -Traité de Logique algorithmique

Overview

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.

Product Details

ISBN-13: 9783034604109
Publisher: Springer Basel
Publication date: 09/28/2010
Edition description: 2010
Pages: 317
Product dimensions: 6.30(w) x 9.20(h) x 0.90(d)

Table of Contents

I Introduction 1

I Presentation of the Manuscript 3

II Biographical Note 3

III Dating of the Manuscript 5

IV Origin and Meaning of the Term "Logique algorithmique" 7

V Characterisation of the Manuscript 9

VI Couturat's Interest in Algebraic Logic 11

VII Editorial Policy 32

VIII Editorial Symbols in the Presentation of the Text 33

II Transcription of the Manuscript 35

Tome I 37

I Définitions et notations : A. Logique des concepts 37

II Définitions et notations : B. Logique des propositions 49

III Principes 63

IV Lois de la multiplication et de l'addition 75

V Lois de la négation 93

VI Développement des fonctions 107

VII Théorie des équations 121

Appendice II Sur les opérations inverses : Soustraction et division 145

Tome II 157

VIII Théorie des inégalités 157

IX Calcul des propositions constantes 185

X Calcul des jugements variables (ou des probabilités) 205

XI Comparaison avec la Logique classique 225

XII Conclusions 241

Editor's Appendix 251

A Louis Couturat and Christine Ladd-Franklin: Symbolic Logic, 1902 251

B Couturat on Schröder and Poretsky, on the 1st International congress of Philosophy, Paris 1900 258

III Critical Apparatus 261

Variants and Annotations 263

Table of Correspondence with L'Algèbre de la Logique 294

List of Signs and Abbreviations 295

Table of Figures 296

Bibliography 297

Index Nominum 311

Index Rerum 312

From the B&N Reads Blog
Page 1 of

Customer Reviews