Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Logic in Question / Couturat by Anne-Françoise...


view this post on Zulip Email Gateway (Jun 16 2022 at 08:57):

From: jean-yves beziau <beziau100@gmail.com>
This Wednesday, June 15 at 16h CET we will have the next session of the
Logica Universalis Webinar.
It is about the book
"Logic in Question - Talks from the Annual Sorbonne Logic Workshop (2011-
2019)"
published in the book series Studies in Universal Logic (SUL)
https://www.springer.com/series/7391

This book is related to the Workshop "Logic in Question" organized every
Spring at the Sorbonne in Paris since 2011
http://www.logic-in-question.org/
In this workshop all aspects of logic are discussed and we already had
talks by a great variety of speakers from all over the world
http://www.logic-in-question.org/speakers-2011-2019.html
The present book collects not all the talks, but a good number of them. It
is a 750-page book including 38 papers such as:

There will be a general presentation of the workshop and the book and then
a talk corresponding to one chapter of the book:

Louis Couturat was born January 17, 1868 and died August 3 1914.
His world Logic Day Number is therefore B+3
"A confirmed pacifist, he 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."
https://en.wikipedia.org/wiki/Louis_Couturat
He proposed the word "Logistique" (Logistics) to name modern logic. He was
close to Bertrand Russell.

The correspondence between Couturat and Russell, the most important
scientific correspondence of Russell, dealing with all kinds of topics, was
lost under the snow in La-Chaux-de-Fonds in Switzerland. Many years later
It was edited and published by the author of the talk, Anne-Françoise Schmid
Correspondance sur la philosophie, la logique et la politique : Bertrand
Russell et Louis Couturat, 1897-1913
https://www.amazon.fr/Correspondance-sur-philosophie-logique-politique/dp/284174258X
See here the review by Alasdair Urquhart:
https://www.academia.edu/2140956/The_Couturat-Russell_Correspondence_edited_by_Anne-Francoise_Schmid

Couturat was the creator and promoter of the universal language Ido
Here is the wikipedia page about Couturat in Ido
https://io.wikipedia.org/wiki/Louis_Couturat
With Léopold Léau he wrote
"Histoire de la Langue Universelle"
https://archive.org/details/histoiredelalang00coutuoft

Couturat published the work of Leibniz on logic which was almost unknown
and wrote:
La logique de Leibniz
https://archive.org/details/lalogiquedeleib00coutgoog/page/n4/mode/2up

By Anne-Françoise Schmid (together with Oliver Schlaudt)
there is the book (also published by Birkhäuser):
Louis Couturat: The History of Modern Symbolic Logic and Other French
Manuscripts
https://link.springer.com/book/10.1007/978-3-030-84828-6

Within the project
A PRIZE OF LOGIC IN EVERY COUNTRY !
the logic prize for France was named "Louis Couturat Logic Prize"
http://www.uni-log.org/logic-prize-world

Everybody is welcome to attend the next Logica Universalis Webinar
Register here:
https://www.springer.com/journal/11787/updates/20065848

Jean-Yves Beziau
Organizer of the Logica Universalis Webinar
Series Editor Studies in Universal Logic
http://www.logica-universalis.org/sul


Last updated: Apr 19 2024 at 16:20 UTC