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. Incluimos además software educativo, una selección de enlaces y un glosario. Hay una zona con el rótulo de grupos de trabajo, especialmente diseñada para alumnos.
Es nuestra intención publicar anualmente en un CD-Rom los textos de nuestra biblioteca digital (La primera edición se hizo en Abril de 2004. Ediciones Universidad de Salamanca. Colección Unimedia. ISBN: 84-7800-627-3), que esperamos ir completando con aportaciones propias y con colaboraciones de otros lógicos. Estas notas las hemos escrito para animaros a participar enviando vuestros trabajos a la Summa en donde, tras un proceso de revisión, serán publicados digitalmente.
Dentro de la lógica se distinguen tres grandes ramas y una externa que abarca los estudios sobre ella.

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.

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.

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.

Agradecimientos. Nuestra primera deuda de gratitud es con Iván M. Poza que programó la página http://logicae.usal.es de manera que el mantenimiento de la misma sea automático. Todo el material recopilado es el resultado de la prolongada docencia en Universidades de Europa y América de los integrantes de los proyectos que a continuación relaciono, que les ha movido a redactar libros de texto, notas de clase, ejercicios, transparencias y material diverso de apoyo a la docencia universitaria (1º, 2º y 3º ciclo).

Proyecto C@lculus, financiado por MCyT. Ref.: BFF2003-08998
Proyecto Summa Logicae en el Siglo XXI, financiado por MCyT. Ref.: BFF2000-1273
Del proyecto TOOLS FOR TEACHING. Es este 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/.
Del proyecto Lógica, Lenguaje e Informática, financiado por la Junta de Castilla y León. Ref: SA14/99. Este proyecto nos ha permitido desarrollar muchos de los programas informáticos que se han incluido en esta página.
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 nuestros alumnos de informática, a los que les agradecemos el trabajo realizado.

María Manzano. Gustavo Santos. Belén Pérez Lancho. José Meseguer.
Enrique Alonso. Huberto Marraud.
Antonia Huertas. Dick de Jongh. Giovanna D’Agostino. Alberto Policriti.