3 ms·

Thank you for pointing out these distinctions which I had not grasped, and the relevant literature! Time for me to dig back into Girardesque pages. Is "Logique

Thank you for pointing out these distinctions which I had not grasped, and the relevant literature! Time for me to dig back into Girardesque pages. Is "Logique 2.0" this paper https://girard.perso.math.cnrs.fr/logique2.0.pdf https://girard.perso.math.cnrs.fr/logique2.0.pdf? Is there an English translation available?

Nevermark 2y ago
Claude translation of the intro: > Abstract: > In this tract, I lay the foundations for a radical re-reading of logic. I illustrate this with technical developments: in particular, a notion of truth based on the Euler-Poincaré invariant. > Introduction: The Return of Philosophy > At the end of the 19th century, logic experienced a spectacular renaissance. But, like a snake that grew too quickly while forgetting to shed its skin, logic remains prisoner today of a Nessus tunic - the scientistic format concocted by the founding fathers that has become obsolete. This obsolescence is made manifest by the proof networks derived from linear logic [2]. It is high time to change our reading grid and carry out a "Copernican revolution": the transition to logic 2.0. > The first point of resistance is the dominant philosophy - analytical, to simplify - whose main thesis is that... philosophy serves no purpose: a simple translation would allow bypassing it by reducing it to predicate calculus. This thesis, due roughly to Russell, places logic in the position of an irrefutable arbiter. And thus, how can we judge it if it is its own jury? To top it off, modern "analytics" reduce philosophy to logic... from Russell's time, the only one they know. This outdated logic thus dictates its law under the cover of scientistic philosophy. I am not sure the poetic flourishes are helping with clarity and formalization... but I would dearly love to watch a video of him shouting in this style from upon a box in a town square.
- qazxcvbnm 2y ago
  It may not help with clarity, but I do love dearly how, so refreshingly, he allows me to feel how he himself feels of the world and its significance with his work, and in that I do feel I understand his point of view better.
engboris 2y ago
Yes, it's this paper but there's no English translation. Girard mostly (only?) write in French now. I believe LLM like ChatGPT or Claude do a great job nowadays?

Nevermark 2y ago

Claude translation of the intro: > Abstract: > In this tract, I lay the foundations for a radical re-reading of logic. I illustrate this with technical developments: in particular, a notion of truth based on the Euler-Poincaré invariant. > Introduction: The Return of Philosophy > At the end of the 19th century, logic experienced a spectacular renaissance. But, like a snake that grew too quickly while forgetting to shed its skin, logic remains prisoner today of a Nessus tunic - the scientistic format concocted by the founding fathers that has become obsolete. This obsolescence is made manifest by the proof networks derived from linear logic [2]. It is high time to change our reading grid and carry out a "Copernican revolution": the transition to logic 2.0. > The first point of resistance is the dominant philosophy - analytical, to simplify - whose main thesis is that... philosophy serves no purpose: a simple translation would allow bypassing it by reducing it to predicate calculus. This thesis, due roughly to Russell, places logic in the position of an irrefutable arbiter. And thus, how can we judge it if it is its own jury? To top it off, modern "analytics" reduce philosophy to logic... from Russell's time, the only one they know. This outdated logic thus dictates its law under the cover of scientistic philosophy. I am not sure the poetic flourishes are helping with clarity and formalization... but I would dearly love to watch a video of him shouting in this style from upon a box in a town square.

qazxcvbnm 2y ago
It may not help with clarity, but I do love dearly how, so refreshingly, he allows me to feel how he himself feels of the world and its significance with his work, and in that I do feel I understand his point of view better.

engboris 2y ago

Yes, it's this paper but there's no English translation. Girard mostly (only?) write in French now. I believe LLM like ChatGPT or Claude do a great job nowadays?