Empezamos viendo la definición de lógica: la lógica puede definirse como la ciencia que se ocupa de los principios de validez formal de la inferencia. (Nosotros diremos que una inferencia es igual a un razonamiento).
Luego vimos la estructura de un silogismo: un silogismo está formado por dos premisas y una conclusión. Hay cuatro tipos de enunciados que pueden formar parte de los silogismos: A (universal afirmativo), E (universal negativo), I (particular afirmativo), O (particular negativo). Podemos distinguir cuatro figuras y dentro de ellas distintos modos.
Uno de esos modos es DARII (AII). Ejemplo:
Todos los hombres son mortales ->A
Sócrates es hombre ->I
_______________________
Luego, Sócrates es mortal ->I
La figura del anterior silogismo sería la siguiente:
M-P
S-M
___
S-P
P: predicado
M: término medioS: sujeto
Los silogismos no son falsos o verdaderos sino válidos o no válidos. A la lógica no le importa si son falsos o verdaderos, sino si su forma es correcta o no correcta, es decir, la validez formal del razonamiento.
El fundamento de la lógica es el siguiente: todos los razonamientos válidos se pueden reducir a una serie de esquemas formales.
Por último comenzamos a ver la lógica formal moderna, creada en siglo XIX por los matemáticos Frege y Boole, con un ejemplo de Lógica de enunciados o proposicional:
Si Platón fue un gran filósofo entonces fue un gran gobernante
Platón fue un gran filósofo
___________________________________________
Por lo tanto Platón fue un gran gobernante
A: Platón fue un gran filósofo
B: fue un gran gobernante
Esquema formal:
Si A entonces B
A
___________
Luego B
El esquema anterior no dice lo mismo que el argumento inicial, pero el sentido sí es el mismo.
Tipos de relación entre dos proposiciones:
-Relación de condición: Si A entonces B
-Relación de coordinación: A y B
-Relación de disyunción: A o B (hay dos tipos de relación de disyunción la excluyente y la no excluyente).
José Ramón Romero Hormigo.
No hay comentarios:
Publicar un comentario