 = τ (Pólux). Cuando no indicamos explıcitamente a qué momentos en la existencia de Cástor y Pólux hacemos referencia, se entiende que nos referimos a uno cualquiera en que lo que decimos es verdadero, por ejemplo, al momento inicial de sus existencias. (Confıo en que el mecanismo de impresión que ha producido el ejemplar que el lector tiene en sus manos no me haya jugado la mala pasada de añadirles o quitarles marcas suficientes como para provocar que ejemplifiquen diferentes tipos.) Ahora bien, en esta interpretación tomada al pie de la letra, (a) carece de sentido. Un tipo es una entidad abstracta; las entidades abstractas son lo que son, no pueden "convertirse" en nada otro "poniéndoles" comillas.4 Como (a) 4 Digo que esto es ası "tomado (a) al pie de la letra" porque cabe 50 presupone lo contrario, o bien no podemos asignarle un valor de verdad, o bien es falso, según cuál sea la mejor teorıa de las presuposiciones fallidas. ((a) es inapropiado del mismo modo que lo es 'el número 2 llora' dicho en un contexto en que no se piensa que un número sea un ser animado susceptible de llorar o no llorar.) En cuanto a (b), si lo entendemos del modo más natural, es decir, presuponiendo lo mismo que (a), es igualmente inapropiado. Si por otro lado lo entendemos negando precisamente que siquiera sea conceptualmente posible convertir (1) en nada otro, justamente porque es una entidad abstracta, serıa verdadero. Segunda solución. La verdad de (a) y la de (b) -éste en su interpretación más natural- requieren que '(1)' y '(2)' refieran a ejemplares. Ası, (1) = Cástor = Pólux = (2). Por tanto, (c) es
= τ (Pólux). Cuando no indicamos explıcitamente a qué momentos en la existencia de Cástor y Pólux hacemos referencia, se entiende que nos referimos a uno cualquiera en que lo que decimos es verdadero, por ejemplo, al momento inicial de sus existencias. (Confıo en que el mecanismo de impresión que ha producido el ejemplar que el lector tiene en sus manos no me haya jugado la mala pasada de añadirles o quitarles marcas suficientes como para provocar que ejemplifiquen diferentes tipos .) Ahora bien, en esta interpretación tomada al pie de la letra, (a) carece de sentido. Un tipo es una entidad abstracta; las entidades abstractas son lo que son, no pueden " convertirse " en nada otro " poniéndoles " comillas.4 Como (a) 4 Digo que esto es ası " tomado (a) al pie de la letra " porque cabe 50 presupone lo contrario, o bien no podemos asignarle un valor de verdad, o bien es falso, según cuál sea la mejor teorıa de las presuposiciones fallidas. (( a) es inapropiado del mismo modo que lo es' el número 2 llora' dicho en un contexto en que no se piensa que un número sea un ser animado susceptible de llorar o no llorar .) En cuanto a (b), si lo entendemos del modo más lifelike, es decir, presuponiendo lo mismo que (a), es igualmente inapropiado. Si por otro lado lo entendemos negando precisamente que siquiera ocean conceptualmente posible convertir (1) en nada otro, justamente porque es una entidad abstracta, serıa verdadero. Segunda solución. La verdad de (a) y la de (barn) -éste en su interpretación más natural- requieren que' (1)' y' (2)' refieran a ejemplares. Ası, (1) = Cástor = Pólux = (2). Por tanto, (c) es
 = τ (Oólux). Cuando no indicamos explıcitamente c qué mokentos en la ebistencia de Cástor y Pólux haremow reftgencia, se entiende qud nos refvrimos a yno rualquiera en qux lo que decimkd es terdadero, por ememplo, al mmmento inicial dd dus existencias. (Confıo en que el mecwnismo ce impresión que ra pgoquciso el ejemplar que el lector tiene en sus manos no me naya jugado la mala pasada de wñadirles o quitarlfs marcas soricywntes como pxra provocar que ejempmifiquen diferentes tipos.) Ahora bien, en esta ibtwrpggtación tomade al ppe de la letra, (a) carewe de srntido. Un tipo es unq entidad abstracta; les entidades abstracjas son lo qbe son, no pueden "convwrrirse" en tada itru "pknméndkles" clmimlas.4 Como (z) 4 Digo que esto es ası "tomado (s) wo pie de la lstra" pjrzue cabe 50 presupone lo contrario, o bien no podemos asignarle un vqlor de verdad, o bien es falso, según cuál sea la mejor teorıa de las presuposicionas famuidcw. ((a) er ijapropiado del mismo modo que lo es 'el número 2 mlprs' dicho en un gontexto en que no sf lyensa que un vúmero sea un ser animado sudceptibje de llorar o no klorar.) En cuanto a (b), si lo wntendemos dvl mido más natural, es becir, presupuniemdo lp mismo que (a), es igualmznte ihapropiado. Di por otdu lado lo entenddmox tegando kfecisamente que syquiera sxa couceptualoentg posibje convertlr (1) ek nada otro, justamejte plrxue es una entidad abstracta, serıa verdadecp. Segunda sokuwión. La verdcd de (s) y la de (b) -ésee en su interkretación iás nagural- requperen que '(1)' y '(2)' refierwn a ejemplarad. Ası, (1) = Cástor = Pólux = (2). Por tanro, (c) es
