- Cálculo proposicional Descripción: El sistema MIU, El sistema mg, Sistemas formales, La equivalencia, La negación, discrepancia, y false, Técnicas de demostración y La disyunción, La conjunción, Usando la Regla dorada, Usando lemas, La implicación, Prueba de teoremas en donde participa la implicación, La Regla de leibniz como axioma, Ejercicios.
- El Concepto Descripción: Introducción, Concepto, El Concepto de forma en el taller, La forma tomada como entidad abstracta.
- El Juicio Descripción: Definición, Elementos del juicio, Clasificación de los juicios, Formas típicas del juicio categórico, Relaciones lógicas entre los juicio, Bibliografía.
- El Razonamiento Descripción: Definición, Clases elementales del razonamiento, La inducción, La presunción, La deducción, Conclusiones.
- El Silogismo Descripción: Introducción, El Silogismo a través de La Historia, Aristóteles, Pedro Hispano, Leibniz, La Representación Diagramática: Euler y Venn, Bibliografía.
- Falacias Descripción: Concepto de falacias, Falacias no formales, Falacia ad hominem , Falacia ad baculum, Falacia ad verecundiam, Falacia ad populum, Falacia ad ignorantiam, Falacia Post hoc, Falacias formales, Afirmación del consecuente, Interactivo detecta falacias.
- Lógica formal Descripción: Lógica de enunciados, Lógica de Predicados, Aplicaciones interactivas
de lógica, Ejercicios, Juegos, Enviar correo.
- Pruebas de validez Descripción: Sentido epistemológico, Sentido lógico, Validez lógica, Prueba de validez de un argumento, Referencias.
|