La lógica: su objeto y clasificación. Falacias no formales. Falacias de atingencia y ambigüedad.

Lógica del concepto: cualidades escenciales y accidentales. Comprensión y extensión de los conceptos. Clasificación. Definición por género próximo y literancia específica. Lógica del juicio. Clasificación por cantidad, cualidad, modalidad y relación. Los juicios categóricos de forma típica.

La lógica del razonamiento: forma y contenido. Tipos de razonamiento: validez e invalidez. El tratamiento clásico de razonamiento deductivo: las influencias inmediatas. Cuadro tradicional de exposición.

El silogismo categórico: modo y figura. Reglas , formas válidas y especiales.

La lógica proposicional. Proposiciones atómicas y moleculares. Las conectivas extensionales. Tablas de verdad. Las leyes de la lógica proposicional, decisión de razonamientos por tablas de verdad. Prueba formal de validez e invalidez para razonamientos extensos.

Lógica de funciones: concepto de función proposicional. Leyes de equivalencia entre la cuantificación universal y la extensional. Distribución de cuantificadores. Simbolización de las proposiciones categóricas clásicas. Interpretación moderna del cuadro de oposición. Predicadores monádicos y poliádicos. Relaciones binarias. Dominio, codominio y campo. Propiedades.

Lógica de clases. Operaciones entre clases. Clase universal y clase nula. Diagramación. Relaciones entre clases. Inclusión y pertenencia. Diagramas de Venn. Resolución de silogismos categóricos. Leyes del cálculo de clases. Relación entre lógica, matemática y computación. El Álgebra de Boole.