Introducción a las Lógicas No Clásicas
México: Servicio de publicaciones de la UNAM, 1993. Pp. 240.
ISBN 968-36-3451-6.
por Lorenzo Peña

Se introduce al lector a la lógica matemática desde el horizonte de un abanico de lógicas multivalentes. No se presupone el conocimiento de la lógica clásica, puesto que ésta viene aquí presentada como meramente una opción posible entre muchas otras.

Se explican: elementos de la notación simbólica; nociones de tautología y otras relacionadas; dominios de valores de verdad; functores del cálculo sentencial (como la conyunción, la disyunción, la implicación etc). Se pasa a ofrecer una lógica infinivalente de lo difuso. Luego se estudian varios temas de teoría de modelos: clasificación sintáctica y semántica de las teorías; principios de no contradicción y de tercio excluso; elementos de un sistema lógico deductivo; extensión tensorial; cálculo cuantificacional de primer orden; lógica combinatoria; y modelos algebraicos.

Esta obra es un desarrollo de apuntes inicialmente utilizados para la enseñanza de la lógica matemática a estudiantes de filosofía.

Acceder al texto completo (PDF)

volver a la lista de escritos de Lorenzo Peña