Lógica simbólica

Lógica simbólica

Resulta interesente observar el gran cúmulo de esfuerzo que ha requerido estadisciplina para lograr el avance con el que hoy lo conocemos, me sorprende queaun después de tanto tiempo y habiendo pasado por tantas modificaciones lasteorías expuestas por hombre como Aristóteles, conserven una muy buena partede validez, y mas que reemplazarlas por otras mas actuales, se han idoadicionando a ellas conceptos, otros grandes hombre como Leibniz, Boole,Russell, por citar solo algunos de ellos.

Lógica proposicional

La lógica proposicional o lógica de orden cero es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.1

La lógica proposicional trata con sistemas lógicos que carecen de cuantificadores, o variables interpretables como entidades. En lógica proposicional si bien no hay signos para variables de tipo entidad, sí existen signos para variables proposicionales (es decir, que pueden ser interpretadas como proposiciones con un valor de verdad de definido), de ahí el nombre proposicional. La lógica proposicional incluye además de variables interpretables como proposiciones simples signos para conectivas lógicas, por lo que dentro de este tipo de lógica puede analizarse la inferencia lógicade proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones más simples.2

Lógica Cuantificacional

Objetivos del curso: Los alumnos se familiarizarán con la lógica de primer orden y la podrán utilizar para analizar argumentos filosóficos. Asimilarán las nociones de universo de discurso, cuantificador, fórmula cuantificacional bien formada, variable libre, variable ligada, constantes y variables individuales y de predicado, substitución uniforme. Conocerán las reglas de generalización existencial y universal, y las de instanciación existencial y universal. Al final del curso el alumno podrá demostrar validez de verdades lógicas con cuantificadores.

Axiomatización:

• Axiomas.

• Esquemas axiomáticos.

• Reglas de transformación.

• Teoremas

...