Inicio
  • Español
  • English

    Estás aquí

Lógica

En la lógica actual confluyen intuiciones filosóficas profundas con métodos matemáticos estrictos. Además, se entiende que la lógica es hoy en día el fundamento de la informática. Figuras señeras de la lógica son Gödel y Turing, a los que en 1999 la revista Time destacó, junto a Wittgenstein, entre los 20 intelectuales más influyentes del siglo XX.

La lógica es genuinamente interdisciplinar, pues en ella se funden planteamientos de investigación pura, filosóficos y matemáticos, con otros de naturaleza aplicada, tanto a la lingüística como a la informática, a la industria y a la ingeniería.

Dentro del área de Lógica y Filosofía de la Ciencia, la lógica sirve de punto de encuentro entre la filosofía de la ciencia y la del lenguaje.

Pero, ¿Qué es esa cosa llamada Lógica?

En el campo de la lógica se articulan una enorme variedad de  temas de estudio, como puede verse en nuestra biblioteca digital Summa Logicae

  • En la rama que denominamos de Fundamentos o Lógica Matemática se distinguen al menos cuatro grandes ramas: Teoría de Conjuntos, Teoría de Modelos, Teoría de la Demostración y Teoría de la Recursión.
  • En la rama denominada Sistemas Lógicos se estudian los múltiples lenguajes lógicos que a lo largo del último siglo se han ido desarrollando para  dar cuenta de la problemática planteada en contextos donde el lenguaje de la lógica clásica no es suficientemente flexible.
  • En la rama de Filosofía de la Lógica se plantean cuestiones tales como ¿qué es un sistema lógico?, ¿qué son las constantes lógicas?, ¿hay un sistema lógico universal?
  • En la rama de Estudios sobre la Lógica tienen cabida los históricos y también los relacionados con la Pedagogía de esta disciplina.

 

En el año 2006, la revista AZAFEA,  de la Facultad de Filosofía de Salamanca, publicó Adiós a la soledad, modas dinámicas de la lógica actual, un artículo de divulgación en el que Johan van Benthem presenta el panorama actual sobre nuestra disciplina:

"Retornando al modelo dialógico del discurso racional de la antigüedad, describimos la lógica como el estudio del flujo general de la información: inferencia, observación y comunicación. Mostramos cómo esta perspectiva aúna ideas de la lógica estándar, la filosofía, la lingüística, la informática y la teoría de juegos."

Equipos de Investigación: 

Episteme (USC)

Investigadores: De Donato Rodríguez, X, Falguera López,J.L, Martínez Vidal, M.C., Rivas Monroy,M.E. y Saguillo Fernández‐VegaJ.M.

Temas que abarca:

  • Filosofía de la Ciencia

  • Filosofía del Lenguaje y de la mente,

  • Argumentación y Lógica

Lógica (USAL,UOC, Universidad de Aveiro (Portugal), Universidad de Córdoba (Argentina), Roskilde (Dinamarca)

Investigadores: María Manzano, Antonia Huertas, Manuel Martins, Patrick Blackburn, Carlos Areces, Luis Urtubey, Klaus Frovin Joergensen

  • Lógicas no Clásicas: Lógica Híbrida, Lógica Intensional, Lógica Ecuacional, Lógicas Modales, Temporales  y Dinámicas.
  • Lógica Clásica: Teoría de Modelos, Teoría de Tipos, Lógica de Segundo Orden, Lógica Heterogénea, Teoría de Tipos Proposicionales.
  • Historia de la Lógica: Leon Henkin, Alonzo Church, Lógica en Iberoamérica
  • Filosofía de la Lógica: Nociones de Completud, Intensionalidad, Nominalismo, Igualdad e Identidad.
  • Aplicaciones de la lógica: Lógicas para la Red Semántica, Lógicas Descriptivas, Lógica con diagramas y juegos lógicos
  • Herramientas para la Enseñanza de la Lógica: Pedagogía de la Lógica, Implementación informática.