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