Lógica aristotélica y lógica de predicados

Lógica aristotélica.

Lógica aristotélica: Es la lógica expuesta en el Órganon y algunas partes del Corpus Aristotelicum. Constituye de un lado, una parte de la lógica antigua; de otro, unelemento fundamental de la lógica tradicional. (Mora, 2004)
Cuando nos situamos en el nacimiento de la lógica debemos hablar del padre de la misma: Aristóteles. Sus trabajos sobre esta rama de la filosofíase encuentran en el Órganon y en algunas partes del Corpus Aristotelicum como se mencionó anteriormente. La lógica utilizada por Aristóteles está basada en el silogismo categórico, un ejemplo sencilloy muy utilizado:
P1: Todos los hombres son mortales.
P2: Sócrates es un hombre.
C: Por lo tanto, Sócrates es mortal.
Los silogismos están estructurados en dos premisas y una conclusión que sededuce de las dos primeras premisas. Aristóteles nos plantea juicios, por esta razón la lógica clásica se considera un juicio de términos. Un silogismo consta de tres términos: El mayor (P), el menor(S) y el medio (M). Además, el término medio del silogismo no debe aparecer en la conclusión.
El problema que posiblemente exista en la lógica aristotélica es que las proposiciones categóricas sólopueden ser medidas en los siguientes cuantificadores (Napolitano, 2005):
1. Universal afirmativa (Todo S es P)
2. Universal Negativa (Ningún S es P)
3. Particular afirmativa (Algunos S son P)
4.Particular negativa (Algunos S no son P)
Entonces es un procedimiento bastante básico pero no menos importante, ya que la raíz del desarrollo de la lógica se encuentra en la silogística deAristóteles.



LÓGICA DE PREDICADOS

Este tipo de lógica también se conoce como lógica de primer orden, es considerada un sistema formal y su origen puede remontarse en el trabajo de Gottlob Frege, quienpresentó el primer sistema de lógica de primer orden en su trabajo titulado Los fundamentos de la aritmética en 1879.
La lógica de predicados estudia las inferencias en los lenguajes de primer...