LGICA MATEMATICA.

A PROPSITO DEL SILOGISMO

Carlos S. CHINEA

LOGICA MATEMTICA

A Propsito del Silogismo

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:

LGICA MATEMATICA. A PROPSITO DEL SILOGISMO

Carlos S. CHINEA

( A) indica si se trata de una cuantificacin universal (formas a y e) o existencial

(formas i y o). ( B) indica si se trata de una afirmacin del predicado (formas a y i) o una negacin del mismo (formas e y o).

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 )

LGICA MATEMATICA. A PROPSITO DEL SILOGISMO

Carlos S. CHINEA

Figura 4: El trmino medio M es predicado en la premisa mayor y sujeto en la premisa menor:

( 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)

Todo B es C Todo A es C Todo A es B (x )(x B x C ) (x )( x A x C ) (x )(x A x B )

05.1.2. Modo eae (palabra: celarent)

LGICA MATEMATICA. A PROPSITO DEL SILOGISMO

Carlos S. CHINEA

Todo B es no C Todo A es no C Todo A es B (x )(x B x C ) (x )( x A x C ) (x )(x A x B )

05.1.3. Modo aii (palabra: darii)

Todo B es C A lg n A es C A lg n A es B (x )(x B x C ) (x )(x A x C ) (x )(x A x B )

05.1.4. Modo eio (palabra: ferio)

Todo B es no C A lg n A es no C A lg n A es B (x )(x B x C ) (x )(x A x C ) (x )(x A x B )

05.2. Modos de silogismo vlidos para la segunda figura:

( 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)

Todo C es no B Todo A es no C Todo A es B (x )(x C x B ) (x )( x A x C ) (x )(x A x B )

05.2.2. El modo aee (palabra: camestres)

Todo C es B Todo A es no C Todo A es no B (x )(x C x B ) (x )( x A x C ) (x )(x A x B )

05.2.3. El modo eio (palabra: festino)

Todo C es no B A lg n A es no C A lg n A es B (x )(x C x B ) (x )(x A x C ) (x )(x A x B )

05.2.4. El modo aoo (palabra: baroco)

LGICA MATEMATICA. A PROPSITO DEL SILOGISMO

Carlos S. CHINEA

Todo C es B A lg n A es no C A lg n A es no B (x )(x C x B ) (x )( x A x C ) (x )(x A x B )

05.3. Modos de silogismo vlidos para la tercera figura:

( 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)

Todo B es C A lg n A es C A lg n B es A (x )(x B x C ) (x )(x A x C ) (x )(x B x A)

05.3.2. Modo eio (palabra: feriso)

Todo B es no C A lg n A es no C A lg n B es A (x )(x B x C ) (x )(x A x C ) (x )(x B x A)

05.3.3. Modo iai (palabra: disamis)

A lg n B es C A lg n A es C Todo B es A (x )(x B x C ) (x )( x A x C ) (x )(x B x A)

05.3.4. Modo oao (palabra: bocardo)

A lg n B es no C A lg n A es no C Todo B es A (x )(x B x C ) (x )( x A x C ) (x )(x B x A)

05.4. Modos de silogismo vlidos para la cuarta figura:

( P) _ ( M ) ( S ) _ ( P) (M ) _ (S )
o bien:

LGICA MATEMATICA. A PROPSITO DEL SILOGISMO

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)

Todo C es B Todo A es no C Todo B es no A (x )(x C x B ) (x )( x A x C ) (x )(x B x A)

05.4.2. Modo eio (palabra: fresidon)

Todo C es B Todo A es no C Todo B es no A (x )(x C x B ) (x )( x A x C ) (x )(x B x A)

05.4.3. Modo iai (palabra: dimatis)

A lg n C es B A lg n A es C Todo B es A (x )(x C x B ) (x )( x A x C ) (x )(x B x A)

