You are on page 1of 23

Para nuestro tema de estudio; El lenguaje objeto es el (lenguaje formal de la lgica

proposicional; considerando su alfabeto, sintaxis y semntica) y el metalenguaje es el (idioma


espaol que es el que utilizaremos para describir el lenguaje de la lgica proposicional)

La distincin entre lenguaje objeto y metalenguaje fue introducida por Alfred Tarski como una
solucin a las paradojas semnticas como la paradoja del mentiroso. Segn Tarski, ningn lenguaje
puede contener su propio predicado de verdad y permanecer consistente.[1] Para hablar acerca de
la verdad en un lenguaje, y no generar contradicciones, es necesario hacerlo desde un lenguaje
distinto, con mayor poder expresivo: el metalenguaje.

Modos del Silogismo

Es indispensable recordar que no todos los silogismos que elaboramos son verdaderos. Por
eso, se han establecido las reglas de los silogismos y, a partir de ellas, las reglas de las figuras.
Con estas normas se pretende garantizar la realizacin correcta de un silogismo y por ende,
facilitar su apego a la verdad. Los silogismos se hacen utilizando juicios.

Los juicios, por su cantidad y su cualidad, pueden ser: universales afirmativos (A),
universales negativos (E), particulares afirmativos (I) y particulares negativos (O).

Un silogismo consta de tres juicios. Si consideramos que stos son categricos, podemos
obtener varias combinaciones. Por ejemplo:

Todo hombre es bpedo - universal afirmativa (A)


Algn polaco es hombre - particular afirmativa ( I )
_____________________
Algn polaco es hombre - particular afirmativa ( I )

A dichas combinaciones de juicios por su cantidad y su cualidad dentro de un silogismo se


les llaman modos. La anterior combinacin A-I-I es un modo. La A corresponde a la
premisa mayor, la primera I a la premisa menor y la segunda I a la conclusin. Si
exclusivamente consideramos las combinaciones que se pueden producir entre las premisas,
hay 16 modos posibles, es decir, 16 diferentes combinaciones:

PM A A A A E E E E I I I I O O O O

Pm A E I O A E I O A E I O A E I O
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
En cambio, si consideramos las combinaciones posibles incluyendo a las conclusiones, los
modos se disparan hasta la cifra de 64. Y si consideramos que existen 4 figuras, el nmero
de combinaciones asciende a 256. No se espanten, no vamos a representarlas en un cuadro.

Obviamente, no todas estas combinaciones son vlidas, desde luego. Slo las que cumplan
con las reglas del silogismo y de las premisas sern aceptadas. Hemos de sealar que en cada
figura los modos vlidos varan y nos dejan pocas opciones. De hecho, nada ms 23 de los
256 modos mencionados son vlidos (aunque la lgica tradicional slo reconoce 19).

Modos del Silogismo

Es indispensable recordar que no todos los silogismos que elaboramos son verdaderos. Por eso, se
han establecido las reglas de los silogismos y, a partir de ellas, las reglas de las figuras. Con estas
normas se pretende garantizar la realizacin correcta de un silogismo y por ende, facilitar su apego
a la verdad. Los silogismos se hacen utilizando juicios.

Los juicios, por su cantidad y su cualidad, pueden ser: universales afirmativos (A), universales
negativos (E), particulares afirmativos (I) y particulares negativos (O).

Un silogismo consta de tres juicios. Si consideramos que stos son categricos, podemos obtener
varias combinaciones. Por ejemplo:

Todo hombre es bpedo - universal afirmativa (A)

Algn polaco es hombre - particular afirmativa ( I )

_____________________

Algn polaco es hombre - particular afirmativa ( I )

A dichas combinaciones de juicios por su cantidad y su cualidad dentro de un silogismo se les llaman
modos. La anterior combinacin A-I-I es un modo. La A corresponde a la premisa mayor, la
primera I a la premisa menor y la segunda I a la conclusin. Si exclusivamente consideramos las
combinaciones que se pueden producir entre las premisas, hay 16 modos posibles, es decir, 16
diferentes combinaciones:
PM A A A A E E E E I I I I O O O O

Pm A E I O A E I O A E I O A E I O

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16

En cambio, si consideramos las combinaciones posibles incluyendo a las conclusiones, los modos se
disparan hasta la cifra de 64. Y si consideramos que existen 4 figuras, el nmero de combinaciones
asciende a 256. No se espanten, no vamos a representarlas en un cuadro.

