Lógica simbólica /
La lógica simbólica es un instrumento que sirve de ayuda al ejercicio inteligente sel sentido común y a la práctica de la investigación científica y la reflexión filosófica. Forma parte del bagaje cultural del hombre del siglo XX, y el radi se sus aplicaciones comprende esferas tan diversas del sabe...
Autor principal: | |
---|---|
Formato: | Libro |
Lenguaje: | Spanish |
Edición: | 4ª edición |
Colección: | Serie de filosofía y ensayo
|
Materias: |
Tabla de Contenidos:
- ¿Que es la lógica?
- El lenguaje de la lógica
- Deducción y consecuencia
- Estratégias de deducción natural
- Tablas semánticas
- Cálculo de reglas derivadas
- Logica de predicados(calculo cuantificacional)
- Deducción cuantificacional
- Silogística
- Axiomatización de la lógica
- Automatización de la lógica(las bases logicas de la informatica)
- Lógica y representación del conocimiento
- La lógica de internet
- Breve historia de la logica.