Curso de Introducción a la Lógica Formal

Guía docente: http://academialap.com/guia_docente.pdf

El Curso tendrá comienzo el 15 de Septiembre del 2016.

Y el curso se realizará por internet para alcanzar a un público internacional.

Programa del Curso

Primer parte: ¿Qué es la lógica?

• Definición de la lógica como ciencia formal
• Lógica tradicional, lógicas clásicas y lógicas no clásicas.
• Propiedades formales para fórmulas
• Propiedad formales de los argumentos o relaciones entre fórmulas
• equivalencia lógica, independencia lógica y satisfacibilidad de conjuntos.
• Métodos epistémicos sintácticos y semánticos.

Segunda parte: El lenguaje de la lógica de proposiciones (Lp)

• El Sistema lógico de Lp (lógica de proposiciones)
• Definición de alcance de las fórmulas.
• Estructura jerárquicas de las fórmulas.
• Formalización.
• Reglas de definición y equivalencia.
• Métodos sintácticos: Formas normales y Deducción Natural.
• Noción de interpretación semántica.
• Métodos semánticos: tablas de verdad, arboles semánticos, deducción mediante reglas semánticas.

Tercera parte: Teoría básica de conjuntos (TC)

• Nociones básicas de conjuntos.
• Relación de pertenencia y inclusión.
• Operaciones con conjuntos.
• Noción de Relación. Notación básica, par ordenados.
• Operaciones con relaciones
• Propiedades de Relaciones.
• Noción de Función. Notación básica: inyección, exhaución, proyección y biyección.
• Operaciones con funciones: Función inversa, Composición de funciones, Exponenciación de conjuntos.
• Formalización.
• Diagramas de Venn y Pruebas de deducción con conjuntos.
• Simplificación de conjuntos.

Cuarta parte: El lenguaje de la lógica de predicados (LP)

• El Sistema lógico de LPO(lógica de predicados)
• Definición de alcance de las fórmulas.
• Estructura jerárquicas de las fórmulas.
• Formalización: Simple, múltiple y numérica. Funtores y descriptores.
• Reglas de definición y equivalencia.
• Métodos sintácticos: Deducción natural.
• Noción de interpretación semántica.
• Métodos semánticos: arboles semánticos, deducción mediante reglas semánticas y creación de estructuras.

Quinta parte: Metalógica: Consistencia, Completud, Decibilidad.*

Precio

Precio del Curso: 150 Euros

Oferta de lanzamiento del curso: 50 Euros

Esta oferta sólo estará disponible los primeros días del lanzamiento del curso. Para tener derecho al descuento será necesario pagar la oferta por adelantado.

Sólo los 10 primeros alumnos gozarán de esta oferta inicial.

Contacto para más información

Telefono: +34 660 660 744 (Whatapp y Telegram)

Correo electrónico: academialap@academialap.com

Facebook:

[Página Personal] https://www.facebook.com/Academialap

[Página Web] https://www.facebook.com/escueladefilosofia/