Louis Couturat
Encyclopedia
Louis Couturat was a French
logic
ian, mathematician
, philosopher
, and linguist
.
, Essonne
, France, he was educated in philosophy
and mathematics
at the École Normale Supérieure
. He held professorships, first at the University of Toulouse
, then subsequently at the Collège de France
.
He was the French advocate of the symbolic logic that emerged in the years before World War I, thanks to the writings of Charles Sanders Peirce, Giuseppe Peano
and his school, and especially to the Principia Mathematica
by Alfred North Whitehead
and Couturat's friend and correspondent, Bertrand Russell
. Like Russell and Whitehead, Couturat saw symbolic logic as a tool to advance both mathematics and the philosophy thereof. In this, he was opposed by Henri Poincaré
, who took considerable exception to Couturat's efforts to interest the French in symbolic logic. With the benefit of hindsight, we can see that Couturat was in broad agreement with the logicism
of Russell and Whitehead, while Poincaré anticipated Brouwer
's intuitionism
.
His first major publication was Couturat (1896). In 1901, he published La Logique de Leibniz, a detailed study of Leibniz the logician, based on his examination of the huge Leibniz Nachlass
in Hannover
. Even though Leibniz had died in 1716, his Nachlass was cataloged only in 1895. Only then was it possible to determine the extent of Leibniz's unpublished work on logic. In 1903, Couturat published much of that work in another large volume, his Opuscules et Fragments Inedits de Leibniz, containing many of the documents he had examined while writing La Loqique. Couturat was thus the first to appreciate that Leibniz was the greatest logician during the more than 2000 years that separate Aristotle
from George Boole
and Augustus De Morgan
. A significant part of the 20th century Leibniz revival is grounded in Couturat's editorial and exegetical efforts. This work on Leibniz attracted Russell, also the author of a 1900 book on Leibniz, and thus began their professional correspondence and friendship.
In 1905, Couturat published a work on logic and the foundations of mathematics (with an appendix on Kant's philosophy of mathematics) which was originally conceived as a translation of Russell's Principles of Mathematics. In the same year, he published L'Algèbre de la logique, a classic introduction to the algebraic logic
of George Boole
, C.S. Peirce, and Ernst Schröder
.
In 1907, Couturat helped found the artificial language Ido
, an offshoot of Esperanto
, and was Ido's principal advocate over the remainder of his life. By advocating an artificial international language, constructed along logical principles and with a vocabulary taken from existing European languages, Couturat was paralleling Peano's advocacy of Interlingua
. By pushing Ido, Couturat walked in Leibniz's footsteps; Leibniz called for the creation a universal symbolic and conceptual language he named the characteristica universalis
.
Couturat, a confirmed pacifist
, was killed when his car was hit by a car carrying orders for the mobilization of the French Army
, in the first stage of World War I
.
He appears as a character in Joseph Skibell
's 2010 novel, A Curable Romantic.
French people
The French are a nation that share a common French culture and speak the French language as a mother tongue. Historically, the French population are descended from peoples of Celtic, Latin and Germanic origin, and are today a mixture of several ethnic groups...
logic
Logic
In philosophy, Logic is the formal systematic study of the principles of valid inference and correct reasoning. Logic is used in most intellectual activities, but is studied primarily in the disciplines of philosophy, mathematics, semantics, and computer science...
ian, mathematician
Mathematics
Mathematics is the study of quantity, space, structure, and change. Mathematicians seek out patterns and formulate new conjectures. Mathematicians resolve the truth or falsity of conjectures by mathematical proofs, which are arguments sufficient to convince other mathematicians of their validity...
, philosopher
Philosophy
Philosophy is the study of general and fundamental problems, such as those connected with existence, knowledge, values, reason, mind, and language. Philosophy is distinguished from other ways of addressing such problems by its critical, generally systematic approach and its reliance on rational...
, and linguist
Linguistics
Linguistics is the scientific study of human language. Linguistics can be broadly broken into three categories or subfields of study: language form, language meaning, and language in context....
.
Life
Born in Ris-OrangisRis-Orangis
Ris-Orangis is a commune in the southern suburbs of Paris, France. It is located from the center of Paris.Inhabitants of Ris-Orangis are known as Rissois.-History:...
, Essonne
Essonne
Essonne is a French department in the region of Île-de-France. It is named after the Essonne River.It was formed on 1 January 1968 when Seine-et-Oise was split into smaller departments.- History :...
, France, he was educated in philosophy
Philosophy
Philosophy is the study of general and fundamental problems, such as those connected with existence, knowledge, values, reason, mind, and language. Philosophy is distinguished from other ways of addressing such problems by its critical, generally systematic approach and its reliance on rational...
and mathematics
Mathematics
Mathematics is the study of quantity, space, structure, and change. Mathematicians seek out patterns and formulate new conjectures. Mathematicians resolve the truth or falsity of conjectures by mathematical proofs, which are arguments sufficient to convince other mathematicians of their validity...
at the École Normale Supérieure
École Normale Supérieure
The École normale supérieure is one of the most prestigious French grandes écoles...
. He held professorships, first at the University of Toulouse
University of Toulouse
The Université de Toulouse is a consortium of French universities, grandes écoles and other institutions of higher education and research, named after one of the earliest universities established in Europe in 1229, and including the successor universities to that earlier university...
, then subsequently at the Collège de France
Collège de France
The Collège de France is a higher education and research establishment located in Paris, France, in the 5th arrondissement, or Latin Quarter, across the street from the historical campus of La Sorbonne at the intersection of Rue Saint-Jacques and Rue des Écoles...
.
He was the French advocate of the symbolic logic that emerged in the years before World War I, thanks to the writings of Charles Sanders Peirce, Giuseppe Peano
Giuseppe Peano
Giuseppe Peano was an Italian mathematician, whose work was of philosophical value. The author of over 200 books and papers, he was a founder of mathematical logic and set theory, to which he contributed much notation. The standard axiomatization of the natural numbers is named the Peano axioms in...
and his school, and especially to the Principia Mathematica
Principia Mathematica
The Principia Mathematica is a three-volume work on the foundations of mathematics, written by Alfred North Whitehead and Bertrand Russell and published in 1910, 1912, and 1913...
by Alfred North Whitehead
Alfred North Whitehead
Alfred North Whitehead, OM FRS was an English mathematician who became a philosopher. He wrote on algebra, logic, foundations of mathematics, philosophy of science, physics, metaphysics, and education...
and Couturat's friend and correspondent, Bertrand Russell
Bertrand Russell
Bertrand Arthur William Russell, 3rd Earl Russell, OM, FRS was a British philosopher, logician, mathematician, historian, and social critic. At various points in his life he considered himself a liberal, a socialist, and a pacifist, but he also admitted that he had never been any of these things...
. Like Russell and Whitehead, Couturat saw symbolic logic as a tool to advance both mathematics and the philosophy thereof. In this, he was opposed by Henri Poincaré
Henri Poincaré
Jules Henri Poincaré was a French mathematician, theoretical physicist, engineer, and a philosopher of science...
, who took considerable exception to Couturat's efforts to interest the French in symbolic logic. With the benefit of hindsight, we can see that Couturat was in broad agreement with the logicism
Logicism
Logicism is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic. Bertrand Russell and Alfred North Whitehead championed this theory fathered by Richard Dedekind...
of Russell and Whitehead, while Poincaré anticipated Brouwer
Luitzen Egbertus Jan Brouwer
Luitzen Egbertus Jan Brouwer FRS , usually cited as L. E. J. Brouwer but known to his friends as Bertus, was a Dutch mathematician and philosopher, a graduate of the University of Amsterdam, who worked in topology, set theory, measure theory and complex analysis.-Biography:Early in his career,...
's intuitionism
Intuitionism
In the philosophy of mathematics, intuitionism, or neointuitionism , is an approach to mathematics as the constructive mental activity of humans. That is, mathematics does not consist of analytic activities wherein deep properties of existence are revealed and applied...
.
His first major publication was Couturat (1896). In 1901, he published La Logique de Leibniz, a detailed study of Leibniz the logician, based on his examination of the huge Leibniz Nachlass
Nachlass
Nachlass is a German word, used in academia to describe the collection of manuscripts, notes, correspondence, and so on left behind when a scholar dies. The word is a compound in German: nach means 'after', and the verb lassen means 'leave'. The plural can be either Nachlasse or Nachlässe...
in Hannover
Hanover
Hanover or Hannover, on the river Leine, is the capital of the federal state of Lower Saxony , Germany and was once by personal union the family seat of the Hanoverian Kings of Great Britain, under their title as the dukes of Brunswick-Lüneburg...
. Even though Leibniz had died in 1716, his Nachlass was cataloged only in 1895. Only then was it possible to determine the extent of Leibniz's unpublished work on logic. In 1903, Couturat published much of that work in another large volume, his Opuscules et Fragments Inedits de Leibniz, containing many of the documents he had examined while writing La Loqique. Couturat was thus the first to appreciate that Leibniz was the greatest logician during the more than 2000 years that separate Aristotle
Aristotle
Aristotle was a Greek philosopher and polymath, a student of Plato and teacher of Alexander the Great. His writings cover many subjects, including physics, metaphysics, poetry, theater, music, logic, rhetoric, linguistics, politics, government, ethics, biology, and zoology...
from George Boole
George Boole
George Boole was an English mathematician and philosopher.As the inventor of Boolean logic—the basis of modern digital computer logic—Boole is regarded in hindsight as a founder of the field of computer science. Boole said,...
and Augustus De Morgan
Augustus De Morgan
Augustus De Morgan was a British mathematician and logician. He formulated De Morgan's laws and introduced the term mathematical induction, making its idea rigorous. The crater De Morgan on the Moon is named after him....
. A significant part of the 20th century Leibniz revival is grounded in Couturat's editorial and exegetical efforts. This work on Leibniz attracted Russell, also the author of a 1900 book on Leibniz, and thus began their professional correspondence and friendship.
In 1905, Couturat published a work on logic and the foundations of mathematics (with an appendix on Kant's philosophy of mathematics) which was originally conceived as a translation of Russell's Principles of Mathematics. In the same year, he published L'Algèbre de la logique, a classic introduction to the algebraic logic
Algebraic logic
In mathematical logic, algebraic logic is the study of logic presented in an algebraic style.What is now usually called classical algebraic logic focuses on the identification and algebraic description of models appropriate for the study of various logics and connected problems...
of George Boole
George Boole
George Boole was an English mathematician and philosopher.As the inventor of Boolean logic—the basis of modern digital computer logic—Boole is regarded in hindsight as a founder of the field of computer science. Boole said,...
, C.S. Peirce, and Ernst Schröder
Ernst Schröder
Ernst Schröder was a German mathematician mainly known for his work on algebraic logic. He is a major figure in the history of mathematical logic , by virtue of summarizing and extending the work of George Boole, Augustus De Morgan, Hugh MacColl, and especially Charles Peirce...
.
In 1907, Couturat helped found the artificial language Ido
Ido
Ido is a constructed language created with the goal of becoming a universal second language for speakers of different linguistic backgrounds as a language easier to learn than ethnic languages...
, an offshoot of Esperanto
Esperanto
is the most widely spoken constructed international auxiliary language. Its name derives from Doktoro Esperanto , the pseudonym under which L. L. Zamenhof published the first book detailing Esperanto, the Unua Libro, in 1887...
, and was Ido's principal advocate over the remainder of his life. By advocating an artificial international language, constructed along logical principles and with a vocabulary taken from existing European languages, Couturat was paralleling Peano's advocacy of Interlingua
Latino sine Flexione
Latino sine flexione , or Peano’s Interlingua , is an international auxiliary language invented by the Italian mathematician Giuseppe Peano in 1903. It is a simplified version of Latin, and retains its vocabulary...
. By pushing Ido, Couturat walked in Leibniz's footsteps; Leibniz called for the creation a universal symbolic and conceptual language he named the characteristica universalis
Characteristica universalis
The Latin term characteristica universalis, commonly interpreted as universal characteristic, or universal character in English, is a universal and formal language imagined by the German philosopher Gottfried Leibniz able to express mathematical, scientific, and metaphysical concepts...
.
Couturat, a confirmed pacifist
Pacifism
Pacifism is the opposition to war and violence. The term "pacifism" was coined by the French peace campaignerÉmile Arnaud and adopted by other peace activists at the tenth Universal Peace Congress inGlasgow in 1901.- Definition :...
, was killed when his car was hit by a car carrying orders for the mobilization of the French Army
French Army
The French Army, officially the Armée de Terre , is the land-based and largest component of the French Armed Forces.As of 2010, the army employs 123,100 regulars, 18,350 part-time reservists and 7,700 Legionnaires. All soldiers are professionals, following the suspension of conscription, voted in...
, in the first stage of World War I
World War I
World War I , which was predominantly called the World War or the Great War from its occurrence until 1939, and the First World War or World War I thereafter, was a major war centred in Europe that began on 28 July 1914 and lasted until 11 November 1918...
.
He appears as a character in Joseph Skibell
Joseph Skibell
Joseph Skibell is a novelist and essayist living in Atlanta, Georgia.Skibell is the author of three novels, which use elements of history and fantasy:* A Blessing on the Moon * The English Disease...
's 2010 novel, A Curable Romantic.
See also
- Leibniz
- Ernst SchröderErnst SchröderErnst Schröder was a German mathematician mainly known for his work on algebraic logic. He is a major figure in the history of mathematical logic , by virtue of summarizing and extending the work of George Boole, Augustus De Morgan, Hugh MacColl, and especially Charles Peirce...
- IdoIdoIdo is a constructed language created with the goal of becoming a universal second language for speakers of different linguistic backgrounds as a language easier to learn than ethnic languages...
- Boolean algebra (logic)
- LogicismLogicismLogicism is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic. Bertrand Russell and Alfred North Whitehead championed this theory fathered by Richard Dedekind...
External references
- Online biography. MacTutor at St. Andrews University. Scotland.