Lógica simbólica.

1. La lógica y el lenguaje
1.1. ¿Qué es la lógica?
1.2. La naturaleza y el argumento
1.3. Verdad y validez
1.4. Lógica simbólica
2. Argumentos que contienen enunciados compuestos
2.1. Enunciados simples y compuestos
2.2. Enunciados condicionales
2.3. Formas de argumentos y tablas de verdad
2.4. Formas senténciales
3. El método de deducción
3.1. Prueba formal de validez
3.2. La regla de reemplazo
3.3. Demostración de la invalidez
3.4. No completud de las diecinueve reglas
3.5. La regla de demostración condicional
3.6. La regla de demostración indirecta
3.7. Demostración de tautologías
3.8. La regla de la demostración condicional reforzada
3.9. Técnica de abreviada de tabla de verdad-método de reducción
4. Funciones proposicionales y cuantificadores
4.1. Proposiciones singulares y proposiciones generales
4.2. Demostración de validez: reglas preliminares de cuantificación
4.3. Demostración de invalidez
4.4. Proposiciones múltiplemente generales
4.5. Reglas de cuantificación
4.6. Verdades lógicas que involucran cuantificaciones
5. La lógica de la relaciones
5.1. Símbolos para las relaciones
5.2. Argumentos que involucran relaciones
5.3. Algunos atributos de las relaciones
5.4. Identidad y la descripción definida
5.5. Variables predicadas y atributos de atributos
6. Sistemas deductivos
6.1. Definición y deducción
6.2. La geometría euclidiana
6.3. Sistemas deductivos formales
6.4. Atributos de los sistemas deductivos formales
6.5. Sistemas logísticos
7. Un cálculo proposicional
7.1. Lenguaje objeto y metalenguaje
7.2. Símbolos primitivos y fórmulas bien formadas
7.3. Axiomas y demostraciones
7.4. Independencia de los axiomas
7.5. Desarrollo del cálculo
7.6. Completud deductiva
8. Sistemas y notaciones alternativos
8.1. Sistemas alternativos de lógica
8.2. El sistema de Hilbert-Ackermann
8.3. El uso de puntos como corchetes
8.4. Una notación sin paréntesis
8.5. Los operadores raya y daga
8.6. El sistema de Nicod
9. Un cálculo funcional de primer orden
9.1. El nuevo sistema logístico RS
9.2. Desarrollo de RS
9.3. Dualidad
9.4. RS1 y las técnicas de "deducción natural"
9.5. Formas normales
9.6. Completud de RS1
9.7. RS1, con identidad
--Apéndices.