[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.


More information about the FOM mailing list