- Adolfo García de la Sienra Guajardo, del Instituto de Filosofía, desarrolló estas herramientas como parte su proyecto de investigación “Lógica, metodología y filosofía de la ciencia”
- También el libro Los fundamentos lógicos del análisis no estándar, que será publicado en Suiza
Xalapa, Ver.- Producto de su proyecto de investigación “Lógica, metodología y filosofía de la ciencia”, Adolfo García de la Sienra Guajardo, adscrito al Instituto de Filosofía de la Universidad Veracruzana (UV), produjo las plataformas informáticas Lulio y Frege, que permitirán la demostración de teoremas de lógica de primer orden a estudiantes de la disciplina.
De la interrelación de las tres disciplinas, explicó que la filosofía de la ciencia se ha caracterizado por entender la estructura de las teorías científicas; su relación con la experiencia ha sido la temática central de la misma.
En tanto, la metodología ha consistido en formular lo que se llama reconstrucciones racionales de las teorías científicas mediante el uso de la lógica y la teoría de los conjuntos.
Lo anterior, con el propósito de tener una visión clara de su estructura y así plantear el tema de cómo se relacionan con la experiencia, dijo. Por ello es importante la lógica en la filosofía de la ciencia.
García de la Senra Gujardo se refirió también a otro producto de su investigación, el libro Los fundamentos lógicos del análisis no estándar, próximo a publicarse en inglés en Cham, Suiza; está dirigido a matemáticos, economistas y filósofos de la ciencia interesados en la ontología y la lógica de los números infinitesimales e infinitos.
Precisó que con su obra pretende alcanzar dos objetivos: proveer una cadena completa de demostraciones que lleven desde la teoría de las clases hasta los resultados principales del análisis no estándar, junto con algunas de sus aplicaciones a la teoría económica; el segundo, minimizar la longitud de la cadena restringiéndola a los eslabones estrictamente necesarios.
Con un lenguaje unificado, estándar en la teoría lógica, digerible para los filósofos y atractivo para los matemáticos y economistas, la novedad del libro es la organización y completud minimalista del tema, así como una fundamentación lógica de la economía no estándar, basada en el concepto de sistema social de Gerard Debreu.
“He procurado proveer demostraciones propias de los teoremas conocidos que sean más simples y consistentes con la notación adoptada”, expresó el investigador universitario, quien apuntó que la obra será traducida al español de manera conjunta por el Instituto de Filosofía de la UV, y el Instituto de Investigaciones Filosóficas de la Universidad Nacional Autónoma de México (UNAM).
Además de ser un texto de consulta, será también un libro de texto en facultades de Filosofía del país.
Otro producto derivado de su investigación es el artículo “Una representación de estructuras extensivas hiperarquimedianas”, el cual introduce magnitudes que pueden escalarse mediante hiperenteros positivos. Ejemplo de dichas magnitudes son los intervalos del continuo geométrico de Giuseppe Veronese.
José Luis Couttolenc Soto
Fotos: César Pisil Ramos y cortesía Adolfo García de la Sienra
Fuente: https://www.uv.mx/prensa/general/investigador-uv-creo-plataformas-para-demostrar-teoremas-de-logica/
