Laboratorio de Altos Estudios en Ciencias Informticas

Programa de Entrenamiento Acadmico (PEA) en Ciencias Informticas

Ctedra de Introduccin a la Lgica y Mtodos Cientficos

Prof. Eugenia Bahit

Tema III
Silogismos Categricos

ndice de contenidos
Silogismos Categricos........................................................................................................................1
Silogismo.........................................................................................................................................2
Silogismo categrico........................................................................................................................2
Naturaleza formal del silogismo......................................................................................................2
Silogismo categrico de forma tpica..............................................................................................2
Figura...............................................................................................................................................3
Reglas que debe cumplir un silogismo categrico de forma tpica.................................................3
Bibliografa......................................................................................................................................6
 TEMA III. SILOGISMOS CATEGRICOS.
Ctedra de Introduccin a la Lgica y Mtodos Cientficos. Programa de Entrenamiento Acadmico en Ciencias Informticas.
2016 Eugenia Bahit, Laboratorio de Altos Estudios en Ciencias Informticas https://www.laeci.org/ CC BY-SA 4.0

Silogismo.
Un silogismo es un razonamiento deductivo en el que se infiere una conclusin de dos
premisas (Irving M. Copi, 1972).

Silogismo categrico.
El silogismo categrico emplea tres proposiciones categricas, dos de ellas como
premisa y la tercera, como conclusin.

Naturaleza formal del silogismo.

Los silogismos categricos poseen tres trminos:

Trmino menor S Aparece en el trmino sujeto de la conclusin

Trmino mayor P Aparece en el trmino predicado de la conclusin
Trmino medio M Aparece en las dos premisas pero no en la conclusin

El trmino menor, aparece a la vez en una de las dos premisas. La premisa que contenga
el trmino menor ser denominada premisa menor. Lo mismo sucede con el trmino
mayor, solo que la premisa que lo contenga ser denominada premisa mayor.

M P
Todo lenguaje de programacin es un lenguaje informtico. Premisa mayor

PHP es un lenguaje de programacin. Premisa menor

S M
Luego, PHP es un lenguaje informtico.
S P

Silogismo categrico de forma tpica.

El silogismo categrico de forma tpica es entonces, aquel posee tres proposiciones
categricas de forma tpica en el orden especfico, es decir, premisa mayor, premisa
menor y conclusin.

2
 TEMA III. SILOGISMOS CATEGRICOS.
Ctedra de Introduccin a la Lgica y Mtodos Cientficos. Programa de Entrenamiento Acadmico en Ciencias Informticas.
2016 Eugenia Bahit, Laboratorio de Altos Estudios en Ciencias Informticas https://www.laeci.org/ CC BY-SA 4.0

Sin embargo, es muy importante hacer notar que el orden de las premisas no da su
condicin de mayor o menor. La condicin de mayor o menor solo la da la presencia de
los trminos mayor y menor respectivamente.

Figura.
Como bien puede verse, el trmino medio aparece en las dos premisas. Sin embargo, el
orden en el que ste aparece puede variar, siendo trmino sujeto en una premisa y
trmino predicado en la otra; trmino sujeto en ambas; o trmino predicado en ambas.
Esta disposicin del trmino medio implica necesariamente que el trmino mayor y el
trmino menor, tambin modifiquen su orden dentro de cada premisa.
A esta disposicin de los trminos se la conoce como figura, pudiendo resumirse las
cuatro figuras posibles en las siguientes:

Primera Figura Segunda Figura Tercera Figura Cuarta Figura

MP PM MP PM
SM SM MS MS

La figura en conjuncin con el modo (forma tpica) son parte necesaria para comprobar
la validez de un silogismo categrico.

Un silogismo con la siguiente estructura:

Todos los caballos son herbvoros.
Ningn mosquito es herbvoro.
Luego, ningn mosquito es caballo.
tiene la forma AEE-2. Apoyado luego en las reglas de un silogismo categrico, se podr
verificar su validez.

Reglas que debe cumplir un silogismo categrico de forma tpica.

Hay seis reglas que un silogismo categrico de forma tpica debe cumplir para ser
vlido. Estas son:

3
 TEMA III. SILOGISMOS CATEGRICOS.
Ctedra de Introduccin a la Lgica y Mtodos Cientficos. Programa de Entrenamiento Acadmico en Ciencias Informticas.
2016 Eugenia Bahit, Laboratorio de Altos Estudios en Ciencias Informticas https://www.laeci.org/ CC BY-SA 4.0

Regla N1: debe tener solo tres trminos utilizados cada uno, en el mismo sentido a lo
largo del argumento.

En el siguiente argumento:

Los lugares seguros para el dinero son los bancos.

Todos los bancos son lugares para descansar.
Luego, todos los lugares para descansar son lugares seguros para el dinero.

El trmino medio (bancos) se usa en la premisa mayor en su acepcin referida a las

entidades financieras. Sin embargo, en la premisa menor, se lo emplea en referencia a
los asientos.

Claramente, este sarcstico silogismo categrico no es vlido puesto que si bien

aparenta poseer tres trminos, como el trmino medio cambia su sentido a lo largo del
argumento, pasa a tener entonces, cuatro trminos (lugares seguros para el dinero,
bancos -como entidades financieras-, bancos -como asientos- y lugares para descansar)
violando as la regla 1.

Regla N2: El trmino medio debe estar distribuido en al menos una de las premisas.

Recordemos que un trmino se considera distribuido cuando hace referencia a toda la

