<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 TRANSITIONAL//EN">
<HTML>
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; CHARSET=UTF-8">
<META NAME="GENERATOR" CONTENT="GtkHTML/1.0.1">
</HEAD>
<BODY>
On Thu, 2002-02-28 at 19:06, Frederik Fouvry wrote:
<BLOCKQUOTE>
<PRE><FONT COLOR="#737373"><FONT SIZE="3"><I>| > does anyone know of any examples where type-identity (or inequality), as</FONT></FONT></I>
<FONT COLOR="#737373"><FONT SIZE="3"><I>| > opposed to token-identity, plays a role in syntax? </FONT></FONT></I>
<FONT COLOR="#737373"><FONT SIZE="3"><I>| </FONT></FONT></I>
<FONT COLOR="#737373"><FONT SIZE="3"><I>| I am not sure about syntax, but Tilman Hoehle has a paper (in the</FONT></FONT></I>
<FONT COLOR="#737373"><FONT SIZE="3"><I>| "Slavic in HPSG" CSLI volume) in which he crucially relies on</FONT></FONT></I>
<FONT COLOR="#737373"><FONT SIZE="3"><I>| type-identity in his account of phonology in HPSG.</FONT></FONT></I>
<FONT COLOR="#737373"><FONT SIZE="3"><I>| </FONT></FONT></I>
<FONT COLOR="#737373"><FONT SIZE="3"><I>| We (the HPSG group in Warsaw) have an analysis of coordination relying</FONT></FONT></I>
<FONT COLOR="#737373"><FONT SIZE="3"><I>| on type identity (for checking 'sameness' of conjuncts in certain</FONT></FONT></I>
<FONT COLOR="#737373"><FONT SIZE="3"><I>| kinds of coordinate structures), but this analysis is rather</FONT></FONT></I>
<FONT COLOR="#737373"><FONT SIZE="3"><I>| preliminary and -- hence -- probably not a good argument for</FONT></FONT></I>
<FONT COLOR="#737373"><FONT SIZE="3"><I>| type-identity in syntax.</FONT></FONT></I>
<FONT COLOR="#737373"><FONT SIZE="3"><I></FONT></FONT></I>
<FONT COLOR="#737373"><FONT SIZE="3"><I>If I recall correctly, some work on ellipsis from a few years</FONT></FONT></I>
<FONT COLOR="#737373"><FONT SIZE="3"><I>back used type-identity, for similar reasons that Adam mentions:</FONT></FONT></I>
<FONT COLOR="#737373"><FONT SIZE="3"><I>parts of the structure had to have the same type, but not all of</FONT></FONT></I>
<FONT COLOR="#737373"><FONT SIZE="3"><I>it is the same, so token identity could not be used.</FONT></FONT></I>
<FONT COLOR="#737373"><FONT SIZE="3"><I>Unfortunately, I cannot recall any references. </FONT></FONT></I></PRE>
</BLOCKQUOTE>
<FONT SIZE="3">Hi Frederik,</FONT>
<BLOCKQUOTE>
<PRE><FONT COLOR="#737373"><FONT SIZE="3"><I>Supposing that</FONT></FONT></I>
<FONT COLOR="#737373"><FONT SIZE="3"><I>there is a type-identity checking mechanism in place, </FONT></FONT></I></PRE>
</BLOCKQUOTE>
<FONT SIZE="3">what's the current situation there, BTW. Does RSRL provide means to express type (in)equality?? </FONT>
<BR>
<FONT SIZE="3"> </FONT>
<BR>
<FONT SIZE="3">Berthold</FONT>
<BLOCKQUOTE>
<PRE><FONT COLOR="#737373"><FONT SIZE="3"><I>this line</FONT></FONT></I>
<FONT COLOR="#737373"><FONT SIZE="3"><I>of thinking does not supply any arguments in favour of</FONT></FONT></I>
<FONT COLOR="#737373"><FONT SIZE="3"><I>token-identity though.</FONT></FONT></I>
<FONT COLOR="#737373"><FONT SIZE="3"><I></FONT></FONT></I>
<FONT COLOR="#737373"><FONT SIZE="3"><I>-- </FONT></FONT></I>
<FONT COLOR="#737373"><FONT SIZE="3"><I>Frederik Fouvry Universität des Saarlandes, Computerlinguistik</FONT></FONT></I>
<FONT COLOR="#737373"><FONT SIZE="3"><I>Gebäude 17/3.02 - Postfach 15 11 50 - D-66041 Saarbrücken, Germany</FONT></FONT></I>
<FONT COLOR="#737373"><FONT SIZE="3"><I>telephone: +49(0)681 302 4176 facsimile: +49(0)681 302 4700</FONT></FONT></I>
<FONT COLOR="#737373"><FONT SIZE="3"><I>fouvry@coli.uni-sb.de </FONT></FONT></I><A HREF="http://www.coli.uni-sb.de/~fouvry/"><FONT SIZE="3"><I>http://www.coli.uni-sb.de/~fouvry/</FONT></I></A>
</PRE>
</BLOCKQUOTE>
</BODY>
</HTML>