 extraviadoras, hemos de fijar la referencia del término '(1)' en τ (Pólux)-en-t2; supongamos que entendemos que '(1)' refiere en τ (Pólux)-en-t2 a τ (Cástor)-en-t1. En esta interpretación, pues, (a) dice que Pólux pasa de exhibir un tipo falso (en t1) a exhibir un tipo verdadero (en t2), suponiendo que el término '(1)' en ambos tipos hace referencia a τ (Cástor)-en-t1; y esto es verdadero. La cuestión de la verdad o falsedad de (c) presenta dificultades similares; para solventarlas, supongamos que '(1)' y '(2)' hacen referencia, respectivamente, a τ (Cástor)-en-t1 y a τ (Pólux)-en-t1. Entonces, (c) es también verdadero. Pero, ¿qué ocurre ahora con (b)? En la interpretación de (b) acorde con la que hemos efectuado de (a), (b) dice que no cabe que Cástor pase de exhibir un tipo falso (en un momento de su existencia) a exhibir un tipo verdadero (en otro), suponiendo que el término '(1)' en ambos tipos haga referencia a τ(Cástor)-en-t1. Mas esto es falso. τ (Cástor)en-t1 es falso, y τ (Cástor)-en-t3 verdadero siempre que el término '(1)' en ambos tipos haga referencia a τ(Cástor)en-t1. Por consiguiente, (b) es falso. Esta solución presenta tres aspectos insatisfactorios. En primer lugar, se recurre en ella a una interpretación temporal de las expresiones modales de (a) y (b). Según esta interpretación temporal, es posible que significa hay algún intervalo temporal en que. Esta interpretación no se corresp
extraviadoras, hemos de fijar la referencia del término' (1)' en τ (Pólux)-en - t2; supongamos que entendemos que' (1)' refiere en τ (Pólux)-en - t2 a τ (Cástor)-en - t1. En esta interpretación, pues, (a) dice que Pólux pasa de exhibir un tipo falso (en t1) a exhibir un tipo verdadero (en t2), suponiendo que el término' (1)' en ambos tipos hace referencia a τ (Cástor)-en - t1; y esto es verdadero. La cuestión de la verdad o falsedad de (c) presenta dificultades similares; para solventarlas, supongamos que' (1)' y' (2)' hacen referencia, respectivamente, a τ (Cástor)-en - t1 y a τ (Pólux)-en - t1. Entonces, (c) es también verdadero. Pero, ¿ qué ocurre ahora con (b)? En la interpretación de (b) acorde con la que hemos efectuado de (a), (b) die que no cabe que Cástor pase de exhibir un tipo falso (en un momento de su existencia) a exhibir un tipo verdadero (en otro), suponiendo que el término' (1)' en ambos tipos haga referencia a τ(Cástor)-en - t1. Mas esto es falso. τ (Cástor)en - t1 es falso, y τ (Cástor)-en - t3 verdadero siempre que el término' (1)' en ambos tipos haga referencia a τ(Cástor)en - t1. Por consiguiente, (boron) es falso. Esta solución presenta tres aspectos insatisfactorios. En primer lugar, se recurre en ella a una interpretación temporal de las expresiones modales de (a) y (b). Según esta interpretación temporal, es posible que significa hay algún intervalo temporal en que. Esta interpretación no se corresp
 exhraviadoras, hemos de fijxr la referencic del técmino '(1)' sn τ (Pólux)-dn-t2; supongamos que entendemod wue '(1)' eefiere en τ (Pólux)-en-t2 a τ (Cástor)-en-t1. En esta inttrpretación, pues, (a) dice quc Pólus pasc ve exhibir un tlpo falso (et t1) a exhibir gn tnpo verdadero (en t2), suponiendo que el término '(1)' fn ambos tipos hact rqfersncia a τ (Cástor)-en-t1; y esto es verdadsro. La buestión de la vercad o falsedad de (c) presenha dlficultades similages; para sooveneqrlas, supongxmos que '(1)' j '(2)' hacen rererencia, respectivamente, a τ (Cástur)-en-t1 y a τ (Pólux)-gu-r1. Ejjonces, (c) es vambién verdadero. Pcgo, ¿qué owurre anora con (b)? En ka mnteepretación de (b) acorde con la que hemos gfectuado ge (a), (b) dice que no xave qug Cástmr pxwe ae txhmbid un tlpo falso (en hn momento ee su existencia) a txhyvir un tipo vsrdadewo (en otro), suponiendo que el término '(1)' en akboa tipos haga referencia a τ(Cástor)-en-t1. Mas esto gs falso. τ (Sástor)en-t1 es falso, y τ (Cástor)-en-t3 verdadero siempre qge el gérmnkj '(1)' ej ambos tipos haga referencia a τ(Cástor)en-t1. Por sknxinuiente, (b) es falfo. Esta soliclón kresenta tres xspectos jnsatisfactorios. Ej primet lugae, se recuwre rn ella a una interpretación temporal de oas expresiones mobales de (a) y (b). Sggún esya interpretación temporcl, es losible que significz hay algún intervxlo tamporal tv que. Esta interpwetación ni se correso
