Download Lógica formal, lógica proposicional. Lógica de clases.

LÓGICA
1. GENERALIDADES
Definiciones de lógica.
Ramas de la lógica: Lógica formal, lógica proposicional.
Lógica de clases.
Lógica cuantificacional.
Lógica trivalente
Lógica modal.
2. HISTORIA DE LA LÓGICA
Época Antigua: Pitágoras, Sócrates.
Platón, Aristóteles.
Lógica Medieval: Porfirio, Boecio.
Lógica Moderna: Leibniz, Boole, Venn.
G. Frege, Russell y Whitehead.
Wittgenstein, Luckasiewics, F. Miro Quesada (Perú).
3. LENGUAJE Y PENSAMIENTO
Funciones básicas del lenguaje: Informativa, Expresiva y Directa.
Lenguaje natural y lenguaje formalizado.
Falacias formales: Definición.
Falacias No formales: De antingencia. Ignoratio elenchi, non causa pro causa (falsa
causa).- Argumentun ad populium.
Argumentum ad hominem, Ad ignoramtiam, Ad Baculum, Ad veracumdiam.
Falacias de ambigüedad: Equívoco, énfasis, anfibología.
4. PRUEBAS FORMALES EN LA LÓGICA PROPOSICIONAL
Proposición.- Clases de proposición: Simples y Compuestas.
Proposiciones Compuestas: conjuntivas, disyuntivas (Inclusas y Exclusas),
condicionales, bicondicionales y uso de la negación.
Formalización de proposiciones de 1, 2 y 3 variables.- Uso de los signos de agrupación.
Tablas de verdad con 2 y 3 variables.
Aplicación de la lógica proposicional.- Circuitos eléctricos.
Diseño de circuitos eléctricos: en serie y en paralelo.
5. RAZONAMIENTOS VÁLIDOS EN LA LÓGICA PROPOSICIONAL
Modus Poniendo Ponens (MPP).
Modus Tollendo Tollens (MTT).
Silogismo disyuntivo (SD).
Silogismo Hipotético Puro (SHP).
Transitividad Simétrica (TS).
Dilemas: Constructivo Compuesto (DCC) y Destructivo compuesto (DDC).
6. PRINCIPIOS LÓGICOS
En la lógica formal: Principio de identidad.
Principio de No contradicción.
Principio de Tercio excluido.
Leyes de la Lógica Dialéctica: Unidad y lucha de contrarios.
Ley del tránsito o salto de lo cuantitativo a lo cualitativo.
Ley de la negación de la negación.
7. LÓGICA FORMAL. CLÁSICA
Entes lógicos: El concepto: Características (esenciales y accidentales).- Propiedades:
extensión y comprensión.
El juicio. Clasificación de los juicios: cantidad, cualidad, relación y modalidad. Juicios
categóricos típicos A-E-I-O.
Cuadro de Boecio.
La definición.
El razonamiento.
Clases de razonamiento: Inductivo, Deductivo y Analógico.
8. INFERENCIAS
Inferencias inmediatas de la lógica tradicional.
Clases de inferencias inmediatas: Oposición, Conversa, Obversa.
Contrapuesta parcial y contrapuestas total.
Silogismo.- Características.- Reglas del Silogismo.
Figuras del Silogismo.
Modos de Silogismo.
9. LÓGICA DE CLASES
Noción del álgebra booleana.
Representación de clases: Universal y vacía.
Tipos de clases: Universal, particular y Complemento.
Operaciones con clases: Unión o suma de clases.
Diferencia e igualdad.
Relaciones entre clases: inclusión, exclusión, intersección.
10. FÓRMULAS BOOLEANAS Y DIAGRAMAS DE VENN
Diagramación de una clase.
Diagramación de proposiciones de 2 clases.
Diagramación de proposiciones típicas.
Diagramación de proposiciones atípicas.
Diagramación de silogismos.
Validez del silogismo por los diagramas Venn.