[FOM] A question about Church

[Harry Deutsch]

The "open question" has not been answered--certainly not by Anderson's dissertation, which of course I've read. hd
On Jun 12, 2013, at 8:31 PM, Francisco Gomes Martins wrote:

> As far as Im concerned with this is the logical order. Bear in mind Church is in a Fregean setting where the denotation of an expression is a function of its sense.
> You should read Anthony Anderson´s dissertation. Im sure that it will be helpful.
> 
> Best,
> Francisco
> 
> 
> 2013/6/12 Harry Deutsch <hdeutsch at ilstu.edu>
> In "Intensionality and the paradox of the name relation" (in Themes from Kaplan, Oxford, 1989) Church writes:
> 
> "Languages are of course possible within which no two primitive constants denote the same thing. For given any primitive constant we may delete from language all but one of the class of primitive constants that concurrent [co-referential] with it. [The following is italicized by Church] Whether it is always effectively possible to cut down the vocabulary of a given language so that no pair of concurrent but non-synonymous primitive constants remains is an open question.  The difficulty lies in a method by which to determine in regard to each pair of primitive constants whether they are concurrent."
> 
> I think that the "but non-synonymous" is not necessary to the problem Church is posing.  The constants just have to be different.  In any case, does anyone know the answer to this "o;pen question?"
> 
> Harry Deutsch
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
> 
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20130613/0771ac28/attachment.html>