|
|
|
|
|
|
by ukj
2157 days ago
|
|
|
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”. |
|
|