2 research outputs found
Filosofía asistida por computadora
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