FOM: logic and polylogic
Antonino.Drago at na.infn.it
Tue Apr 6 13:31:43 EDT 1999
March 26th Simpson reiterated his attack to "polylogic", for stating that
"logic is neutral". On the other hand, he defends Goedel from misinterpretations. What I do not understand is how he interprets Goedel's papers 1932, 1933e
and 1933f about intuitionistic logic and intuitionism in general. Can I hope
an answer from him? Thanks.
More information about the FOM