Louis Couturat -Trait ̌de Logique algorithmique

• Corporate Author: SpringerLink (Online service)
• Other Authors: Schlaudt, Oliver. (Editor), Sakhri, Mohsen. (Editor)
• Format: Electronic
• Language: English
• Published: Basel : Birkhũser Basel, 2010.
• Series: Publications des Archives Henri Poincar ̌Publications of the Henri Poincar ̌Archives
• Subjects: Mathematics.; Mathematics_$xHistory.; History of Mathematics.
• Online Access: https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-0346-0411-6

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 manuscrip...

Table of Contents:

• From the contents: Introduction
• Transcription of the Manuscript: Df̌initions et notations
• Principes
• Lois de la multiplication et de l<U+0019>addition
• Lois de la nǧation
• Dv̌eloppement des fonctions
• Thǒrie des q̌uations
• Thǒrie des inǧalitš
• Calcul des propositions constantes
• Calcul des jugements variables
• Comparaison avec la Logique classique
• Conclusions
• Critical Apparatus.