If you trawl Girard’s papers you will find him saying at least these two things: Logic is subjective. Logic is implicit - will never be explicit. “The symbol

If you trawl Girard’s papers you will find him saying at least these two things: Logic is subjective. Logic is implicit - will never be explicit. “The symbol speaks for itself” is the notion of denotational semantics mathematicians use. I am in the camp of “symbols mean whatever you interpret them to mean”.