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