WORLD LOGIC DAY

Diferentes simbolismos, ¿diferentes lógicas?

​Los lógicos, desde el comienzo, han usado expresiones que indican cierta formalización, usando, por ejemplo, letras para los términos comunes que aparecen en proposiciones categóricas. Así podemos decir “Todo A es B”, donde A y B representan términos comunes, cualquiera de ellos. En la lógica de proposiciones formulada por los megárico-estoicos también aparecen esas letras A y B unidas por conectivas, como en “si A entonces B”; en este caso las vocales no representan términos sino proposiciones. Pasaron siglos antes de que los lógicos desarrollaran lenguajes formalizados. Luego de algunos intentos, como la conceptografía de Frege, cobró forma una notación ideada por Peano y adoptada por Russell y condujo a un lenguaje formal muy utilizado por los lógicos, y la lógica fue llamada lógica “simbólica”. Sin embargo, ha habido algunas reacciones contra este lenguaje formalizado. La Lógica informal y otros movimientos rechazan el simbolismo, y tratan diferentes aspectos de la argumentación, como su aspecto dialógico. Otros lógicos, sin rechazar el formalismo, resaltan algunos problemas de la notación estándar (por ejemplo, la aplicación existencial) y proponen otros simbolismos detrás de los cuales podría haber concepciones diferentes de la lógica. En esta charla quiero comentar brevemente este problema.