Summa Logicae - Universidad de Salamanca
Summa Logicae
PRESENTACIÓN
Summa Logicae es el título que otorga Guillermo de Ockham a su obra, escrita durante la primera mitad del siglo XIV. Es también el de nuestra biblioteca digital, una obra de referencia para los estudiantes e investigadores de Lógica, especialmente los de habla española, claramente comprometida con la innovación y la sistematización de la tarea educativa.
Tools for Teaching Logic
En 1998 en la universidad de Salamanca creamos la red ARACNE https://aracne.usal.es/ y coordinamos el proyecto ALFA europeo, Tools for Teaching Logic. ALFA era un proyecto de innovación y sistematización de la tarea educativa cuyo tema era la Lógica, en el que participaron numerosos docentes e investigadores europeos e iberoamericanos. Al finalizar el proyecto creamos la biblioteca digital Summa Logicae (http://logicae.usal.es/). A lo largo del presente siglo se organizaron diversos congresos internacionales de enorme impacto con la denominación Tools for Teaching Logic.
Commission on Logic Education
En el año 2023, en la asamblea general de la Division of Logic, Methodology Philosophy of Science and Technology (https://dlmps.org/) se propuso la creación de la Commission on Logic Education (https://resources.illc.uva.nl/Commission-on-Logic-Education/).
La Comisión tiene una representación amplia en las áreas de conocimiento implicadas, así como geográficamente: Europa, Estados Unidos China, India y Latinoamérica. El objetivo está centrado en la enseñanza de la Lógica e intenta brindar apoyo y orientación para el desarrollo de métodos, materiales didácticos y otras herramientas, mediante la colaboración de los interesados en la Lógica. María Manzano pertenece al grupo promotor formado por una decena de docentes e investigadores.
RAMAS DE LA LÓGICA
FUNDAMENTOS
Esta división recoge los rudimentos y contenidos fundamentales de nuestra disciplina, se podría denominar también “Lógica matemática”, o simplemente, “Lógica”. Bajo esta categoría se engloban las siguientes subramas:
- Lógica Básica
- Teoría de la Demostración
- Teoría de Modelos
- Teoría de la Computación
- y Teoría de Conjuntos.
SISTEMAS LÓGICOS
Una buena parte de nuestra actividad investigadora consiste en diseñar sistemas lógicos de la más diversa índole. Tradicionalmente se denominaban lógicas no-clásicas, muchos de ellos pertenecerían a la clase de extensiones de la lógica clásica. Hemos preferido llamarlos simplemente “sistemas lógicos”. El número de colecciones, apartados y divisiones que aparecen en esta rama es tan inmenso que lo único que cabe hacer es presentar una lista que con el tiempo seguirá alargándose.
ESTUDIOS SOBRE LÓGICA
Este apartado contiene diversos estudios externos que versan sobre la lógica como disciplina:
- Historia de la Lógica
- Bibliografía
- Filosofía de la Lógica
- y Pedagogía de la Lógica.
APLICACIONES
Este apartado intenta cubrir las posibles aplicaciones de la Lógica, o de sistemas lógicos, a ámbitos distintos, tales como:
- la Informática
- la Lingüística
- la Economía
- o la Ciencia
ENSEÑANZA DE LA LÓGICA
Este apartado contiene material educativo compuesto por:
- Presentaciones
- Software
- Ejercicios:
- Lógica Modal
- Mafia
- Razonamientos
- Silogística Aventurera
AGRADECIMIENTOS
Nuestra primera deuda de gratitud es con Iván M. Poza quien programó la página original de la Summa Logicae. Actualmente agradecemos a la Universidad de Salamanca y al Instituto Universitario de Estudios sobre la Ciencia y la Tecnología el apoyo prestado para la actualización de la Summa Logicae.
Todo el material recopilado es el resultado de la prolongada docencia en Universidades de Europa y América de los integrantes de numerosos proyectos, tanto de investigación como docentes, que les ha movido a redactar libros de texto, notas de clase, ejercicios, presentaciones y material diverso de apoyo a la docencia. A continuación menciono los tres proyectos con los que iniciamos la Summa Logicae.
Proyecto Summa Logicae en el Siglo XXI,
financiado por MCyT. Ref.: BFF2000-1273
TOOLS FOR TEACHING
financiado por la Unión Europea. Se trata de un proyecto ALFA (América Latina Formación Académica) de innovación y sistematización de la tarea educativa cuyo tema es la LÓGICA. N. del contrato: ALR/B7011/94-6.0285.2. Puede encontrar información sobre él en http://aracne.usal.es/.
Proyecto Lógica, Lenguaje e Informática
financiado por la Junta de Castilla y León. Ref: SA14/99. Este proyecto nos permitió desarrollar muchos de los programas informáticos que se incluyeron en la Summa Logicae.
De la buena disposición de muchos investigadores de nuestra área de lógica que nos han enviado trabajos, gracias a todos ellos.
De los proyectos fin de carrera de algunos de nuestros alumnos de informática, a los que les agradecemos el trabajo realizado.
Enrique Alonso, Antonia Huertas, María Manzano, Andrei Moldovan y Belén Pérez Lancho.