Angélica María Medina Olivares

• Correo electrónico
• YouTube

Áreas de investigación:

Epistemología, Lógica o filosofía de la lógica, Metafísica y ontología

Semblanza:

Angélica María Medina Olivares es maestra en Filosofía de las Matemáticas y Lógica de la Ciencia por el Posgrado en Filosofía de la Ciencia de la UNAM. Su investigación aborda la naturaleza de los objetos matemáticos desde una perspectiva abstraccionista, con especial interés en el neologicismo y el estructuralismo. Desde sus trabajos de grado, ha estudiado las propuestas de B. Hale y C. Wright y de F. Boccuni y J. Woods frente al problema de la conciliación semántico-epistémica. Actualmente explora cómo criterios neologicistas pueden orientar problemas contemporáneos en autoformalización matemática, verificación formal e Inteligencia Artificial.

Principales temas de trabajo:

• Filosofía de las matemáticas;
• Semántica y referencia matemática;
• Sutoformalización y verificación formal

.