|
Título:
|
La lógica simbólica
|
|
Autores:
|
Evandro Agazzi ;
J. Pérez Ballestar, Prefacio, etc
|
|
Tipo de documento:
|
texto impreso
|
|
Editorial:
|
Barcelona : Herder, 1967
|
|
Dimensiones:
|
355 p. / 22 cm.
|
|
Nota general:
|
Traducción y prólogo: J. Pérez Ballestar. -- Ej.3: 1986 (ISBN 84-254-0130-5).
|
|
Langues:
|
Español
|
|
Clasificación:
|
164 (Logística. Lógica simbólica. Lógica matemática. Cálculo lógico
)
|
|
Materias:
|
Filosofía
|
Lógica matemática
|
Lógica simbólica
|
Razonamiento
|
|
Nota de contenido:
|
Parte I. ÁMBITO Y CARACTERES DE LA INVESTIGACIÓN LÓGICA: 1. El problema del conocimiento mediato; 2. Las estructuras formales de la deducción. -- Parte II. MOMENTOS DE LA HISTORIA DE LA LÓGICA: 3. De la lógica a la lógica matemática; 4. El desarrollo del planteamiento simbólico; 5. El estado actual de las investigaciones lógicas. -- Parte III. EXPOSICIÓN DE SISTEMAS SIMBÓLICOS: 6. Introducción a los cálculos lógicos; 7. El cálculo proposicional o de enunciados; 8. El cálculo de predicados de primer orden. -- Parte IV. CUESTIONES METATEORÉTICAS: 9. Consistencia, completitud e independencia de un sistema axiomático; 10. La lógica y la verdad. -- Parte V. COMPLEMENTOS: 11. La deducción y el teorema de la deducción; 12. Alusiones a otros cálculos lógicos; 13. Consideración sintética de los puntos de vista alcanzados.
|
