(S) Si el día de ayer fuera mañana, hoy sería viernes.
Pregunta: ¿Qué día es hoy?
Este parece ser un viejo rompecabezas, y dependiendo de las interpretaciones, las respuestas son el miércoles o el domingo (¿o quizás también el viernes?). Me gustaría entender la lógica necesaria para analizar y responder a la pregunta anterior.
A continuación, intento formalizar el análisis. Por favor, hágame saber si (y dónde) me equivoco.
Modelo
Que el actual "hoy" sea $t$ por lo que "ayer" en el antecedente de (S) es $t-1$ y "mañana" en el antecedente es $t+1$ .
Dejemos que $D(\tau)$ denotan el día de la semana de la fecha $\tau$ .
El subjuntivo "hoy" en el consecuente de (S) puede formalizarse de dos maneras: como (i) "el ayer del mañana", o (ii) "el mañana del ayer". Las dos interpretaciones conducen, pues, a dos formas de traducir (S) : $$(t-1)=(t+1) \quad\Rightarrow\quad D(t+1)-1=\text{Friday}\tag{1}$$ $$(t-1)=(t+1) \quad\Rightarrow\quad D(t-1)+1=\text{Friday}\tag{2}$$
Desde $(1)$ tenemos $D(t-1)=\text{Saturday}\Rightarrow D(t)=\text{Sunday}$ .
Desde $(2)$ tenemos $D(t+1)=\text{Thursday}\Rightarrow D(t)=\text{Wednesday}$ .
Pero ambas interpretaciones también parecen sugerir el viernes como solución, lo cual es inverosímil (¿?) e indica que el modelo que he propuesto tiene fallos.
¿Qué es lo que falla y cómo podemos mejorar el modelo?
