Materiales textuales teóricos y prácticos para la enseñanza de la Lógica y sus aplicaciones.

El proyecto se realiza en la Universidad de Salamanca, con la participación de los profesores de Lógica del Departamento de Filosofía, F. Salto, J.M. Méndez y M. Manzan. Adicionalmente, han participado E. Marchoini (Universidad de Parma), Carlos E. Caori (Universidad de la República Montevideo) y Manuel Liz (Universidad de la Laguna). El objetivo del proyecto es la producción de materiales informáticos y textuales para el apoyo a la enseñanza de la Lógica y sus aplicaciones se han producido los materiales siguientes: 1. Programa informático de verificación de matrices. 2. Texto 'Verdad y reconividad' 3. Texto 'De una teoría del lenguaje a una teoría de la acción intencional. Una introducción a la filosofía de D. Davidson'. 4. Texto 'La vida mental de algunos mozos de materia. Teorías de la sobrevenienza'.