Obviamente, no todas estas combinaciones son vlidas, desde luego. Slo las que cumplan con las
reglas del silogismo y de las premisas sern aceptadas. Hemos de sealar que en cada figura los
modos vlidos varan y nos dejan pocas opciones. De hecho, nada ms 23 de los 256 modos
mencionados son vlidos (aunque la lgica tradicional slo reconoce 19).

Primera figura

En la primera figura los modos vlidos son los siguientes:

1 Figura Modos de la primera figura

PM MP AEAEAE

Pm SM AAIIAA

C SP AEIOIO

Para memorizar los modos de cada figura, en la Edad Media, un filsofo llamado Pedro Hispano,
propuso una serie de nombres en latn que ayudaran a aprenderlos. Esta nomenclatura fue tan
exitosa que se hizo tradicional; en especial porque es un estuche de moneras, es decir, permite
hacer otras cosas que ms adelante veremos. Por mientras, nicamente diremos que en dichos
nombres, yendo de izquierda a derecha, las vocales representan los tipos de juicios que expresan la
premisa mayor, la premisa menor y la conclusin. Por ejemplo, el primer modo de la primera figura
recibe el nombre de Barbara.

En consecuencia tenemos los siguientes nombres para la primera figura:


Nombre Modo Ejemplo

BARBARA AAA PM Todos los gusanos son mancos


Pm Todo ciempis es gusano

C Todo ciempis es manco

CELARENT EAE PM Ningn simio es plomero


Pm Todo chimpanc es simio
C Ningn chimpanc es plomero

DARII AII PM Todo zorrillo es mofeta


Pm Algn cuadrpedo es zorrillo
C Algn cuadrpedo es mofeta

FERIO EIO PM Ningn carnvoro es vegetariano


Pm Algn gato es carnvoro
C Algn gato no es vegetariano

BARBARISMO AAI PM Todo rbol es de madera


Pm Todo roble es rbol
C Algn roble es de madera

CELARON EAO PM Ningn guapo es feo


Pm Todos mis parientes son guapos
C Algn pariente mo no es feo

Barbarismo y Celaron son dos modos que no todos los lgicos aceptan. Sin embargo, no
contradicen las reglas de los silogismos. No obstante, para no entrar en disputas, los
manejaremos como si ya estuvieran contenidos en Barbara y Celarent, pues de la verdad de
la universal, se deriva la verdad de la particular.
Los nombres que invent Pedro Hispano actualmente resultan insignificantes y poco
recordables. Por lo tanto, recurriremos a un pequesimo relato con el fin de aprenderlos ms
fcilmente:
Barbara Celarent se fue con su amigo Darii a la Ferio.

Modos del Silogismo

Es indispensable recordar que no todos los silogismos que elaboramos son verdaderos. Por eso, se
han establecido las reglas de los silogismos y, a partir de ellas, las reglas de las figuras. Con estas
normas se pretende garantizar la realizacin correcta de un silogismo y por ende, facilitar su apego
a la verdad. Los silogismos se hacen utilizando juicios.
Los juicios, por su cantidad y su cualidad, pueden ser: universales afirmativos (A), universales
negativos (E), particulares afirmativos (I) y particulares negativos (O).

Un silogismo consta de tres juicios. Si consideramos que stos son categricos, podemos obtener
varias combinaciones. Por ejemplo:

Todo hombre es bpedo - universal afirmativa (A)

Algn polaco es hombre - particular afirmativa ( I )

_____________________

Algn polaco es hombre - particular afirmativa ( I )

A dichas combinaciones de juicios por su cantidad y su cualidad dentro de un silogismo se les llaman
modos. La anterior combinacin A-I-I es un modo. La A corresponde a la premisa mayor, la
primera I a la premisa menor y la segunda I a la conclusin. Si exclusivamente consideramos las
combinaciones que se pueden producir entre las premisas, hay 16 modos posibles, es decir, 16
diferentes combinaciones:

PM A A A A E E E E I I I I O O O O

Pm A E I O A E I O A E I O A E I O

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16

En cambio, si consideramos las combinaciones posibles incluyendo a las conclusiones, los modos se
disparan hasta la cifra de 64. Y si consideramos que existen 4 figuras, el nmero de combinaciones
asciende a 256. No se espanten, no vamos a representarlas en un cuadro.

