[FOM] Misattributed quotation (re: occurrences)
A.P. Hazen
a.hazen at philosophy.unimelb.edu.au
Sun Sep 25 03:42:46 EDT 2005
My mistake. The reference to the "obscure" concept of an occurrence
I had in mind, and attributed to Charles Parsons, was the passage
from Mates's book that Parsons has now provided. I'm sorry.
--
The passage does illustrate some of the phenomena I think are
interesting in the matter of occurrences:
(i) The occurrence notion, whatever its obscurities, is very
convenient if you want to give a natural, idiomatic, user-friendly
exposition of the logical niceties of variables and substitution for
variables, but
(ii) The "standard" ontology for metamathematical discourse--
expression-types and numbers-- allows us IN PRINCIPLE to dispense
with it.
--
Allen Hazen
Philosophy Department
University of Melbourne
More information about the FOM
mailing list