[FOM] Weaver's "reply" to Friedman
Martin Davis
martin at eipye.com
Sat May 6 00:45:35 EDT 2006
This is just to note that Weaver's recent post, written as a reply to
Friedman's "What is Predicativity", does not in fact deal with any of the
clear issues that Friedman raised.
Friedman pointed out that discussion about what is or is not predicative
remain on an unacceptable subjective plane without some prior, at least
informal, understanding of what the word means. He also presented (again) a
simple challenge: show how a proposed version of predicativity leads to a
predicative analysis of the truth set of the language of arithmetic. But
Weaver simply ignores this.
Martin
More information about the FOM
mailing list