Una de las funciones que se atribuye a los formalismos lógicos en contextos filosóficos consiste en volver transparente la (in)validez de argumentos del lenguaje natural. Esta aplicación de la lógica matemática a la evaluación de argumentos del lenguaje natural involucra un proceso de formalización, i.e. la asignación de fórmulas de los lenguajes de la lógica a las oraciones que componen esos argumentos. Algunas de las teorías de la formalización pretenden proporcionar criterios para determinar si una fórmula lógica es una formalización adecuada de una oración del lenguaje natural y conciben la justificación de una formalización mediante estos criterios como un proceso que involucra un equilibrio reflexivo entre juicios intuitivos de (in)validez y reglas lógicas. En este trabajo examinaremos los argumentos que se han presentado en la literatura para sostener que esta teoría de la formalización lógica resulta insatisfactoria porque genera una paradoja de la justificación.
Información general
Fecha de exposición:agosto 2017
Fecha de publicación:2017
Idioma del documento:Español
Evento:XI Jornadas de Investigación en Filosofía (Ensenada, Argentina, 8 al 11 de agosto de 2017)
Institución de origen:Facultad de Humanidades y Ciencias de la Educación
Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)