[FOM] Parallel to Slater on Numbers
Hartley Slater
slaterbh at cyllene.uwa.edu.au
Fri Oct 10 01:24:20 EDT 2003
Arnon Avron writes
>Do you reject the propositions:
>"The pair <0,1> isin the exponential function" and "the exponential function
>is a subset of the upper half-plane" as ungrammatical?
I think that is enough of 'tangential' issues. What Avron should
concentrate on is not confusing the value of a function with either
an argument of that function, or the set of arguments for which the
function has that value. It boils down to accuracy: what Avron is
taking to be 'identity' is merely 'close association'. Certainly N
is associated with p in 'd(p)=N', and and with {e|e || p} in
'{e|d(e)=N}={e|e || p}', but that does not make for identities in
either case.
Harvey Friedman expands in a private email following his recent FOM
request about making explicit my remark about 'safe hands':
> Why don't you make at least a simple short posting to the
>FOM to the effect that this is NOT to be taken as a suggestion that f.o.m.
>is fraudulent, or misguided, or anything like this. It is easy to read what
>you wrote that way.
I think you need special interests to bring in that reading, since my
remark about making explicit the implications of my rhetorical
question to Avron, 'So {{}, {{}}}=Card{k|k<2}?', in the context of
Holmes' sanguinity about the safety of current FOM, merely reflected
on my (surely) known disbelief in the (presumed) positive answer from
Avron (subsequently given), and Tennant's previous question about
explicitness. Avron believes that cardinalities themselves have
cardinalities, indeed he must say that Card{{}, {{}}} = {{}, {{}}},
and likewise for all the finite von Neumann ordinals. I find that
very shaky. There was also the discrepancy between Avron's and
Holmes' views on '2={{}, {{}}}', which I documented, which does not
inspire confidence in people (like me) who do not think one can
treat or define numbers in several ways making this equation
sometimes true and sometimes false. If that is the case then FOM is
really wobbly. Hello paraconsistency! (And you might know my views
about that!).
--
Barry Hartley Slater
Honorary Senior Research Fellow
Philosophy, M207 School of Humanities
University of Western Australia
35 Stirling Highway
Crawley WA 6009, Australia
Ph: (08) 9380 1246 (W), 9386 4812 (H)
Fax: (08) 9380 1057
Url: http://www.arts.uwa.edu.au/PhilosWWW/Staff/slater.html
More information about the FOM
mailing list