Chris, (01)
JFS>> Theory T1: (Ex)(Ay)(y=x).
>>
>> Theory T2: (Ex)(Ey)~(x=y). (02)
CM> I don't understand how the truth recursion will work for these
> sentences. (03)
I don't understand what you are objecting to. (04)
Theory T1 is true of any model that contains exactly one individual
in the domain. Theory T2 is true of any model that contains two or
more individuals. There is no model that can make both theories true. (05)
CM> The variables "x" and "y" drop out of the picture and ultimately
> play no role whatever in the truth conditions of the sentence. (06)
I agree. That's what I was trying to say, and what I interpreted
Wittgenstein as saying: (07)
LW> 4.242 Expressions of the form "a=b" are therefore only expedients
> in presentation (Behelfe der Darstellung). (08)
CM> According to your suggest, if I'm understanding, "x" and "y"
> themselves occur in the truth conditions of "x=y" and, hence,
> I assume in the truth conditions of "(Ex)(Ay)(y=x)". (09)
No. I meant that the variable names are artifacts of the notation,
since they disappear in notations such as existential graphs. (010)
John (011)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (012)
|