Silogismo categrico

Proposicin
categrica
Cdigo Forma general nombre Distribucin de
los trminos
Todos los
hombres son
mortales
a Todo S es P Universal
afirmativa
S: +
P: -
Ningn
hombre es
mortal
e Ningn S es P Universal
negativa
S: +
P: +
Algn hombre
es mortal
i Algn S es P Particular
afirmativa
S:-
P:-
Algn hombre
no es mortal
o Algn S no es P Particular
negativa
S: -
P: +
En un razonamiento silogstico existen los
siguientes elementos:
Dos premisas y una conclusin
Trmino mayor: predicado de la conclusin: P
Trmino menor: sujeto de la conclusin: S
Trmino medio: trmino comn a las dos
premisas: M
Premisa mayor: la que contiene el trmino mayor
Premisa menor. La que contiene el trmino
menor.
Forma estndar de un silogismo:
Premisa mayor:
Premisa menor
Conclusin
Ejemplo:
Todos los mltiplos de 8 son pares
Algunos pares son mltiplos de 6
Por tanto, algunos mltiplos de 6 son mltiplos
de 8

Figuras de un silogismo:

M P P M M P P M
S M S M M S M S
(1) (2) (3) (4)
Ejemplo:
Hacer un razonamiento de la forma eai figura 2
Ningn mdico es cientfico
Todos los bilogos son cientficos
Por tanto, ningn bilogo es mdico
Validez de un silogismo
Para que un silogismo sea vlido se deben
cumplir las siguientes condiciones (todas). Si
alguna de ellas falla el silogismo es invlido.
1. El trmino medio debe estar distribuido en al
menos una de las premisas.
2. Si en la conclusin un trmino est distribuido,
tambin debe estarlo en la premisa que lo
contiene
3. Alguna de las premisas debe ser afirmativa
4. Si la conclusin es afirmativa, las dos
premisas tienen que ser afirmativas. Si la
conclusin es negativa, una de las premisas
tambin debe serlo.

5. Si la conclusin es particular, exactamente
una de las premisas debe ser particular. Si la
conclusin es universal, ambas premisas
deben ser universales.
Ejemplo de un silogismo que satisface todas las condiciones y por
tanto es un razonamiento vlido.
Todos los mltiplos de 8 son mltiplos de 2
Todos los mltiplos de 16 son mltiplos de 8
Por tanto, todos los mltiplos de 16 son mltiplos de 2.
Trmino medio: mltiplos de 8
1. El trmino medio: mltiplos de 8 est distribuido en la primera
premisa
2. El trmino menor mltiplos de 16 esta distribuido en la
conclusin y en la premisa menor que lo contiene.
3. Todas las premisas son afirmativas, por tanto al menos una
premisa es afirmativa.
4. La conclusin es afirmativa y las dos premisas son afirmativas
5. la conclusin es universal y las dos premisas son universales.
Ejemplo de razonamiento invlido que viola la
primera regla:
Algn nmero par es primo
Todos los mltiplos de 8 son pares
Por tanto, C1: Algn mltiplo de 8 es primo
C2: Todos los mltiplos de 8 son primos
Conclusin: los razonamientos de la forma:
iai iaa figura (1) son invlidos,
Otro ejemplo que viola la primera condicin y
por tanto es un razonamiento invlido:
Todos los mltiplos de 8 son pares
Algn nmero primo es par
Por tanto, algn nmero primo es mltiplo de 8.
Conclusin: cualquier razonamiento de la forma
aii figura (3)es invlido.
Razonamiento invlido que viola la primera regla:
Algn nmero par es primo
Todos los mltiplos de 8 son pares
Por tanto, algn mltiplo de 8 es primo
M: ser primo:= ser no compuesto
Nuevo razonamiento:
Algn nmero par es no compuesto
Todos los mltiplos de 8 son pares
Por tanto, algn mltiplo de 8 es no compuesto


Razonamiento vlido:
Todos los seres humanos son mortales
Algn matemtico es un ser humano
Por tanto, algn matemtico es mortal.
Veamos que satisface las cinco reglas para
silogismos vlidos:
1. El trmino medio ser humano est
distribuido en la premisa mayor.
2. Ningn trmino de la conclusin esta
distribuido, por tanto satisface 2)

