FOM: ``arbitrary objects"
aa at post.tau.ac.il
Thu Jan 31 07:07:34 EST 2002
I should say that I find the discussion about "arbitrary objects"
(or "arbitrary numbers") rather embarrassing, especially that
it is made by logicans. When I read it I got the feeling that
Gentzen (and his analysis of Natural Deduction) and Tarski
(with his semantical analysis of formulas, using structures
and assignments) had never existed, and that
variables and their correct use are still a mystery...
More information about the FOM