[FOM] [Fwd: voor FOM Frege's error]

Joop Niekus jniekus at science.uva.nl
Wed Aug 10 07:42:33 EDT 2005

---------------------------- Original Message ----------------------------
Subject: voor FOM Frege's error
From:    "Theo Janssen" <T.M.V.Janssen at uva.nl>
Date:    Tue, August 9, 2005 16:57
To:      jniekus at science.uva.nl

1. In lamdbda calculus one may obtain  the one place-relation from the 
two place relations as follows:
given LxLy[x>y]
new Lz[z>z] =  Lz[ LxLy[x>y](z)(z)]
2. Frege did not have lambda's, but he knew the standard mathematical 
method to reduce the number of arguments.
Let be given f defined by f(x,y) = x>y.
Then we may define g by g(x) = f(x,0) and h  by h(x)= f(x,x).

There is nothing wrong or problematic with Frege's remarks one finds in 
Carnap's lecture notes.

Theo Janssen
ILLC / University of Amsterdam
Plantage Muidergracht 24
1018TV Amsterdam
The Netherlands
T.M.V.Janssen at uva.nl

More information about the FOM mailing list