Obviamente, no todas estas combinaciones son vlidas, desde luego. Slo las que cumplan con las
reglas del silogismo y de las premisas sern aceptadas. Hemos de sealar que en cada figura los
modos vlidos varan y nos dejan pocas opciones. De hecho, nada ms 23 de los 256 modos
mencionados son vlidos (aunque la lgica tradicional slo reconoce 19).

Primera figura
En la primera figura los modos vlidos son los siguientes:

1 Figura Modos de la primera figura

PM MP AEAEAE

Pm SM AAIIAA

C SP AEIOIO

Para memorizar los modos de cada figura, en la Edad Media, un filsofo llamado Pedro Hispano,
propuso una serie de nombres en latn que ayudaran a aprenderlos. Esta nomenclatura fue tan
exitosa que se hizo tradicional; en especial porque es un estuche de moneras, es decir, permite
hacer otras cosas que ms adelante veremos. Por mientras, nicamente diremos que en dichos
nombres, yendo de izquierda a derecha, las vocales representan los tipos de juicios que expresan la
premisa mayor, la premisa menor y la conclusin. Por ejemplo, el primer modo de la primera figura
recibe el nombre de Barbara.

En consecuencia tenemos los siguientes nombres para la primera figura:

Nombre Modo Ejemplo

BARBARA AAA PM Todos los gusanos son mancos


Pm Todo ciempis es gusano

C Todo ciempis es manco

CELARENT EAE PM Ningn simio es plomero

Pm Todo chimpanc es simio

C Ningn chimpanc es plomero

DARII AII PM Todo zorrillo es mofeta

Pm Algn cuadrpedo es zorrillo

C Algn cuadrpedo es mofeta


FERIO EIO PM Ningn carnvoro es vegetariano

Pm Algn gato es carnvoro

C Algn gato no es vegetariano

BARBARISMO AAI PM Todo rbol es de madera

Pm Todo roble es rbol

C Algn roble es de madera

CELARON EAO PM Ningn guapo es feo

Pm Todos mis parientes son guapos

C Algn pariente mo no es feo

Barbarismo y Celaron son dos modos que no todos los lgicos aceptan. Sin embargo, no contradicen
las reglas de los silogismos. No obstante, para no entrar en disputas, los manejaremos como si ya
estuvieran contenidos en Barbara y Celarent, pues de la verdad de la universal, se deriva la verdad
de la particular.

Los nombres que invent Pedro Hispano actualmente resultan insignificantes y poco recordables.
Por lo tanto, recurriremos a un pequesimo relato con el fin de aprenderlos ms fcilmente:

Barbara Celarent se fue con su amigo Darii a la Ferio.

Segunda figura

En la segunda figura los modos vlidos son los siguientes:

2 Figura Modos de la segunda figura

PM PM EAE AAE

Pm SM AEIOEA

C SP EEOOOO

Los nombres para la segunda figura son:


Nombre Modo Ejemplo

CESARE EAE PM Ninguna mquina es racional

Pm Todo gallego es racional

C Ningn gallego es mquina

CAMESTRES AEE PM Todo alimento es comestible

Pm Ninguna piedra es comestible

C Ninguna piedra es alimento

FESTINO EIO PM Ningn sordo es afinador de pianos

Pm Algn cojo es afinador de pianos

C Algn cojo no es sordo

BAROCO AOO PM Toda fruta es biodegradable

Pm Algn plstico no es biodegradable

C Algn plstico no es fruta

Cesaron y Camestros caen en el mismo caso de Barbarismo y Celaron. Entonces les


consideraremos tambin como parte de Cesare y Camestres.

Ah! El relato contina:

En el restorn Cesare ordenaron un platillo al Camestres y celebraron un Festino Baroco.

La segunda figura, por cierto, tambin es conocida como figura de exclusin, ya que las
conclusiones de sus modos vlidos son todas negativas y por lo tanto la extensin de su
predicado est universalmente excluida de la extensin del sujeto.

Tercera figura

En la tercera figura, los modos vlidos son:

3 Figura Modos de la tercera figura


PM MP AIAEOE
Pm MS AAIAAI
C SP IIIOOO
Los nombres que reciben son:

Nombre Modo Ejemplo


DARAPTI AAI PM Todo buey es cuadrpedo
Pm Todo buey es macho
C Algn macho es cuadrpedo

FELATPON EAO PM Ninguna vbora tiene pies


