Introduccion a Las Logicas No Clasicas

Lorenzo Peña

INTRODUCCIÓN A LAS LÓGICAS NO CLÁSICAS México: UNAM, 1993 ISBN 968-36-3451-6.

Lorenzo Peña

INTRODUCCIÓN A LAS LÓGICAS NO CLÁSICAS México: UNAM, 1993 ISBN 968-36-3451-6.

A mi apreciado colega, el Profesor Emilio Terzaga, erzaga, en testimonio de estima y amistad

Sumario Prólogo

001

Sumario Prólogo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 001 Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 005 1.— ¿Qué tan justificable es el monopolio docente de la lógica clásica? 2.— Noción de verdad lógica 3.— El carácter logográfico de las notaciones lógicas 4.— Prerrequisitos para la lectura del presente opúsculo Capítulo 1. Notaciones, paréntesis, puntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 013 Esquemas y functores Paréntesis y puntos Capítulo 2. Noción de dominio de valores de verdad . . . . . . . . . . . . . . . . . . . . . . . . . 017 Noción de valor de verdad Valores designados, valores antidesignados Relaciones de orden en un dominio de valores de verdad Lógicas escalares y lógicas tensoriales Capítulo 3. Noción de tautología . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 020 Lógica bivalente Lista de algunas tautologías ¿Cómo calcular las tautologías de una lógica tensorial? Capítulo 4. Estudio de varios functores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 025 Functores de afirmación Functores de negación Functores de conyunción Functores de disyunción Functores condicionales Functores bicondicionales y equivalenciales Sobreimplicaciones Escolio al Capítulo 4. Aplicaciones a la formalización de enunciados en lenguaje natural Capítulo 5. Ventajas de la lógica infinivalente como lógica de lo difuso . . . . . . . . . . . . 033 Matices Reales e hiperreales El sistema Ar  Asignaciones de valores de verdad El sistema Ap  Valuaciones de Ap  Relaciones entre Ap  y Ar  La lógica Abp  Capítulo 6. Noción de teoría, clasificación sintáctica y semántica de las teorías . . . . . 042 Reglas de inferencia Cierre de un cúmulo con respecto a una relación Reglas de formación Noción de teoría

Teorías axiomatizadas Teorías inconsistentes