Anaphora and recent work on fresh names

I was wondering if the sorts of things that Andrew Pitts and Jamie Gabbay do on fresh names could be applied easily to anaphora effects.  Hmmm.  Reminder of what anaphora are (see Anaphora at the Stanford Encyclopedia of Philosophy).  Take the sentence

John left. He said he was ill.

The pronoun "he" is said to inherent its referent from "John", the antecedent.  Another example:

Every male lawyer believes he is smart.

As has been observed before many times, this is very close to universal quantification: forall x. Male x & Lawyer x => …  So the antecedent here is a bound variable.  Or a free variable if you strip off the quantifier.  Or a set of constants if you do propositionalisation of the theory.

Pitts says on his web page that he is

currently researching nominal sets, which provide a syntax-independent model of freshness and α-equivalence of bound names with very good support for recursion and induction.

I will try to develop this further once I get back from Malta…


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s