Biblioteca "Prof. Dr. Antonio M. Grompone"
A partir de esta página puede:
Información del autor
Documentos disponibles escritos por este autor
Refinar búsqueda
/ Evandro Agazzi (1986)
Título : | La lógica simbólica | Tipo de documento: | texto impreso | Autores: | Evandro Agazzi, Autor | Editorial: | Barcelona : Herder | Fecha de publicación: | 1986 | Número de páginas: | 355 p. | ISBN/ISSN/DL: | 978-84-254-0130-5 | Idioma : | Español (spa) | Clasificación: | [Palabras claves]LÓGICA MATEMÁTICA [Palabras claves]LÓGICA SIMBÓLICA
| 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. |
La lógica simbólica [texto impreso] / Evandro Agazzi, Autor . - Barcelona : Herder, 1986 . - 355 p. ISBN : 978-84-254-0130-5 Idioma : Español ( spa) Clasificación: | [Palabras claves]LÓGICA MATEMÁTICA [Palabras claves]LÓGICA SIMBÓLICA
| 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. |
| |
Reserva
Reservar este documento
Ejemplares
Estado |
---|
53552 | 160 AGAl | 1 día | Colección general | Libros | Domicilio Disponible | |
53553 | 160 AGAl c. 2 | 7 días | Colección general | Libros | Domicilio Disponible | |
53554 | 160 AGAl c. 3 | 7 días | Colección general | Libros | Domicilio Disponible | |
53555 | 160 AGAl c. 4 | 7 días | Colección general | Libros | Domicilio Disponible | |