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?
-
-
Show this thread
-
Another way to see it is Abramsky slogan: relax global constraints on logical interactions and you get far richer logical behaviors.
Show this thread
End of conversation
New conversation -
-
-
I remember this paper being helpful on the strategy of the TS program, but I don’t think I ever quite grasped what a gabarit was:https://www.academia.edu/10495057/On_Trascendental_syntax_a_Kantian_program_for_logic …
-
I remember you mentioned it to me when you were here. No it made the issue even more brain-exploding.
- 7 more replies
New conversation -
-
-
This Tweet is unavailable.
-
This Tweet is unavailable.
- 2 more replies
-
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.