Una introducción a la Lógica de Términos

Ponente(s): Darío Abundis Mendívil

Desde finales de los años sesenta, Fred Sommers emprendió un proyecto para recuperar las lógicas tradicionales, con el objetivo de acercar nuevamente las inferencias formales al modo en que razonamos en el lenguaje natural. Inspirado más en la tradición aristotélica que en la fregeana, Sommers desarrolló un álgebra de términos que formaliza las relaciones inferenciales entre conceptos sin recurrir al análisis proposicional. El resultado de este trabajo fue la Term Functor Logic (TFL), un sistema lógico alternativo que permite expresar inferencias de manera más cercana a las estructuras del pensamiento ordinario. En esta plática se ofrecerá una introducción general a la lógica de términos, sus fundamentos, motivaciones y algunas de sus aplicaciones.