---------------------------- 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
0341-563005
T.M.V.Janssen at uva.nl