06. Los modos no vlidos en los silogismos Los modos no vlidos son los restantes, esto es, un total de 241 de los 256 casos posibles. Hemos de indicar que en la lgica clsica se consideraban vlidos 24 de los 256 modos de silogismos posibles, seis en cada figura, entre los que se cuentan tambin los quince modos que hemos descrito como actualmente vlidos. As, se consideraban vlidos en cada figura los modos silogsticos que indicamos mediante las palabras que se tabulan a continuacin. 1 figura 2 figura 3 figura 4 figura barbara cesare datisi calemes celarent camestres feriso fresidon darii festino disamis dimatis ferio baroco bocardo bamalip barbari cesaro darapti fesapo celaront camestros felapton calemos Con el descubrimiento del conjunto vaco, concepto que no se contemplaba en la lgica clsica, dejaron de tener valides los nueve modos silogsticos siguientes: barbari y celaront, en la primera figura cesaro y camestros, en la segunda figura darapti y felapton, en la tercera figura bamalip, fesapo y calemos, en la cuarta figura

LGICA MATEMATICA. A PROPSITO DEL SILOGISMO

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:

Todo B es C A lg n A es C Todo A es B (x )(x B x C ) (x )(x A x C ) (x )(x A x B )

Demostracin: Basta ver lo que ocurrira si el universo del discurso es U = 1,2,3 y los enunciados son:

x A x

x B x [1] x C x [1,2]

(x )(x [1] x [1,2]) (x )(x x [1,2]) (x )(x x [1])

que obviamente es incorrecto (antecedente verdadero y consecuente falso) Sin embargo, el modo barbari sera correcto si introducimos la condicin de que el conjunto A no es vaco, por ejemplo, aadiendo una premisa que lo indique: (x )( x A) . Los lgicos clsicos admitan tcitamente esto por desconocer la idea de conjunto vaco. As, pues, sera correcto de esta forma:

entonces, la argumentacin sera:

(x )(x B x C ) (x )(x A x B ) (x )(x A x C ) (x )(x A)

ya que, aplicando el modo vlido barbara, deducimos:

