Abstract

Se aplicó el asistente de prueba Tree Proof Generator (TPG) para determinar la corrección lógica de la primera vía tomista sobre la existencia de Dios, así como la corrección de algunas relaciones conceptuales en metafísica modal (necesidad y posibilidad), en epistemología (conocimiento) y en la formulación estructural del árbol de Porfirio. La investigación procura no solo abordar las tesis en cuestión desde el punto de vista computacional, sino que ofrece un marco reflexivo sobre tres condiciones necesarias para una filosofía asistida por computadora; en tal sentido, la investigación se compromete con la idea de que la filosofía es análisis conceptual y argumentación, que pensar filosóficamente no supone un privilegio epistémico o cognitivo y que se requiere de un lenguaje formalmente especificable para ‘hacer’ filosofía.