[FOM] First Order Logic/status

[josef@us.es]

Dear Harvey Friedman and all:

let me direct your attention to a paper of mine that addresses the issue of why "FOL is the only appropriate vehicle for the foundations of mathematics". I should warn you that the paper is historico-philosophical in nature, but you could read superficially the historical parts and go to the systematic heart of the matter. Here is the link:

http://www.math.ucla.edu/~asl/bsl/0704-toc.htm

Best regards,
Jose Ferreiros