Pm Toda vbora es reptil
C Algn reptil no tiene pies

DISAMIS IAI PM Algn pitufo es azul


Pm Todo pitufo es barbn
C Algn barbn es azul

Modos del Silogismo

Es indispensable recordar que no todos los silogismos que elaboramos son verdaderos. Por eso, se
han establecido las reglas de los silogismos y, a partir de ellas, las reglas de las figuras. Con estas
normas se pretende garantizar la realizacin correcta de un silogismo y por ende, facilitar su apego
a la verdad. Los silogismos se hacen utilizando juicios.

Los juicios, por su cantidad y su cualidad, pueden ser: universales afirmativos (A), universales
negativos (E), particulares afirmativos (I) y particulares negativos (O).

Un silogismo consta de tres juicios. Si consideramos que stos son categricos, podemos obtener
varias combinaciones. Por ejemplo:

Todo hombre es bpedo - universal afirmativa (A)

Algn polaco es hombre - particular afirmativa ( I )

_____________________

Algn polaco es hombre - particular afirmativa ( I )


A dichas combinaciones de juicios por su cantidad y su cualidad dentro de un silogismo se les llaman
modos. La anterior combinacin A-I-I es un modo. La A corresponde a la premisa mayor, la
primera I a la premisa menor y la segunda I a la conclusin. Si exclusivamente consideramos las
combinaciones que se pueden producir entre las premisas, hay 16 modos posibles, es decir, 16
diferentes combinaciones:

PM A A A A E E E E I I I I O O O O

Pm A E I O A E I O A E I O A E I O

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16

En cambio, si consideramos las combinaciones posibles incluyendo a las conclusiones, los modos se
disparan hasta la cifra de 64. Y si consideramos que existen 4 figuras, el nmero de combinaciones
asciende a 256. No se espanten, no vamos a representarlas en un cuadro.

Obviamente, no todas estas combinaciones son vlidas, desde luego. Slo las que cumplan con las
reglas del silogismo y de las premisas sern aceptadas. Hemos de sealar que en cada figura los
modos vlidos varan y nos dejan pocas opciones. De hecho, nada ms 23 de los 256 modos
mencionados son vlidos (aunque la lgica tradicional slo reconoce 19).

Primera figura

En la primera figura los modos vlidos son los siguientes:

1 Figura Modos de la primera figura

PM MP AEAEAE

Pm SM AAIIAA

C SP AEIOIO

Para memorizar los modos de cada figura, en la Edad Media, un filsofo llamado Pedro Hispano,
propuso una serie de nombres en latn que ayudaran a aprenderlos. Esta nomenclatura fue tan
exitosa que se hizo tradicional; en especial porque es un estuche de moneras, es decir, permite
hacer otras cosas que ms adelante veremos. Por mientras, nicamente diremos que en dichos
nombres, yendo de izquierda a derecha, las vocales representan los tipos de juicios que expresan la
premisa mayor, la premisa menor y la conclusin. Por ejemplo, el primer modo de la primera figura
recibe el nombre de Barbara.

En consecuencia tenemos los siguientes nombres para la primera figura:

Nombre Modo Ejemplo

BARBARA AAA PM Todos los gusanos son mancos


Pm Todo ciempis es gusano

C Todo ciempis es manco

CELARENT EAE PM Ningn simio es plomero

Pm Todo chimpanc es simio

C Ningn chimpanc es plomero

DARII AII PM Todo zorrillo es mofeta

Pm Algn cuadrpedo es zorrillo

C Algn cuadrpedo es mofeta

FERIO EIO PM Ningn carnvoro es vegetariano

Pm Algn gato es carnvoro

C Algn gato no es vegetariano

BARBARISMO AAI PM Todo rbol es de madera

Pm Todo roble es rbol

C Algn roble es de madera

CELARON EAO PM Ningn guapo es feo

Pm Todos mis parientes son guapos

C Algn pariente mo no es feo


Barbarismo y Celaron son dos modos que no todos los lgicos aceptan. Sin embargo, no contradicen
las reglas de los silogismos. No obstante, para no entrar en disputas, los manejaremos como si ya
estuvieran contenidos en Barbara y Celarent, pues de la verdad de la universal, se deriva la verdad
de la particular.

Los nombres que invent Pedro Hispano actualmente resultan insignificantes y poco recordables.
Por lo tanto, recurriremos a un pequesimo relato con el fin de aprenderlos ms fcilmente:

