La lógica como rama de la matemática
Una postura más reciente sobre lógica es la llamada lógica universal, que concibe esta disciplina como una rama autónoma de la matemática, ** tratando de obtener resultados universales que relacionen sistemas lógicos particulares.
Para Jean-Yves Béziau, profesor e investigador del Instituto de Lógica de la Universidad de Neuchâtel, Suiza, son dos los tipos de problemas más importantes acerca de la lógica:
-
• Filosóficos: ¿Hay alguna unidad en la multiplicidad de sistemas lógicos? ¿Por qué en filosofía de la lógica, a pesar de haber mucha formalización, no hay rigor conceptual acerca de las nociones centrales del asunto? 5
• Prácticos: ¿Puede unificarse la ingente cantidad de lógicas que hay en la actualidad? ¿Existen maneras generales de traducir lógicas; cuándo podría decirse que dos sistemas son la misma lógica?
Responder las preguntas prácticas tendría una gran importancia. Por ejemplo, se evitaría desarrollar una lógica que ya se ha estudiado, podría haber medios universales para traducir una lógica a otra, se podría encontrar más fácilmente la lógica adecuada para la situación adecuada y –quizá lo más importante para Béziau– podría darse una respuesta satisfactoria a la pregunta ¿qué es la lógica?
Continúa...
Inicio
La concepción epistémico-lingüística de la lógica
Una pregunta para la lógica universal
Referencias
|