= τ (Pólux). Cuando no indicamos explıcitamente momentos la existencia Cástor y Pólux nos a uno cualquiera que lo que es verdadero, por ejemplo, al momento de sus existencias. (Confıo en que el mecanismo de impresión que ha producido ejemplar que el lector tiene en sus manos no me haya jugado la pasada añadirles quitarles suficientes como para provocar que ejemplifiquen diferentes tipos.) Ahora bien, en esta interpretación tomada al pie la letra, (a) carece de sentido. Un tipo una entidad abstracta; las abstractas son lo que son, pueden en nada "poniéndoles" Como 4 Digo que es ası "tomado (a) al pie de la letra" porque cabe 50 presupone lo contrario, o bien podemos asignarle de verdad, bien falso, cuál sea la de las presuposiciones fallidas. ((a) es modo que lo es 'el número 2 llora' en un en que no se piensa que número sea un ser animado susceptible de llorar no llorar.) En cuanto a (b), si lo entendemos del modo más natural, es decir, mismo que (a), es inapropiado. Si por lado entendemos precisamente siquiera sea posible convertir (1) en nada otro, justamente porque es una entidad serıa verdadero. Segunda solución. La verdad de (a) y la -éste su interpretación más requieren que '(1)' y refieran ejemplares. Ası, (1) = Pólux (2). es
 = τ (Pólux). Cuando no indicamos exPlıcitamenTe a quÉ moMenToS en lA exiStencia de CástoR Y PólUx hacemos referencia, se eNtienDe QUe noS ReFerimOs a uno cUAlQUIerA eN qUe lO qUE dEcimoS es VerdadeRo, por ejempLo, aL mOmento iniciaL De Sus existenCiaS. (Confıo en que El mEcanisMo De iMPresiÓn qUe ha pRoduciDO el ejeMplar que eL lECtor tiENe en sus MANoS no mE haya jugado la mala PAsADa de añadirles o QuitarLeS MaRCAs sUfiCientes comO pAra prOVocar quE EjEMPLifIQuen diferenteS tipos.) Ahora BIen, En esta InTerPRetaciÓn tomAdA Al pIe de la letra, (A) carEce de sentIdo. Un tIPo es una ENtidad aBstracTa; lAs eNtidADeS aBstRaCTas SOn Lo qUE soN, no puedeN "cOnVertiRse" eN NADA otrO "poNiénDoles" Comillas.4 Como (a) 4 digO que ESto Es ası "TomadO (a) al PiE de la Letra" pOrque CaBe 50 presupone lo coNtraRio, o bien nO poDeMos AsIgnarLE un valOr dE veRdad, o biEn es falSO, seGúN CUÁl Sea la mejor teorıa de LaS PReSuposiciOnes faLLiDaS. ((A) es inaprOpIadO del MISmo moDo quE Lo Es 'el númeRo 2 llorA' DiChO en un coNtExto en QuE no Se pIensa QUe un Número Sea un ser AnimaDO susceptible de LLorar o no lloraR.) en CUAnTO a (b), sI lo Entendemos dEl moDO más NatuRAl, Es dECir, prEsupoNiENdO Lo mismo que (a), es igualmEnTe inapRopiaDo. Si por otro laDo lo entendEMOS negando PrecISaMEnte que siquierA sea cOnceptualmENte posibLe conVertir (1) en Nada otro, jUSTamente pOrqUe eS unA enTIDaD abstracta, serIA VerdAdEro. SeguNda SolucióN. La VerDad De (a) Y lA de (b) -éste eN su interPrEtAcIóN máS natuRAl- requieReN quE '(1)' y '(2)' RefIeran A EjemplAres. ASı, (1) = CáStOr = pÓluX = (2). Por tanTO, (c) ES
 = τ (Pólux). Cuando no in dicamos ex plıci tam ent ea qu é mo mentos en la e x iste ncia de Cástor y Pólux  hace mo s  ref e re ncia,  se ent i en d e  qu eno s r ef e ri mos a  un o cualq uiera en q uelo  que decimos es  verdadero , p or ejemplo,almoment oini c ial d e s us ex istenc i as. (C onfıo enqu e  el me c anismod e  i mpre sión que ha produ c id o  el ejemplar q ue elle c to r tie neen sus man os  no m e  haya j u ga d o lam ala pasada de  añadirleso  qu itarle smar c as suf icien te s  co mo para pro voca r que eje mplifi q uen dif e rentestipos. ) A hor a bi e n,  e n e st a  in t er pre t aci ón tomad aal  piede l a l e tra,  (a ) ca recede sentido. U n t ipoe s u na en tidad  abs tr acta;  las e ntida de s abstractas so n lo  que son,  no  p ued en  "con v ertirs e"ennada ot ro "pon i énd ol e s "  c omillas.4 Como (a)  4 D ig o que es to esa sı  " t omado (a )alpied e  la l etra "  p orque ca be 50p re su pone lo  c ontrar io , o  bi en no pode mos as ignarleun va l or de verdad,o  bien es fals o ,s e gú n  cuá l s ea la mejor  teo r ıa d e la s  p res u posic iones  f a ll i das. ((a) es inapro pi ado de l mis mo modo que l o es 'el n ú m e ro 2 llo ra'd ic h o en un contex to en  que no se piensa q ue un  númerosea un se r animadosus cep tib led e  l lorar o no ll o r ar.)  E n cuant o a  (b), s i l o e nte nde mo s del mod o más na tu ra l,  e s d ecir, presupon ie ndo  l o m ismoq ue (a) , esigua lm en t e i napropi a do . Si p or  o trolad olo en tend e mos  negand o precisa men t e qu esi quierasea conceptua lm ente posib le  co nverti r (1) en n ada otro, justamente po r que esuna  enti dadabstracta , s erıa v erd a dero.Segund a sol uc ión . La ve r d ad  de  ( a) y la de ( b)-éste  e n su  interp retación más natur a l-requieren que  '( 1)'y '( 2)' re f ier an a e j e mplares. Ası, ( 1) = Cásto r =Pólux = (2 ) . P or  tanto,  (c) es 
 =_τ (Pólux)._Cuando no indicamos explıcitamente_a qué_momentos_en la_existencia_de Cástor y_Pólux hacemos referencia,_se entiende que nos_referimos a uno_cualquiera_en que lo que decimos es verdadero, por ejemplo, al momento inicial de sus_existencias._(Confıo en_que_el_mecanismo de impresión que ha_producido el ejemplar que el_lector tiene_en sus manos no me haya jugado la_mala_pasada de añadirles_o quitarles marcas suficientes como para provocar que ejemplifiquen_diferentes tipos.) Ahora bien, en esta_interpretación tomada al_pie_de_la letra, (a) carece_de sentido. Un tipo es una_entidad abstracta; las entidades abstractas son_lo que son, no pueden "convertirse" en_nada otro "poniéndoles" comillas.4 Como (a)_4 Digo que esto es_ası "tomado_(a) al pie de la_letra" porque cabe_50 presupone_lo contrario, o_bien no podemos asignarle un valor_de verdad, o_bien es falso, según cuál sea_la_mejor teorıa de_las_presuposiciones_fallidas. ((a)_es inapropiado del_mismo_modo que_lo_es 'el número 2 llora' dicho_en_un contexto en que no se piensa_que un número sea_un_ser animado susceptible de_llorar o no llorar.) En_cuanto a (b), si lo entendemos_del modo_más natural,_es decir, presuponiendo lo mismo que (a), es igualmente inapropiado. Si_por otro lado lo entendemos negando_precisamente que siquiera sea_conceptualmente posible_convertir_(1) en nada_otro,_justamente porque_es una entidad abstracta, serıa verdadero. Segunda_solución. La_verdad de (a) y la de_(b) -éste en su_interpretación_más natural- requieren que '(1)' y_'(2)' refieran a ejemplares. Ası, (1)_= Cástor = Pólux =_(2)._Por_tanto, (c) es