Barbara Celarent se fue con su amigo Darii a la Ferio.

Segunda figura

En la segunda figura los modos vlidos son los siguientes:

2 Figura Modos de la segunda figura

PM PM EAE AAE

Pm SM AEIOEA

C SP EEOOOO

Los nombres para la segunda figura son:

Nombre Modo Ejemplo

CESARE EAE PM Ninguna mquina es racional

Pm Todo gallego es racional

C Ningn gallego es mquina

CAMESTRES AEE PM Todo alimento es comestible

Pm Ninguna piedra es comestible

C Ninguna piedra es alimento

FESTINO EIO PM Ningn sordo es afinador de pianos


Pm Algn cojo es afinador de pianos

C Algn cojo no es sordo

BAROCO AOO PM Toda fruta es biodegradable

Pm Algn plstico no es biodegradable

C Algn plstico no es fruta

CESARON EAO PM Ninguna mquina es racional

Pm Todo gallego es racional

C Algn gallego no es mquina

CAMESTROP AEO PM Todo alimento es comestible

Pm Ninguna piedra es comestible

C Alguna piedra no es alimento

Cesaron y Camestros caen en el mismo caso de Barbarismo y Celaron. Entonces les consideraremos
tambin como parte de Cesare y Camestres.

Ah! El relato contina:

En el restorn Cesare ordenaron un platillo al Camestres y celebraron un Festino Baroco.

La segunda figura, por cierto, tambin es conocida como figura de exclusin, ya que las conclusiones
de sus modos vlidos son todas negativas y por lo tanto la extensin de su predicado est
universalmente excluida de la extensin del sujeto.

Tercera figura

En la tercera figura, los modos vlidos son:


3 Figura Modos de la tercera figura

PM MP AIAEOE

Pm MS AAIAAI

C SP IIIOOO

Los nombres que reciben son:

Nombre Modo Ejemplo

DARAPTI AAI PM Todo buey es cuadrpedo

Pm Todo buey es macho

C Algn macho es cuadrpedo

FELATPON EAO PM Ninguna vbora tiene pies

Pm Toda vbora es reptil

C Algn reptil no tiene pies

DISAMIS IAI PM Algn pitufo es azul

Pm Todo pitufo es barbn

C Algn barbn es azul

DATISI AII PM Toda longaniza es embutido

Pm Alguna longaniza es verde

C Algn embutido es verde

BOCARDO OAO PM Algn carnicero es amable

Pm Todo carnicero no es mutilador

C Algn mutilador es amable

FERISON EIO PM Ningn caballo es bajista


Pm Algn caballo es animal de granja

C Algn animal de granja no es bajista

La historia de los nombres contina:

Al mesero Felapton Ferison le pidieron postres con d: Datisi, Disamis y Daparti y se los comieron
de un bocardo.

A la tercera figura se le conoce tambin como figura inductiva. Frecuentemente es usada para
demostrar que un cierta cantidad de seres de una misma clase no poseen lo misma cualidad
(Felapton, Bocardo, Ferison) o bien, trata de mostrar la afinidad de dos cualidades en un mismo ser
(Darapti, Disamis y Datisi).

Modos del Silogismo

Es indispensable recordar que no todos los silogismos que elaboramos son verdaderos. Por eso, se
han establecido las reglas de los silogismos y, a partir de ellas, las reglas de las figuras. Con estas
normas se pretende garantizar la realizacin correcta de un silogismo y por ende, facilitar su apego
a la verdad. Los silogismos se hacen utilizando juicios.

Los juicios, por su cantidad y su cualidad, pueden ser: universales afirmativos (A), universales
negativos (E), particulares afirmativos (I) y particulares negativos (O).

Un silogismo consta de tres juicios. Si consideramos que stos son categricos, podemos obtener
varias combinaciones. Por ejemplo:

Todo hombre es bpedo - universal afirmativa (A)

Algn polaco es hombre - particular afirmativa ( I )

_____________________

Algn polaco es hombre - particular afirmativa ( I )


A dichas combinaciones de juicios por su cantidad y su cualidad dentro de un silogismo se les llaman
modos. La anterior combinacin A-I-I es un modo. La A corresponde a la premisa mayor, la
primera I a la premisa menor y la segunda I a la conclusin. Si exclusivamente consideramos las
combinaciones que se pueden producir entre las premisas, hay 16 modos posibles, es decir, 16
diferentes combinaciones:

