Ingeniero Sistemas

1- ¿Qué es lógica clásica?

LÓGICA ARISTOTÉLICA

La que es conocida como lógica clásica (o tradicional) fue enunciada primeramente por Aristóteles, quien elaboró leyes para un correctorazonamiento silogístico. Un silogismo está formado por juicios (la unión de dos conceptos) que puede ser de diferentes maneras (ver tabla: juicios) los silogismos se caracterizan por tener dos premisas (mayory menor) y una conclusión, las premisas deben tener un término medio (se repite en las dos premisas) y la conclusión está compuesta del sujeto de la premisa menor y el predicado de la premisa mayor.En los silogismos podemos decir que las premisas y la conclusión son juicios.

TABLA 1: Hay 4 formas válidas de silogismo, todas dependiendo de la variación del término medio y de su función en losjuicios; listadas a continuación:

Figura 1 Figura 2 Figura 3 Figura 4
M es P P es M M es P P es M
S es M S es M M es S M es S
S es P S es P S es P S es P

• Forma A: Todo A es B. Para todo x,si x es A entonces es B.
• Forma E: Algún A es B. Existe al menos un x tal que es A y es B.
• Forma I: Algún A no es B. Existe al menos un x que es A y no es B.
• Forma O: Ningún A es B. Para todox, si x es A entonces no es B.

A(universal afirmativa) contraria O (universal negativa)
I(particular afirmativa) contraria E (particular negativa)
A contradictoria O
E contradictoria I
Asubalterna I
E subalterna O
“Todo juicio universal e materia contingente es falso”, esto quiere decir que cuando se toma una totalidad para hacer un juicio se debe estar seguro que son todos, porque de locontrario el juicio es totalmente falso”; ejemplo: si decimos todos los gay son buenos amigos, estamos generalizando algo cualitativo, algo que no es comprobable, o decir que a todos los hombres lesgusta el futbol es un juicio en materia contingente, porque si tan solo una persona no le gusta, el juicio deja de ser universal.
En lógica clásica se formulan reglas por las que todos los...