3. Alguna premisa es afirmativa pues las dos son
afirmativa
4. La conclusin es afirmativa y las dos premisas
son afirmativas
5. La conclusin es particular y exactamente una
de las premisas es particular.
Modifiquemos el razonamiento de la siguiente
manera:
Todos los seres humanos son seres no
inmortales
Algn matemtico es un ser humano
Algn matemtico es un ser no inmortal
Todos los seres humanos son seres no
inmortales:= Ningn ser humano es un ser
inmortal
Todos los nmeros primos distintos de 2 son no
impares
Ningn nmero primo distinto de 2 es par
Modifiquemos el razonamiento de la siguiente
manera:
Ningn ser humano es un ser inmortal
Algn matemtico es un ser humano
Algn matemtico no es un ser inmortal.

Todos los S son no M:= Ningn S es M
Diagramas de Venn y un criterio
grfico de validez de silogismos
Los trminos, que son conjuntos, se representaran por
crculos.
Representacin de las 4 formas generales de
proposiciones categricas:
a) Todo S es P: No hay ningn elemento de S que no sea P.
Ejemplo:
Todos los hombres son mortales: no hay ningn elemento
del conjunto hombres que no pertenezca al conjunto
de los mortales; es decir el conjunto de los hombres
que no son mortales es vacio o no tiene elementos.
e:Ningn S es P: No hay ningn elemento de S
que no est incluido en P.
Ejemplo: Ningn nmero primo es mltiplo de 8:
El conjunto de los nmeros que son primos y
mltiplos de 8 es vacio.
i: Algn S es P: Existe un elemento que pertenece
al mismo tiempo a S y P
Ejemplo : Algn colombiano es premio Nobel de
Literatura.
Existe alguien que es colombiano y premio Nobel
de literatura.

Algn S no es P: Existe un elemento en S que
no pertenece a P
Ejemplo: Algn poltico no es corrupto
Existe alguien que es poltico y no es corrupto.


Ejemplo: analizar si el siguiente silogismo es
vlido, analizando si satisface los cinco criterios
y luego verificndolo por el mtodo grfico:
Ningn automvil deportivo es un vehculo
diseado para viajar a velocidades moderadas,
pero todos los automviles de uso familiar son
diseados para viajar a velocidades
moderadas, de donde se sigue que ningn
automvil deportivo es un automvil de uso
familiar.
P1: Todos los automviles de uso familiar son
diseados para viajar a velocidades moderadas
P2:Ningn automvil deportivo es un vehculo
diseado para viajar a velocidades moderadas,
C:Ningn automvil deportivo es un automvil
de uso familiar.

Analizar si el siguiente silogismo es vlido,
usando tres procedimientos: analoga lgica,
criterios de validez de silogismos y mtodo
grfico.
Todos los ejecutivos de empresas privadas son
activos oponentes del aumento a los
impuestos, porque todos los oponentes
activos del aumento a los impuestos son
miembros de la cmara de comercio y todos
los miembros de la cmara de comercio son
ejecutivos de empresas privadas.

P1: Todos los oponentes activos del aumento a
los impuestos son miembros de la cmara de
comercio
P2:Todos los miembros de la cmara de
comercio son ejecutivos de empresas
privadas.
C: Todos los ejecutivos de empresas privadas
son activos oponentes del aumento a los
impuestos

Invalidez por analoga lgica:
Todos los mltiplos de 8 son mltiplos de 4
Todos los mltiplos de 4 son pares
Por tanto, todos los nmeros pares son
mltiplos de 8
Conclusin: los razonamientos de la forma aaa,
figura 4 son invlidos
Determinar grficamente la invalidez del
siguiente razonamiento:
Todos los perros son mamferos
Todos los gatos son mamferos
Por tanto, todos los gatos son perros
Determinar grficamente la validez o invalidez
del silogismo.
Todos los artistas son egostas
Algunos artistas son pobres
Por tanto, algunos pobres son egoistas

Analizar la validez o invalidez del siguiente
razonamiento:
Todos los grandes cientficos son graduados
universitarios
Algunos atletas profesionales son graduados
universitarios
Por tanto, algunos atletas profesionales son
grandes cientficos.