Lógica Matemática – José Ferrater Mora, Hugues Leblanc – 2da Edición

1 Naturaleza de la Lógica
2 Lenguaje y Metalenguaje
3 Semiótica
4 Logica deductiva y Logica Inductiva
5 El Formalismo en la Logica

II Logica Sentencial
6 Juicio, Proposición y Sentencia
7 Conectivas
8 Tablas de Verdad
9 Tautologías. Leyes de la Logica Sentencial
10 La Prueba en la Logica Sentencial
11 Calculo Sentencial
12 Logicas Polivalentes
13 Logicas Modales

III Logica Cuantificacional
14 Argumento y Predicado
15 los Cuantificadores "Todos" y "Algunos"
16 Leyes de la Logica Cuantificacional
17 La Prueba en la Lógica Cuantificacional
18 Calculo Cuanfificacional
19 La deducción Natural

IV Logica de La Identidad
20 El Signo de Identidad
21 Leyes de la Logica de La Identidad
22 Cuantificadores Numericos
23 Descripciones

V Logica de las Clases
24 La Noción de las Clases
25 Nociones del Algebra de Clases
26 Representación Grafica de las Clases
27 El Silogismo en el Algebra de Clases

VI Logica de las Relaciones
29 La Nocion de Relación
30 Nociones del Algebra de Relaciones
31 Leyes del Algebra de Relaciones
32 Converso, Producto Relativo E Imagen
33 Propiedades de las Relaciones
34 Funciones

VII Logica Cuantificacional Superior
35 La Ampliación del Lenguaje Logico
36 Las Paradojas Lógicas
37 Soluciones A las Paradojas Lógicas
38 Teoría Intensional de los Tipos
39 Teoria Extensional de los Tipos
40 las Paradojas Metalógicas

VIII Metalógica
41 Sintaxis
42 Algunos Resultados en Sintaxis
43 La Aritmetización Godeliana de La Sintaxis
44 El Concepto de designación
45 La Controversia Sobre las Entidades Abstractas
46 Los Conceptos de Validez y de Verdad
47 Pragmatica
Bibliografía