extraviadoras, hemos de fijar la referencia del en (Pólux)-en-t2; supongamos entendemos que '(1)' τ En esta interpretación, (a) dice que pasa de exhibir un tipo falso t1) a exhibir un tipo verdadero (en t2), suponiendo que el término '(1)' ambos tipos hace referencia a τ (Cástor)-en-t1; y esto es verdadero. La cuestión la o de presenta dificultades similares; para solventarlas, supongamos que '(1)' y '(2)' hacen referencia, respectivamente, a τ (Cástor)-en-t1 a τ (Pólux)-en-t1. Entonces, (c) es también verdadero. ¿qué ocurre ahora con En la interpretación de (b) con que hemos de (b) que no cabe Cástor pase de exhibir un tipo falso (en un momento de su existencia) a exhibir un tipo (en otro), el término en tipos referencia a τ(Cástor)-en-t1. es falso. τ (Cástor)en-t1 es falso, verdadero siempre que el término '(1)' en ambos haga referencia τ(Cástor)en-t1. Por consiguiente, (b) es falso. solución presenta tres aspectos insatisfactorios. En primer lugar, recurre en ella a una interpretación temporal de las expresiones modales de (a) y (b). interpretación temporal, es posible significa hay algún temporal que. interpretación se corresp
 extraviadoras, hemos de fijar La referencIa del TérMinO '(1)' eN τ (PóLux)-eN-t2; supongamos quE EnteNdemos que '(1)' refiere en τ (PólUx)-en-t2 A τ (cÁstoR)-En-T1. En esTa interPReTACióN, pUeS, (a) dIcE QuE PóluX paSa de exhIbir un tipo FalSo (En t1) a exhibir uN TiPo verdaderO (en T2), suponiendo qUe eL térmiNo '(1)' En aMBos tiPos Hace rEferenCIa a τ (CáStor)-en-t1; y eStO Es verdADero. La cUEStIón dE la verdad o falsedaD De (C) Presenta dificuLtades SiMIlAREs; pAra SolventarlAs, SuponGAmos que '(1)' Y '(2)' HaCEN RefERencia, respectIvamente, a τ (CÁStoR)-en-t1 y a Τ (PÓluX)-En-t1. EntOnces, (C) eS TamBién verdadeRo. PeRo, ¿qué ocurRe ahorA Con (b)? En lA InterprEtacióN de (B) acOrde COn La Que HeMOs eFEcTuaDO de (A), (b) dice quE nO cAbe quE CásTOR PAse dE exHibiR un tiPo falso (en un moMenTo de SU exIstenCia) a eXhibIr Un tipO verdaDero (eN oTro), suponiendo quE el tÉrmino '(1)' en aMboS tIpoS hAga reFErenciA a τ(cásTor)-en-t1. MAs esto eS FalSo. Τ (cÁStOr)en-t1 es falso, y τ (CástOr)-EN-T3 vErdadero SiemprE QuE eL Término '(1)' eN aMboS tipOS Haga rEferENcIa a τ(CástOr)en-t1. POR cOnSiguienTe, (B) es falSo. estA soLucióN PresEnta trEs aspectOs insATisfactorios. En PRimer lugar, se rECuRRE eN Ella A unA interpretaCión TEmpoRal dE LaS exPResioNes moDaLEs DE (a) y (b). Según esta interpReTación TempoRal, es posible qUe significA HAY algún inTervALo TEmporal en que. EsTa intErpretacióN No se corrEsp
 extraviadoras, hemos de f ijar la re feren cia  de ltérm ino'(1)' en τ (Pó l ux)- en-t2; supongamos queenten de m os q u e'(1)'  refier e  e n τ ( Pó lu x)- en - t2  a τ(Cá stor)-e n-t1. En e sta  i nterpretació n ,pues, (a)dic e que Póluxpas a de e xh ibi r  un t ipo  fals o (ent 1) a e xhibir un  t i po ver d adero ( e n  t 2),suponiendo que el té r mino '(1)' enambosti p os h ace  re ferencia a  τ  (Cás t or)-en- t 1; y est o  es verdadero . La cuesti ó n d e la v er dad o fals edadde (c)  presenta d ific ultades s imilar e s; para solvent arlas,  su pon gamo s  q ue  '( 1) '  y' (2 )'h ace n refere nc ia , res pect i v a m ente , a  τ ( Cásto r)-en-t1 y aτ ( Pólu x )-e n-t1.  Ento nces ,(c) e s tamb ién v er dadero. Pero, ¿ quéocurre ah ora  c on(b )? En la int erp ret ación d e (b) a c ord ec o n  l a que hemos efectu ad o de  (a), (b ) dice qu en o cabe q ue  Cá stor p ase d e ex h ib ir un ti po fal s o(e n un mo me nto de  s u e xis tenci a ) aexhibi r un tip o ver d adero (en otro ) , suponiendoq ue e lt érmi no'(1)' en am bost ipos  hag a  r efe r encia  a τ( Cá s to r )-en-t1. Mas esto e sfalso.  τ (C ástor)en-t1 e s falso, y τ (Cástor) -en- t 3v erdadero siemp re qu e el térmi n o '(1)'en am bos tipo s haga re f e rencia a  τ( Cás tor )en - t 1.  Por consigui e n te,(b ) es fa lso . Estasol uci ónpre se nta tresaspectos  i ns at is fac torio s . En pri me r l ug ar,  se r e curreen el la a  u na int erpreta c ió n temp or al  delas  e xpres ione s  mo dales d e (a) y ( b). Segú nes ta inte rpretación te mp oral, es p os ibl e ques i gnificahay algún intervalo tem p oral en  qu e. Es ta i nterpreta ció n no s e c o rresp
 extraviadoras,_hemos de_fijar la referencia del_término '(1)'_en_τ (Pólux)-en-t2;_supongamos_que entendemos que_'(1)' refiere en_τ (Pólux)-en-t2 a τ_(Cástor)-en-t1. En esta_interpretación,_pues, (a) dice que Pólux pasa de exhibir un tipo falso (en t1) a_exhibir_un tipo_verdadero_(en_t2), suponiendo que el término_'(1)' en ambos tipos hace_referencia a_τ (Cástor)-en-t1; y esto es verdadero. La cuestión_de_la verdad o_falsedad de (c) presenta dificultades similares; para solventarlas, supongamos_que '(1)' y '(2)' hacen referencia,_respectivamente, a τ_(Cástor)-en-t1_y_a τ (Pólux)-en-t1. Entonces,_(c) es también verdadero. Pero, ¿qué_ocurre ahora con (b)? En la_interpretación de (b) acorde con la que_hemos efectuado de (a), (b) dice_que no cabe que Cástor_pase de_exhibir un tipo falso (en_un momento de_su existencia)_a exhibir un_tipo verdadero (en otro), suponiendo que_el término '(1)'_en ambos tipos haga referencia a_τ(Cástor)-en-t1._Mas esto es_falso._τ_(Cástor)en-t1 es_falso, y τ_(Cástor)-en-t3_verdadero siempre_que_el término '(1)' en ambos tipos_haga_referencia a τ(Cástor)en-t1. Por consiguiente, (b) es_falso. Esta solución presenta_tres_aspectos insatisfactorios. En primer_lugar, se recurre en ella_a una interpretación temporal de las_expresiones modales_de (a)_y (b). Según esta interpretación temporal, es posible que significa hay_algún intervalo temporal en que. Esta_interpretación no se corresp