Luis Estrada González
Antes de incorporarse al Instituto como Investigador Asociado C, era investigador junior Mobilitas en el Departamento de Filosofía de la Universidad de Tartu (Estonia). Obtuve el Doctorado en Filosofía Contemporánea en la Universidad Autónoma del Estado de Morelos, la Maestría en Filosofía de la Ciencia en la UNAM y la Licenciatura en Filosofía en la Benemérita Universidad Autónoma de Puebla.
Sus áreas principales de investigación se enfocan en filosofía de la lógica, donde estudio especialmente los problemas de la logicidad, de teorías generales de la(s) lógica(s) y de criterios de constancia lógica. De vez en cuando también explora las implicaciones de esas discusiones en metafísica y en las filosofías del lenguaje y de la matemática.
Luis Estrada González
Las lógicas en el Plan de Bochum
Luis Estrada González
En esta plática presentaré los aspectos básicos del Plan de Bochum. Éste es una teoría general de las lógicas basada en una semántica modelo teórica similar a la semántica bivaluada pero no veritativo funcional para la lógica FDE, en la que las fórmulas pueden ser sólo verdaderas, sólo falsas, tanto verdaderas como falsa o ni verdaderas ni falsas. Esto implica que para dar una evaluación completa de una fórmula sea necesario dar tanto sus condiciones de verdad como sus condiciones de falsedad, ninguna de las dos es redundante. Después de dar los detalles necesarios de este tipo de semántica, mostraré cómo pueden obtenerse diversas lógicas no clásicas retocando las condiciones de evaluación ---y en particular, las de falsedad--- para algunas conectivas. De haber tiempo, esbozaré algunas implicaciones del Plan de Bochum para el debate acerca del significado de las conectivas lógicas.