Acciones y Prácticas en Filosofía de la Lógica y Filosofía de la Práctica Matemática

Nuestro propósito, por una parte, es configurar nociones de acción que se adapten mejor a aplicaciones tales como la modelación de la semántica de juicios evaluativos en base a oraciones imperativas, como así también al estudio de contextos argumentativos enfocados desde la teoría de la prueba, en la cual se incorpora la idea de una acción de probar, que complementa una visión estática más tradicional de las pruebas o demostraciones como objetos. Encuadraremos esto último en el enfoque de la lógica de la justificación epistémica, que resulta aquí particularmente relevante desde un punto de vista filosófico (Artemov 2008). Un tema más a abarcar desde esta perspectiva es la consideración de acciones y preferencias sobre la base de la integración de la teoría stit (see to it that logic) en lógica de la acción con la lógica de la preferencia de von Wright. (Cfr. Liu, 2009)). Por otra parte, buscamos profundizar la perspectiva dinámica en el tratamiento de cuestiones lógico-matemáticas, estudiando la combinación con la acción en torno a consideraciones formales que surgen en la práctica matemática. Proponemos considerar, en particular, la interacción entre cuestiones lógicas de justificación epistémica y resolución de problemas formales partiendo de la relación entre justificación epistémica otorgada por la prueba a modo de validación de los resultados y la resolución de problemas matemáticos. En cuanto al estudio de casos seleccionados, se abordará la dinámica del razonamiento lógico-matemático en sus diversas etapas según Peirce; en ejemplos de la práctica matemática de Leibniz y desde la perspectiva de la investigación axiomática de Hilbert.

Palabras Clave

Cronología