La nota se refiere al trabajo de Schröder. Le agradeceria si alguien puede explicar ideas de Schroder y me sobra alguna lectura dura.
Respuesta
¿Demasiados anuncios?
Schröder dice en su libro que esta fórmula se ve paradoja en la primera vista, ya que hay una conclusión $r$ sobre el lado derecho, mientras que $r$ no se produce en el lado izquierdo de la fórmula. Lo raro es que la premisa en el lado izquierdo no sabe nada acerca de la declaración de $r$.
Más literalmente: Muy paradójico a primera vista, el universal par de fórmulas del cálculo proposicional:
- $(a ⊆ b) ⊆ (c ⊆ a)$
- $(a ⊆ b) ⊆ (b ⊆ c)$
Paradoja porque la declaración de $c$, más que la conclusión a la derecha se informó en la izquierda de la premisa de no producirse, por lo tanto, no contienen ninguna información sobre esa declaración, mientras que es, no obstante, derecho a deducir de la declaración de la mano izquierda para referirse a la mano derecha "deductivo". (http://www.deutschestextarchiv.de/book/view/schroeder_logik0201_1891?p=294)