clase designada.

Supongamos el siguiente argumento:

Todos los bancos son lugares seguros para el dinero. (P - M)

Algunos lugares seguros para el dinero no son lugares seguros para sus
empleados. (M - S)
Luego, los lugares seguros para sus empleados no son los bancos.

En este ejemplo, tenemos un argumento con forma tpica AOA-4 (Cuarta figura: P - M /
M - S). En la premisa mayor, el trmino medio aparece en el trmino predicado pero la
forma tpica A, solo distribuye el trmino sujeto y no as el predicado. En la premisa

4
 TEMA III. SILOGISMOS CATEGRICOS.
Ctedra de Introduccin a la Lgica y Mtodos Cientficos. Programa de Entrenamiento Acadmico en Ciencias Informticas.
2016 Eugenia Bahit, Laboratorio de Altos Estudios en Ciencias Informticas https://www.laeci.org/ CC BY-SA 4.0

mayor, el trmino medio -presente en el trmino sujeto- no est distribuido, ya que la

forma tpica O solo distribuye el predicado.

Por lo tanto, el trmino medio no se encuentra distribuido en ninguna de las dos

premisas. En consecuencia, no es un argumento vlido.

Regla N3: la conclusin no puede distribuir trminos no distribuidos en las premisas.

Presentamos ahora el siguiente argumento:

Algunos bancos son lugares seguros para el dinero.

Todos los lugares seguros para el dinero son lugares seguros para sus empleados.
Luego, los lugares seguros para sus empleados son los bancos.

En este argumento (donde s se distribuye el trmino medio) la conclusin hace

referencia a todos los bancos. Es decir, que distribuye el trmino predicado. Sin
embargo, la premisa mayor que contiene dicho trmino mayor -banco- no lo distribuye.
Solo habla de algunos bancos (una parte de ellos pero no todos). Por lo tanto es un
argumento invlido porque viola la regla nmero 3.

Regla N4: no puede tener dos premisas negativas (al menos una de las premisas no
debe ser negativa).

Esta regla est directamente relacionada con el principio de definicin que indica que no
se puede definir algo por lo que no es. Veamos esto con un ejemplo:

Ningn banco es un lugar seguro para el dinero.

Ningn lugar seguro para el dinero es un lugar seguro para sus empleados.
Luego, ningn lugar seguro para sus empleados es un banco.

Aqu vemos que:

tenemos solo tres trminos (la regla 1 no se viola)
el trmino medio se encuentra distribuido en la premisa mayor (la regla 2 no se
viola)

5
 TEMA III. SILOGISMOS CATEGRICOS.
Ctedra de Introduccin a la Lgica y Mtodos Cientficos. Programa de Entrenamiento Acadmico en Ciencias Informticas.
2016 Eugenia Bahit, Laboratorio de Altos Estudios en Ciencias Informticas https://www.laeci.org/ CC BY-SA 4.0

los trminos distribuidos en la conclusin (lugar seguro para el dinero y

banco) se encuentran distribuidos en las premisas mayor y menor
respectivamente (no viola la regla 3)

Pero, tanto la premisa mayor como la premisa menor, son ambas negativas y por lo
tanto, se viola la regla nmero 4 haciendo que este argumento no sea vlido.

Regla N5: si una premisa es negativa la conclusin tambin lo es.

Dado el siguiente argumento:

Todo banco es un lugar seguro para el dinero.

Ningn lugar seguro para el dinero es un lugar seguro para sus empleados.
Luego, un lugar seguro para sus empleados no es un banco.

Repasemos las reglas listadas hasta el momento:

El argumento tiene solo tres trminos (banco, lugar seguro para el dinero y lugar
seguro para sus empleados). La regla 1 no es violada.
El trmino medio (lugar seguro para el dinero) se distribuye en la premisa
menor. La regla 2 no es violada.
Los trminos distribuidos en la conclusin (lugar seguro para sus empleados y
banco) se encuentran distribuidos en la premisa mayor y menor respectivamente.
Por lo tanto no hay violacin de la regla 3.
Solo hay una premisa negativa, la premisa menor. La regla 4 no es violada.

Incluimos ahora la nueva regla. Como la premisa menor es una premisa universal
negativa, la conclusin debe tambin ser negativa. Aqu, la conclusin es negativa. Por
lo tanto no se viola la regla nmero 4 y el argumento es un argumento vlido.

Regla N6: una conclusin particular no puede basarse en dos premisas universales.

Retomemos el ltimo ejemplo modificando ahora el cuantificador de su conclusin:

Todo banco es un lugar seguro para el dinero.

6
 TEMA III. SILOGISMOS CATEGRICOS.
Ctedra de Introduccin a la Lgica y Mtodos Cientficos. Programa de Entrenamiento Acadmico en Ciencias Informticas.
2016 Eugenia Bahit, Laboratorio de Altos Estudios en Ciencias Informticas https://www.laeci.org/ CC BY-SA 4.0

Ningn lugar seguro para el dinero es un lugar seguro para sus empleados.
Luego, algunos lugares seguros para sus empleados no son bancos.

Claramente, de dos premisas universales (A y E) no puede obtenerse una conclusin

particular O. Por lo tanto, se viola la regla 6.

Bibliografa.
Copi, Irving M., Introduccin a la Lgica, Ed. EUDEBA, Buenos Aires, 2014, cap. VI y VII

Eugenia Bahit (LAECI.org) - safecreative.org/work/1602026417290