PM A A A A E E E E I I I I O O O O

Pm A E I O A E I O A E I O A E I O

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16

En cambio, si consideramos las combinaciones posibles incluyendo a las conclusiones, los modos se
disparan hasta la cifra de 64. Y si consideramos que existen 4 figuras, el nmero de combinaciones
asciende a 256. No se espanten, no vamos a representarlas en un cuadro.

Obviamente, no todas estas combinaciones son vlidas, desde luego. Slo las que cumplan con las
reglas del silogismo y de las premisas sern aceptadas. Hemos de sealar que en cada figura los
modos vlidos varan y nos dejan pocas opciones. De hecho, nada ms 23 de los 256 modos
mencionados son vlidos (aunque la lgica tradicional slo reconoce 19).

Primera figura

En la primera figura los modos vlidos son los siguientes:

1 Figura Modos de la primera figura

PM MP AEAEAE

Pm SM AAIIAA

C SP AEIOIO

Para memorizar los modos de cada figura, en la Edad Media, un filsofo llamado Pedro Hispano,
propuso una serie de nombres en latn que ayudaran a aprenderlos. Esta nomenclatura fue tan
exitosa que se hizo tradicional; en especial porque es un estuche de moneras, es decir, permite
hacer otras cosas que ms adelante veremos. Por mientras, nicamente diremos que en dichos
nombres, yendo de izquierda a derecha, las vocales representan los tipos de juicios que expresan la
premisa mayor, la premisa menor y la conclusin. Por ejemplo, el primer modo de la primera figura
recibe el nombre de Barbara.

En consecuencia tenemos los siguientes nombres para la primera figura:

Nombre Modo Ejemplo

BARBARA AAA PM Todos los gusanos son mancos


Pm Todo ciempis es gusano

C Todo ciempis es manco

CELARENT EAE PM Ningn simio es plomero

Pm Todo chimpanc es simio

C Ningn chimpanc es plomero

DARII AII PM Todo zorrillo es mofeta

Pm Algn cuadrpedo es zorrillo

C Algn cuadrpedo es mofeta

FERIO EIO PM Ningn carnvoro es vegetariano

Pm Algn gato es carnvoro

C Algn gato no es vegetariano

BARBARISMO AAI PM Todo rbol es de madera

Pm Todo roble es rbol

C Algn roble es de madera

CELARON EAO PM Ningn guapo es feo

Pm Todos mis parientes son guapos

C Algn pariente mo no es feo


Barbarismo y Celaron son dos modos que no todos los lgicos aceptan. Sin embargo, no contradicen
las reglas de los silogismos. No obstante, para no entrar en disputas, los manejaremos como si ya
estuvieran contenidos en Barbara y Celarent, pues de la verdad de la universal, se deriva la verdad
de la particular.

Los nombres que invent Pedro Hispano actualmente resultan insignificantes y poco recordables.
Por lo tanto, recurriremos a un pequesimo relato con el fin de aprenderlos ms fcilmente:

Barbara Celarent se fue con su amigo Darii a la Ferio.

Segunda figura

En la segunda figura los modos vlidos son los siguientes:

2 Figura Modos de la segunda figura

PM PM EAE AAE

Pm SM AEIOEA

C SP EEOOOO

Los nombres para la segunda figura son:

Nombre Modo Ejemplo

CESARE EAE PM Ninguna mquina es racional

Pm Todo gallego es racional

C Ningn gallego es mquina

CAMESTRES AEE PM Todo alimento es comestible

Pm Ninguna piedra es comestible

C Ninguna piedra es alimento

FESTINO EIO PM Ningn sordo es afinador de pianos


Pm Algn cojo es afinador de pianos

C Algn cojo no es sordo

BAROCO AOO PM Toda fruta es biodegradable

Pm Algn plstico no es biodegradable

C Algn plstico no es fruta

CESARON EAO PM Ninguna mquina es racional

Pm Todo gallego es racional

C Algn gallego no es mquina

CAMESTROP AEO PM Todo alimento es comestible

Pm Ninguna piedra es comestible

C Alguna piedra no es alimento

Cesaron y Camestros caen en el mismo caso de Barbarismo y Celaron. Entonces les consideraremos
tambin como parte de Cesare y Camestres.

Ah! El relato contina:

