C: Sobre el principio de identidad

Enrique Arias Valencia

Ahora se me ocurre algo muy perverso:

Sea C una proposición.

C = "Esta proposición es el gato de Schrödinger vive o muere si y sólo si a la derecha de esta proposición hay un signo de igualdad".

¿Es C contradictoria? ¿Existe C? Ahí está.

C = C

Luego:

"Esta proposición es el gato de Schrödinger vive o muere si y sólo si a la derecha de esta proposición hay un signo de igualdad" = "Esta proposición es el gato de Schrödinger vive o muere si y sólo si a la derecha de esta proposición hay un signo de igualdad".

Desde un punto de vista meramente formal (sea esto lo que sea que signifique) ¿qué sucede con el gato de Schrödinger en la segunda proposición?