Louis Couturat -Traité de Logique algorithmique

Oliver Schlaudt, Mohsen Sakhri (Herausgeber)

Buch | Softcover

VIII, 317 Seiten

2012 | 2010
Springer Basel (Verlag)
978-3-0348-0307-6 (ISBN)

Artikel merken

Louis Couturat (1868-1914) was an outstanding intellectual of the turn of the nineteenth to the twentieth century. He is known for his work in the philosophy of mathematics, for his critical and editorial work on Leibniz, for his attempt to popularise modern logic in France, for his commitment to an international auxiliary language, as well as for his extended correspondence with scholars and mathematicians from Great Britain, the United States, Italy, and Germany. From his correspondence we know of four unpublished manuscripts on logic and its history, which were largely complete and some of which must have been of considerable size. We publish here for the ?rst time in a critical edition the only one of these manuscripts that has been rediscovered: the Traité de Logique algorithmique, presumably written in the years 1899-1901. It is a highly interesting document of the academic reception and popularisation of symbolic logic in France. It provides evidence of the discussions and controversies which accompanied the creation of logic as a new branch of science. At the same time it completes the picture of Couturat's work, which has been opened up to systematic study by the publication of important parts of his correspondence during the last decade. We append the article on Symbolic Logic of 1902 which Couturat wrote in collaboration with Christine Ladd- Franklin for Baldwin's Dictionary of Philosophy and Psychology.

Transcription of the Manuscript.- Définitions et notations : A. Logique des concepts.- Définitions et notations : B. Logique des propositions.- Principes.- Lois de la multiplication et de l'addition.- Lois de la négationa.- Développement des fonctions.- Théorie des équations.- Sur les opérations inverses : Soustraction et division.- Théorie des inégalités.- Calcul des propositions constantesa.- Calcul des jugements variables (ou des probabilités)1.- Comparaison avec la Logique classique1.- Conclusions.- Critical Apparatus.- Variants and Annotations.

Erscheint lt. Verlag	8.9.2012
Reihe/Serie	Publications des Archives Henri Poincaré Publications of the Henri Poincaré Archives
Reihe/Serie	Science autour de / around 1900
Zusatzinfo	VIII, 317 p.
Verlagsort	Basel
Sprache	englisch
Maße	155 x 235 mm
Gewicht	497 g
Themenwelt	Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika
Themenwelt	Mathematik / Informatik ► Mathematik ► Geschichte der Mathematik
Schlagworte	Addition • Algebra • algorithms • Annotation • Calc • constant • Development • Division • Logik • Louis Couturat • Mathematics • multiplication • Proposition • Scope • University • Variable
ISBN-10	3-0348-0307-9 / 3034803079
ISBN-13	978-3-0348-0307-6 / 9783034803076
Zustand	Neuware