English version  |  Durante el ya concluso semestre del invierno austral, el Grupo de Lógica y Teoría de la Ciencia de La Universidade Federal de Santa Catarina (Brasil) invitó a Francisco Salto para llevar a cabo una cooperación científica en paraconsistencia. El trabajo conjunto fue desarrollado particularmente en colaboración con Decio Krause y el profesor Newton da Costa, distinguido matemático y fundador de la lógica paraconsistente. En la investigación desarrollada por Francisco junto a sus colegas brasileños, tuvo la ocasión de avanzar notablemente su trabajo previo en identidad numérica. Además de la investigación, el programa se complementaba con actividades docentes en las que Francisco impartió un seminario sobre identidad, participó en el encuentro Austral sobre lógica y filosofía de la física y en la conferencia anual de la asociación brasileira de lógica.

En lo que atañe a una comprensión de nuestra realidad más elemental, las lecciones del profesor da Costa durante su estancia en Santa Catarina le resultaron particularmente reveladoras. La axiomatización de las distintas mecánicas (clásica, relativista, cuántica) pone al descubierto problemas lógicos y metamatemáticos de gran interés. Al mismo tiempo, las numerosas interpretaciones de las teorías cuánticas vigentes conllevan implicaciones y problemas muy diversos de índole lógica y espacio-temporal. Entre estos problemas se encuentra la posibilidad de lograr una verdadera comprensión interdisciplinar –como en el caso de la información– cuando se da una clara divergencia conceptual ya en el nivel de la realidad más elemental.

Trabajos en curso junto a Decio Krause y otros colegas son algunas de las substanciaciones de la fructífera estancia de Francisco en Santa Catarina.