Revisiting Jean-Yves Girard's Transcendental Syntax. For the love of druj, can someone explain to me in a few sentences what a gabarit is? Is it like the choices Geist makes in navigating its history? @insurrealist @deontologistics
-
Show this thread
-
My intuition is that gabarit is essentially the course of how a proof develops according to the context of its axiomatic actions and logical connections, locativity is being a key. But why on earth do we need gabarit then if this is already implied in Ludics?
3 replies 0 retweets 4 likesShow this thread
Another way to see it is Abramsky slogan: relax global constraints on logical interactions and you get far richer logical behaviors.
9:06 AM - 12 Apr 2020
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.