domingo, 13 de marzo de 2011

Viernes 11 de Marzo de 2011

Al empezar la clase, el profesor distribuyó varias revistas de los Estudios sobre Miguel Servet, que había cogido de la biblioteca. Una vez que vimos las revistas por encima empezamos a estudiar la lógica, a partir de los apuntes que podemos encontrar en este diario; también nos dió una hoja que hablaba de los silogismos.
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 medio
S: 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: