Re: Hayes' scrutiny of Top 40

John F. Sowa (
Mon, 4 May 1998 14:22:58 -0400

John McCarthy's comment about reducing binary predicates to unary
predicates applied to a pair is a purely formal or notational
convention that does not eliminate the need to address how many
implicit or explicit individuals are involved.

I agree with John that we should address the number of arguments
implicit in various concepts (predicates, relations, or whatever
you want to call them) independent of any formal mechanism used
to represent them.

John Sowa