FOM: second order logic is a myth

Harvey Friedman friedman at
Thu Feb 25 10:33:14 EST 1999

Reply to Simpson 3:11PM 2/25/99:

>Harvey, thanks for your concise put-down of second-order logic in 24
>Feb 1999 20:08:49.  This is a much better formulation of some of the
>points that I have been trying to make.
>By the way Harvey, what's your opinion of the views of your Ohio State
>University colleague, Stewart Shapiro, as expressed in his book
>`Foundations Without Foundationalism: A Case for Second-order Logic'?
I'd like to use an old saying:

my colleagues, right or wrong!

More information about the FOM mailing list