En el restorn Cesare ordenaron un platillo al Camestres y celebraron un Festino Baroco.

La segunda figura, por cierto, tambin es conocida como figura de exclusin, ya que las conclusiones
de sus modos vlidos son todas negativas y por lo tanto la extensin de su predicado est
universalmente excluida de la extensin del sujeto.

Tercera figura

En la tercera figura, los modos vlidos son:


3 Figura Modos de la tercera figura

PM MP AIAEOE

Pm MS AAIAAI

C SP IIIOOO

Los nombres que reciben son:

Nombre Modo Ejemplo

DARAPTI AAI PM Todo buey es cuadrpedo

Pm Todo buey es macho

C Algn macho es cuadrpedo

FELATPON EAO PM Ninguna vbora tiene pies

Pm Toda vbora es reptil

C Algn reptil no tiene pies

DISAMIS IAI PM Algn pitufo es azul

Pm Todo pitufo es barbn

C Algn barbn es azul

DATISI AII PM Toda longaniza es embutido

Pm Alguna longaniza es verde

C Algn embutido es verde

BOCARDO OAO PM Algn carnicero es amable

Pm Todo carnicero no es mutilador

C Algn mutilador es amable

FERISON EIO PM Ningn caballo es bajista


Pm Algn caballo es animal de granja

C Algn animal de granja no es bajista

La historia de los nombres contina:

Al mesero Felapton Ferison le pidieron postres con d: Datisi, Disamis y Daparti y se los comieron
de un bocardo.

A la tercera figura se le conoce tambin como figura inductiva. Frecuentemente es usada para
demostrar que un cierta cantidad de seres de una misma clase no poseen lo misma cualidad
(Felapton, Bocardo, Ferison) o bien, trata de mostrar la afinidad de dos cualidades en un mismo ser
(Darapti, Disamis y Datisi).

Cuarta figura

En la cuarta figura los modos vlidos son:

4 Figura Modos de la cuarta figura

PM PM AAIEE

Pm MS AEAAI

C SP IEIOO

Los nombres de los modos de la cuarta figura son:

Nombre Modo Ejemplo

BAMALIP AAI PM Todos las moscas son insectos

Pm Todos los insectos son aplastables

C Algunas cosas aplastables son insectos

CAMELES AEE PM Todo azotador es ponzooso

Pm Ningn ponzooso es deseable


C Ningun ser deseable es azotador

DIMATIS IAI PM Alguna novia es rebelde

Pm Todo rebelde es impredecible

C Alguna novia es impredecible

FESAPO EAO PM Ningn zapote es ctrico

Pm Todo ctrico tiene gajos

C Algna cosa con gajos no es zapote

FRESISON EIO PM Ninguna computadora es omnvoro


Pm Alguna omnvoro es anorxico
C Algn anorxico no es computadora

CAMENTOP AEO PM Todos azotador es ponzooso


Pm Ningn ponzooso es deseable
C Algn ser deseable no es azotador

Existe tambin un modo vlido extra de la cuarta figura: CAmEntOp. Es un modo derivado
de CAmElEs.

La cuarta figura en el idioma espaol casi no es usada. Tambin es conocida como la figura
de Galeno, pues se cree que l fue quien la introdujo. No obstante, sta se populariz a partir
del siglo XVIII. Algunos consideran que el conocimiento que aporta es muy pobre. Esta
figura no es enseada por todos los profesores de lgica, y por eso carecede una historia que
permita memorizar los nombres de sus modos vlidos.

Ejercicio

Representar con smbolos (t, T, M) a los siguientes silogismos; luego indicar a qu figura y modo
pertenecen, y si el modo es invlido, tambin se debera indicar.

Silogismo Esquema Nmero de figura Modo

Todo ser vivo es valioso

Todo gusano es ser vivo

Todo gusano es valioso


Todo elefante barrita

Ese elefante es mi mascota

Mi mascota barrita

Todo hombre es mortal

Todo hombre es biodegradable

Algn ser biodegradable es mortal

Ningn joven es anciano


Algunos hombres son ancianos
Algunos hombres no son jvenes

Toda mujer es ser humano


Todos los seres humanos no son poiquilotermos.
Ningn poiquilotermo es mujer

Toda ave tiene alas


Algn ovparo es ave
Algn ovparo tiene alas

Ningn tomo es indivisible


Todo tomo es material
Ningn cosa material es indivisible