(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:

Todo B es no C A lg n A es no C Todo A es B (x )(x B x C ) (x )(x A x C ) (x )(x A x B )

Demostracin: Basta considerar aqu tambin el universo del discurso es U = 1,2,3 y los enunciados:

LGICA MATEMATICA. A PROPSITO DEL SILOGISMO

Carlos S. CHINEA

x A x x B x [1,2] x C x [3]

(x )(x [1,2] x [3]) (x )( x x [3]) (x )(x x [1,2])

que es incorrecto (antecedente verdadero y consecuente falso) El modo celaront sera correcto si introducimos la condicin de que el conjunto A no es vaco: (x )( x A) . As, pues, sera correcto de esta forma:

entonces, la argumentacin sera:

(x )(x B x C ) (x )(x A x B ) (x )(x A x C ) (x )(x A)

ya que, aplicando el modo vlido celarent, deducimos:

(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 )

07.2. Modos de silogismo clsicos no vlidos en la segunda figura: cesaro no se verifica:

Todo C es no B A lg n A es no C Todo A es B (x )(x C x B ) (x )(x A x C ) (x )(x A x B )

Demostracin: Basta considerar aqu tambin el universo del discurso es U = 1,2,3 y los enunciados:

x A x

x B x [1,2] x C x [3]

(x )(x [3] x [1,2]) (x )( x x [3]) (x )(x x [1,2])

que muestra antecedente verdadero y consecuente falso. El modo cesaro sera correcto si introducimos la condicin de que el conjunto A no es vaco: (x )( x A) . Es decir, sera correcto de esta forma:

entonces, la argumentacin sera:

(x )(x C x B ) (x )(x A x B ) (x )(x A x C ) (x )(x A)

ya que, aplicando el modo vlido cesare, deducimos:

LGICA MATEMATICA. A PROPSITO DEL SILOGISMO

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:

Todo C es B A lg n A es no C Todo A es no B (x )(x C x B ) (x )(x A x C ) (x )(x A x B )

Demostracin: Consideremos tambin aqu el universo del discurso es U = 1,2,3 y los enunciados:

x A x x B x [1,2] x C x [1]

(x )(x [1] x [1,2]) (x )(x x [1]) (x )(x x [1,2])

que nos muestra antecedente verdadero y consecuente falso. El modo camestros sera correcto si introducimos la condicin de que el conjunto A no es vaco: (x )( x A) . Es decir, sera correcto de esta forma:

entonces, la argumentacin sera:

(x )(x C x B ) (x )(x A x B ) (x )(x A x C ) (x )(x A)

ya que, aplicando el modo vlido camestres, deducimos:

(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 )

07.3. Modos de silogismo clsicos no vlidos en la tercera figura: darapti no se verifica:

Todo B es C A lg n A es C Todo B es A (x )(x B x C ) (x )( x A x C ) (x )(x B x A)

Demostracin: Consideremos tambin aqu el universo del discurso es U = 1,2,3 y los

enunciados:

x A x [2] x B x x C x [1]

LGICA MATEMATICA. A PROPSITO DEL SILOGISMO

Carlos S. CHINEA

(x )(x x [1]) (x )(x x [2])

entonces, la argumentacin sera:

(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:

(x )(x B x C ) (x )(x B x A) (x )( x A x C ) (x )(x B )

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:

Todo B es no C A lg n A es no C Todo B es A (x )(x B x C ) (x )( x A x C ) (x )(x B x A)

Demostracin: Consideremos tambin aqu el universo del discurso es U = 1,2,3 y los enunciados:

x A x [1]

x B x

x C x [1,2]

(x )(x x [1,2]) (x )( x [1] x [1,2]) (x )(x x [1])

que nos muestra antecedente verdadero y consecuente falso. El modo felapton sera correcto si introducimos la condicin de que el conjunto B no es vaco: (x )( x B ) . Es decir, sera correcto de esta forma:

entonces, la argumentacin sera:

(x )(x B x C ) (x )(x B x A) (x )( x A x C ) (x )(x B )

(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 B x A x C )) (x )( x B ( x A x C )) (x )( x A x C )
10

ya que se tendra:

LGICA MATEMATICA. A PROPSITO DEL SILOGISMO

Carlos S. CHINEA

07.4. Modos de silogismo clsicos no vlidos en la cuarta figura: - bamalip no se verifica:

Todo C es B A lg n A es C Todo B es A (x )(x C x B ) (x )( x A x C ) (x )(x B x A)

Demostracin: Consideremos tambin aqu el universo del discurso es U = 1,2,3 y los enunciados:

x A x [1,2,3] x B x [1,2] x C x

(x )(x x [1,2]) (x )(x [1,2] x [1,2,3])

entonces, la argumentacin sera:

(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:

(x )(x C x B ) (x )(x B x A) (x )( x A x C ) (x )(x C )

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:

Todo C es no B A lg n A es no C Todo B es A (x )(x C x B ) (x )( x A x C ) (x )(x B x A)

Demostracin: Consideremos el universo del discurso es U = 1,2,3 y los enunciados:

x A x [1] x B x

x C x [1,2]

(x )(x [1,2] x ) (x )( x [1] x [1,2]) (x )(x x [1])

que nos muestra antecedente verdadero y consecuente falso.

entonces, la argumentacin sera:

11

LGICA MATEMATICA. A PROPSITO DEL SILOGISMO

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:

(x )(x C x B ) (x )(x B x A) (x )( x A x C ) (x )(x B )

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:

Todo C es B A lg n A es no C Todo B es no A (x )(x C x B ) (x )( x A x C ) (x )(x B x A)

Demostracin: Consideremos que el universo del discurso es U = 1,2,3 y los

enunciados:

x A x x B x [1,2] x C x [1]

(x )(x [1] x [1,2]) (x )( x x [1]) (x )(x [1,2] x )

que nos muestra antecedente verdadero y consecuente falso. El modo calemos sera correcto si introducimos la condicin de que el conjunto A no es vaco: (x )( x A) . Es decir, sera correcto de esta forma:

entonces, la argumentacin sera:

(x )(x C x B ) (x )(x B x A) (x )( x A x C ) (x )(x A)

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