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