[FOM] Axiomatic Syntax

[Dean Buckner]

>One might think this sort of contrast is of interest only to
>philosophers, but there is reason to suppose that it runs rather deeper
>than that. I once heard Kripke suggest, rightly, as it seems to me, that
>it lies at the foundations of recursion theory.

I.e. the supposed contrast between singular terms used descriptively, and as
used referentially? whatever that means?

I'm intrigued by this.  What does it mean, why did Kripke say it, why do you
think he is right?

Dean