Professional Documents
Culture Documents
Carlos S. CHINEA
LOGICA MATEMTICA
01.Silogismos Cuando razonamos en Matemtica, cuando justificamos un determinado resultado o probamos un teorema, empleamos generalmente una estructura lgica de clara definicin. Se trata del silogismo, argumentacin constituida por tres enunciados tales que uno de ellos, la conclusin, se obtiene lgicamente de las otras dos, las premisas. La cuestin que nos planteamos es cmo estructurar estos enunciados o proposiciones. Vamos a intentar hacer un anlisis descriptivo de los modos que pueden adoptar los silogismos. 02.Las formas posibles de los enunciados Cada enunciado o proposicin, tanto la conclusin como las premisas, es una oracin gramatical con un sujeto A y un predicado B, de forma que el sujeto o trmino secundario puede establecerse de forma universal o de forma existencial, y, asimismo, la oracin puede afirmar o negar el predicado o trmino primario B. Esto nos permite establecer cuatro formas de enunciado, que reconoceremos en lo que sigue como formas a, e, i, o. Forma a: Todo A es B (sujeto universal afirmando el predicado) En notacin conjuntista sera: (x )( x A x B ) Forma e: Todo A es no B (sujeto universal negando el predicado) En notacin conjuntista sera: (x)( x A x B ) Forma i: Algn A es B (sujeto existencial afirmando el predicado) En notacin conjuntista sera: (x )( x A x B ) Forma o: Algn A es no B (sujeto existencial negando el predicado) En notacin conjuntista sera: (x)( x A x B ) Esta es la forma de clasificacin clsica, con la referida denominacin mediante las letras a, e, i, o, para cada enunciado del silogismo, utilizando una secuencia de tres de estas letras, repetidas o no, para indicar un determinado modo de silogismo (una para cada uno de los tres enunciados constituyentes). En definitiva, cada enunciado es de la forma
( A) _ ( B)
donde:
Carlos S. CHINEA
03.Los trminos constituyentes de los enunciados En la proposicin que constituye la conclusin del silogismo hay un sujeto S, o trmino menor, y un predicado P, o trmino mayor:
( S ) _ ( P)
y en cada una de las proposiciones que constituyen las premisas hay, adems, un trmino medio, M, que es sujeto o es predicado en cada una de ellas. En una de ellas interviene el trmino menor S y se llama premisa menor, y en la otra interviene el trmino mayor P y se denomina premisa mayor. Ambas premisas, mayor y menor, puede adoptar, pues, cualquiera de las expresiones siguientes: Premisa menor:
(S ) _ (M ) (M ) _ (S ) ( P) _ ( M ) ( M ) _ ( P)
(el trmino medio, M, es el predicado) (el trmino medio, M, es el sujeto) (el trmino medio, M, es el predicado) (el trmino medio, M, es el sujeto)
Premisa mayor:
04.Figuras posibles para los tres trminos del silogismo Segn que en las premisas figure el trmino medio como sujeto, o como predicado, se obtienen cuatro figuras posibles para los silogismos: Figura 1: El trmino medio M es sujeto en la premisa mayor y predicado en la premisa menor:
( M ) _ ( P) ( S ) _ ( P) (S ) _ (M )
Figura 2: El trmino medio M es predicado tanto en la premisa mayor como en la premisa menor:
( P) _ ( M ) ( S ) _ ( P) (S ) _ (M )
Figura 3: El trmino medio M es sujeto tanto en la premisa mayor como en la premisa menor:
( M ) _ ( P) ( S ) _ ( P) (M ) _ (S )
Carlos S. CHINEA
( P) _ ( M ) ( S ) _ ( P) (M ) _ (S )
05.Los modos de silogismo. Modos vlidos Puesto que cada enunciado del silogismo admite cuatro formas diferentes, que hemos representado mediante las letras a, e, i, o, y estando cada figura formada por los tres enunciados, las dos premisas y la conclusin, aparecern un total de 64 modos de silogismo en cada figura: 4x4x4=64. El total de modos de silogismos posibles, teniendo en cuenta las cuatro figuras, ser de 64x4=256. De todos estos 256 modos de silogismo, solamente son vlidos aquellos que sean lgicamente correctos, que, en total resultan ser quince. Vamos a estudiar los modos vlidos en cada una de las cuatro figuras. Llamaremos para ello A, B y C a los tres trminos de cada figura, siendo A el trmino menor o sujeto de la conclusin, B el trmino medio y C el trmino mayor o predicado de la conclusin. Puesto que cada forma de un enunciado queda definida, como ya hemos visto antes en el apartado 02, por una de las cuatro letras, a, e, i, o, y teniendo en cuenta que cada modo de silogismo tiene tres enunciados, identificaremos cada uno de los modos por tres de estas letras, que pueden, obviamente, estar repetidas, o bien por una palabra que las contenga y que nos pueda servir de regla nmemotcnica. Hay algunas palabras que son corrientes en los escritos de diversos autores y que sirven para identificar los modos vlidos. Veamos los quince modos de silogismo vlidos, figura por figura. 05.1. Modos de silogismo vlidos para la primera figura:
( M ) _ ( P) ( S ) _ ( P) (S ) _ (M )
que, usando las letras A, B y C con el significado referido ms arriba tendra una notacin
( B) _ (C ) ( A) _ (C ) ( A) _ ( B)
son los cuatro modos siguientes, que identificamos con las palabras barbara, celarent, dorii y ferio. Aadimos tambin, en cada modo, la notacin conjuntista. 05.1.1. Modo aaa (palabra: barbara)
Carlos S. CHINEA
( P) _ ( M ) ( S ) _ ( P) (S ) _ (M )
que, usando las letras A, B y C con el significado indicado antes:
(C ) _ ( B) ( A) _ (C ) ( A) _ ( B)
son los cuatro modos siguientes, que identificamos con las palabras cesare, camestres, festino y baroco. Se incluye tambin la notacin de conjuntos. 05.2.1. El modo eae (palabra: cesare)
Carlos S. CHINEA
( M ) _ ( P) ( S ) _ ( P) (M ) _ (S )
con las letras A, B y C se tiene:
( B) _ (C ) ( A) _ (C ) ( B) _ ( A)
son los cuatro modos siguientes, que identificamos con las palabras datisi, feriso, disamis y bocardo. Va tambin la notacin de lgebra de conjuntos. 05.3.1. Modo aii (palabra: datisi)
( P) _ ( M ) ( S ) _ ( P) (M ) _ (S )
o bien:
Carlos S. CHINEA
(C ) _ ( B) ( A) _ (C ) ( B) _ ( A)
son los tres modos siguientes, que identificamos con las palabras catemes, fresidon y dimatis. Tambin usamos la notacin de conjuntos. 05.4.1. Modo aee (palabra: catemes)
Carlos S. CHINEA
07. Modos clsicos no validos: As, pues, la idea de conjunto vaco, concepto desconocido por los lgicos clsicos, nos obliga a invalidar a un total de nueve de los 24 modos clsicos de la tabla. Veamos la descripcin. 07.1. Modos de silogismo clsicos no vlidos en la primera figura: barbari no se verifica:
x A x
x B x [1] x C x [1,2]
(x )( x A x B) (x )( x B x C ) (x )( x A) (x )( x A x C ) (x )( x A) (x )( x A ( x A x C ) (x )( x A x C )
celaront no se verifica:
Carlos S. CHINEA
x A x x B x [1,2] x C x [3]
(x )( x A x B) (x )( x B x C ) (x )( x A) (x )( x A x C ) (x )( x A) (x )( x A ( x A x C )) (x )( x A x C )
x A x
x B x [1,2] x C x [3]
Carlos S. CHINEA
(x )( x A x B) (x )( x C x B) (x )( x A) (x )( x A x C ) (x )( x A) (x )( x A ( x A x C )) (x )( x A x C )
camestros no se verifica:
x A x x B x [1,2] x C x [1]
(x )( x A x B) (x )( x C x B) (x )( x A) (x )( x A x C ) (x )( x A) (x )( x A ( x A x C )) (x )( x A x C )
enunciados:
x A x [2] x B x x C x [1]
Carlos S. CHINEA
(x )( x [2] x [1])
que nos muestra antecedente verdadero y consecuente falso. El modo darapti sera correcto si introducimos la condicin de que el conjunto B no es vaco: (x )( x B ) . Es decir, sera correcto de esta forma:
ya que se tendra:
(x )( x B x C ) (x )( x B x A) (x )( x B) (x )(( x B x A) ( x B x C )) (x )( x B) (x )( x B x A x C ) (x )( x B) (x )( x B ( x A x C )) (x )( x A x C )
felapton no se verifica:
x A x [1]
x B x
x C x [1,2]
ya que se tendra:
Carlos S. CHINEA
x A x [1,2,3] x B x [1,2] x C x
(x )( x [1,2,3] x )
que nos muestra antecedente verdadero y consecuente falso. El modo bamalip sera correcto si introducimos la condicin de que el conjunto C no es vaco: (x )( x C ) . Es decir, sera correcto de esta forma:
ya que se tendra:
(x )( x C x B) (x )( x B x A) (x )( x C ) (x )(( x C x B) ( x B x A)) (x )( x C ) (x )( x C x A) (x )( x C ) (x )( x C ( x C x A) (x )( x A x C )
fesapo no se verifica:
x A x [1] x B x
x C x [1,2]
11
Carlos S. CHINEA
El modo fesapo sera correcto si introducimos la condicin de que el conjunto B no es vaco: (x )( x B ) . Es decir, sera correcto de esta forma:
ya que resultara:
(x )( x C x B) (x )( x B x A) (x )( x B) (x )(( x B x C ) ( x B x A)) (x )( x B) (x )( x A x C )
calemos no se verifica:
enunciados:
x A x x B x [1,2] x C x [1]
ya que se tendra:
(x )( x C x B) (x )( x B x A) (x )( x A) (x )(( x C x B) ( x B x A)) (x )( x A) (x )( x A x C ) (x )( x A) (x )( x A ( x A x C )) (x )( x A x C )
08. Bibliografa: CUENA, j.; Lgica Matemtica, 1985, Alianza Editorial, Barcelona. GONZLEZ CARLOMAN, A.; Lgica Axiomtica, 1975. Servicio de Publicaciones Universidad de Oviedo, Asturias. MITCHELL, D.; Introduccin a la Lgica, 1968, Editorial Labor, Barcelona.
12