reseña del libro:
Paul Gochet y Pascal Gribomont, Logique, Vol 1: Méthodes pour l'informatique fondamentale. París: Hermes, 1990. Pp. 456
por Lorenzo Peña
Conjúganse en el libro la claridad y el recurso a un amplio abanico de técnicas lógicas, con énfasis en aquellas que permiten procedimientos de decisión, cuando y donde los mismos están disponibles, o bien --cuando no-- que permiten mecanizar hasta donde quepa la construcción de pruebas. A la vez, cada paso se explica con referencia al lenguaje natural y a motivaciones preteoréticas, con vistas a que el estudiante no saque la impresión de que la lógica es una disciplina artificial desligada del razonamiento efectivo. Añádense unas pinceladas históricas que ayudan a ubicar esos tratamientos en su transfondo.
El libro, por su vocación e índole, no se explaya en temas de filosofía de la lógica. Una de las ocasiones en que sí se pronuncia sobre un tema filosófico es en tres páginas de consideraciones sobre el cálculo de secuentes (pp. 168-70). Adhiérense los autores a la concepción de la lógica de Etchemendy: la lógica como metateoría de la inferencia y no como una teoría sobre un género de verdad.