Lógica simbólica

No se puede entender el proyecto del W3C sobre la Web Semántica sin entender algo de lógica puesto que la Web Semántica descansa, entre otras cosas, sobre la aplicación de la lógica simbólica a la representación de la información, por ejemplo, a la descripción mediante metadatos de recursos digitales. La cuestión es que existen muy buenos manuales de lógica simbólica en castellano, como el delicioso tratado de Alfredo Deaño continuamente reeditado por Alianza, pero hay muy  pocos que apliquen la lógica al terreno de la informática (Deaño lo hubiera hecho sin duda de haber llegado a conocer Internet). El libro que ahora nos ocupa es del año 2004, aunque yo lo he descubierto ahora ya que al parecer acaba de ser reimpreso. Me refiero al libro de Julián Iranzo dedicado a explicar los fundamentos de la lógica simbólica. Estamos por tanto delante del "clásico" tratado sobre sobre lógica pensado para principiantes que toca los temas habituales, principalmente sendas introducciones a la lógica de proposiciones y a la lógica de predicados, pero como hemos dicho con la novedad  de vincular estos temas cada vez que resulta relevante con el  mundo de la informática. Además tiene un anexo con una eficaz explicación (apta para no matemáticos, como es mi caso) de los fundamentos matemáticos  que dan soporte a la lógica y que resulta de gran utilidad.

La referencia: Julián Iranzo. Lógica Simbólica para Informáticos. Madrid: Ra-Ma, 2004 (84-7897-619-1).