[FOM] Qustion About Church

Francisco Gomes Martins apofantico at gmail.com
Sat Jun 15 15:27:17 EDT 2013

Church means just mathematical expressions where coreferentiality is the
same as having the same denotation, which does not hold for empirical
expressions. And of course one must distinguish between empirical and
non-empirical expressions.

I recommend the reading of Pavel Tichy´s main tenet: the *constructions*,
where constants are provided representing every object in each typed used.
There is no such *open question* any longer.


Procedural Semantics for Hyperintensional Logic: Procedural Semantics for
Hyperintensional Logic Procedural Semantics for Hyperintensional Logic
Foundations and Applications of Transparent Intensional
M. Duzi, B. Jespersen and P. Materna, 2010.

2013/6/14 Harry Deutsch <hdeutsch at ilstu.edu>

> Dear Bill Greenberg, Yes.  I think my remark that the word
> "non-synonymous" could be omitted was false, since if 'a' and 'b' are
> synonymous, then a=b and we know that 'a' and 'b' are co-referential.
>  Church's question concerns specifically concurrent names that are not
> synonymous. However his last sentence is: " The difficulty lies in a method
> by which to determine in regard to each pair of primitive constants whether
> they are concurrent."  Here it is "each pair of primitive constants" not
> just those that are not synonymous.  What is the answer to Church's "open
> question?"  Best, Harry
> On Jun 14, 2013, at 2:41 PM, Bill Greenberg wrote:
> _______________________________________________
> 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/20130615/fa42707a/attachment.html>

More information about the FOM mailing list