Вы находитесь на странице: 1из 12

UNIDAD N° 3

PARTE 2
RAZONAMIENTOS

Un tipo de razonamiento que la lógica moderna analiza en la simbología de la lógica de


clases es el silogismo categórico de la lógica tradicional, muchos de cuyos ejemplos fueron
analizados ya en la lógica cuantificacional.

Además del silogismo categórico, la lógica tradicional distingue el silogismo hipotético y el


silogismo disyuntivo (que ya fueron presentados en la lógica proposicional).

Aristóteles llamo silogismo a todo razonamiento deductivo compuesto por dos premisas y
una conclusión. Y a silogismos categóricos a aquel razonamiento cuyas premisas y
conclusiones son proposiciones categóricas.

Una proposición categórica es aquella en la que se afirma o niega un predicado de un sujeto.


Por ejemplo:

“todos los hombres son mortales “(todo S es P)

“ningún astronauta es egipcio” (ningún S es P)

Estas proposiciones contienen lo que la lógica tradicional llama “términos”, que son los
predicados de la lógica cuantificacional, y las clases de la lógica de clases. Por ejemplo:

Ningún héroe es cobarde

Algunos soldados son cobardes

Algunos soldados no son héroes


Los términos de este silogismo son “héroes”, “cobardes” y “soldados”.

 Al término que figura 2 veces en las premisas, bien como sujeto o bien como
predicado, pero que no aparece en la conclusión se lo denomina “TERMINO
MEDIO” y se lo simboliza “M”.
 Al término que figura como predicado de la conclusión se lo llama “TERMINO
MAYOR” y se lo simboliza “P”
 El término que es sujeto de la conclusión es el “TERMINO MENOR” y se lo
simboliza “S”

Si bien el orden de las premisas no altera la forma del razonamiento, se conviene ordenarlas
colocando en primer término la premisa mayor y en segundo la premisa menor.

Las 3 proposiciones del silogismo pueden ser de cualquiera de las 4 formas categóricas:

- Tipo A, o universales afirmativas (todo S es P)

2
- Tipo E, o universales negativas (ningún S es P)
- Tipo I, o particulares afirmativas (algún S es P)
- Tipo O, o particulares negativas (algún S no es P)

El término medio podrá ocupar distintas posiciones en las premisas, que se esquematizan de
la siguiente manera:

 1° figura

M es P
S es M
el término medio es sujeto en la primera premisa y predicado en la segunda.
S es P

 2° figura:

P es M
S es M el término medio es predicado en ambas premisas.
S es P

 3° figura:

M es P
M es S el término medio es sujeto en ambas premisas.
S es P

 4° figura

P es M
M es S
El término medio es predicado en la primera premisa y sujeto en la segunda.
S es P

Además de las figuras, están los modos de los silogismos. El modo de un silogismo es la
combinación de los 4 tipos de enunciados A, E, I, O en las premisas y la conclusión. Por
ejemplo, puede ser de los tres de tipo A:

A
A
A

3
Puesto que son 4 tipos de enunciados, en 3 proposiciones, todas las posibles combinaciones
o cantidad de modos de los silogismos estarán dados por la formula combinatoria 43 = 64

Estas 64 posibles combinaciones se dan para cada una de las figuras, de modo que en total
hay 64 × 4 = 256 formas posibles de silogismos. De todas estas 256, no todas son válidas,
sino solo un pequeño número de ellas.

Para determinar la validez de un silogismo, la lógica tradicional enunciaba una lista de reglas
que no debían violarse. Un silogismo resulta inválido al no cumplir al menos una de las
siguientes reglas:

1- El silogismo debe contener exactamente 3 términos, cada uno de los cuales debe
usarse con el mismo significado dentro de razonamiento. El siguiente razonamiento
viola esta regla:

EL TORO CORRE EN LOS ENCIERROS


TORO ES UNA CIUDAD
UNA CIUDAD CORRE EN LOS ENCIERROS

2- El término medio nunca debe estar en la conclusión. El siguiente razonamiento viola


esta regla

PABLO ES GRANDE
PABLO ES FILÓSOFO
PABLO ES UN GRAN FILÓSOFO

3- El término medio debe figurar por lo menos en una de las premisas tomado en toda
su extensión. El siguiente razonamiento viola esta regla :

TODOS LOS GATOS SON MAMIFEROS


ALGUNOS MAMIFEROS SON VERTEBRADOS
TODOS LOS GATOS SON VERTEBRADOS

4
4- Un término no puede estar tomado en toda su extensión en la conclusión sino lo está
en la premisa correspondiente (como sujeto de una proposición universal, o
predicado de una negativa). El siguiente razonamiento viola esta regla:

TODO CIRCULO ES REDONDO


TODO CIRCULO ES UNA (algunas) FIGURA
TODA FIGURA ES REDONDA

5- Las premisas no deben ser ambas negativas. El siguiente razonamiento viola esta
regla:

NINGUN PERRO MAULLA


ALGUNOS GATOS NO MAULLAN
TODOS LOS PERROS NO SON GATOS

6- Las premisas no deben ser ambas particulares. El siguiente razonamiento viola esta
regla:

ALGUNAS MUJERES SON RUBIAS


ALGUNOS HOMBRES SON RUBIOS
ALGUNOS HOMBRES SON MUJERES

7- Si una de las premisas es negativa, la conclusión debe ser negativa. El siguiente


razonamiento viola esta regla:

ALGUNOS SUECOS NO SON DEPORTISTAS


ALGUNOS SUECOS SON EXPLORADORES
ALGUNOS DEPORTISTAS SON EXPLORADORES

8- Si una de las premisas es particular, la conclusión debe ser particular. El siguiente


razonamiento viola esta regla:

ALGUNOS ARTISTAS SON PEREZOSOS


TODOS LOS MUSICOS SON ARTISTAS
TODOS LOS MUSICOS SON PEREZOSOS

5
9- Si ambas premisas son afirmativas, la conclusión debe ser afirmativa. Él siguiente
razonamiento viola esta regla:

TODOS LOS ECOLOGISTAS VIAJAN EN BICICLETA


ALGUNOS CAPITALISTAS SON ECOLOGISTAS
NINGUN CAPITALISTA VIAJA EN BICICLETA

De todas las formas de silogismos determinadas por los modos y las figuras, son válidas
aquellas que no violan ninguna de las reglas enunciadas.

Estas formas, 19 para la lógica clásica, eran reconocidas por una lista de nombres, que
representan cada uno de ellos una forma de silogismo valida.

Las vocales que figuran corresponden a cada uno de los 4 tipos de enunciados A, E, I, O.
Por ejemplo; en la primera figura el nombre CELARENT representa la forma cuya premisa
mayor es de tipo E, la menor es de tipo A y la conclusión tipo E.

La lista de nombres que representan formas validas es la siguiente:

Primera figura:

 BARBARA
 CELARENT
 DARII
 FERIO

Segunda figura:

 CESARE
 CAMESTRES
 FESTINO
 BAROCO

Tercera figura:

 DARAPTI
 FELAPTON
 DATISI
 DISAMIS
 BOCARDO
 FERISON

6
Cuarta figura:

 BAMALIP
 CAMENES
 DIMATIS
 FESAPO
 FRERISON

REPRESENTACION DE LAS PROPOSICIONES CATEGÓRICAS MEDIANTE LOS


DIAGRAMAS DE VENN

Los diagramas de VENN permiten representar gráficamente las proposiciones categóricas


del siguiente modo:

Las extensiones del sujeto (S) y del predicado (P) se representan mediante dos círculos que
se cortan. De ello resultan tres clases o conjuntos de objetos: los que sólo son S y no P; los
que sólo son P y no S; y los que son a la vez S y P.

Los cuatro tipos de proposiciones categóricas, a través de los diagramas de VENN, se


representan de la siguiente manera:

 Proposición Categórica Universal Afirmativa: A

Todos los S son P (∀𝑥)(𝑆𝑥 ⇒ 𝑃𝑥)

La zona rayada significa que en ella no puede existir ningún miembro.

7
 Proposición Categórica Universal Negativa: E

Ningún S es P (∀𝑥)(𝑆𝑥 ⇒ −𝑃𝑥)

La zona rayada significa que en ella no puede existir ningún miembro.

 Proposición Categórica Particular Afirmativa: I

Algún S es P (∃𝑥)(𝑆𝑥 ∧ 𝑃𝑥)

La cruz significa la existencia de al menos un miembro en esa zona.

 Proposición Categórica Particular Negativa: O

Algún S no es P (∀𝑥)(𝑆𝑥 ∧ −𝑃𝑥)

La cruz significa la existencia de al menos un individuo en esa zona.

8
MÉTODO DE LOS DIAGRAMAS DE VENN APLICADO A RAZONAMIENTO
SILOGÍSTICOS.

La lógica de clases proporciona un método gráfico, llamado de diagramas de VENN, para


decidir acerca de la validez de los razonamientos. Este método se aplica principalmente a
silogismos, pero como se analizará en el próximo párrafo puede aplicarse a otros
razonamientos.

Consideraremos ahora su aplicación a silogismos categóricos, y puesto que estos constan de


enunciados del tipo A, E, I, O, veremos primero como son simbolizados estos por la lógica
de clases.

Es posible representar los 4 tipos de enunciados por medio de la inclusión, la no inclusión, la


complementación, o bien los 4 por medio de la intersección la complementación y la
igualdad y desigualdad. La primera es la simbolización propuesta por Pierce y la segunda es
la de Boole. En el cuadro siguiente haremos la correspondencia entre ambas.

TIPO DE ENUNCIADOS SIMBOLOGÍA DE PIERCE SIMBOLOGÍA DE BOOLE


A 𝐴⊂𝐵 𝐴 ∩ 𝐵̅ =Λ
E 𝐴 ⊂ 𝐵̅ 𝐴∩𝐵 =Λ
I 𝐴 ⊄ 𝐵̅ 𝐴∩𝐵 ≠Λ
O 𝐴⊄𝐵 𝐴 ∩ 𝐵̅ ≠Λ

Si bien es más intuitiva la simbolización de Pierce para los enunciados de tipo A y O, y la de


Boole para los tipos E e I, es conveniente para la simbolización de razonamientos no
mezclar ambos tipos de simbolizaciones y adoptar una u otra.

El método de los diagramas de VENN para comprobar la validez o invalidez de los


razonamientos consiste en lo siguiente:

1) Se simbolizan las proposiciones que componen el razonamiento, en el caso de los


silogismos, las dos premisas y la conclusión.
2) Se dibujan tres círculos intersecados que en el caso del silogismo representan las
clases correspondientes a los términos medio, mayor y menor.

S
M P

9
3) Se representan las premisas. Si hubiera alguna universal y otra particular se
representará primero la universal
4) Se verifica si la conclusión ha quedado representada, para lo cual hay que tener en
cuenta las siguientes reglas:
a) Zona sombreada representa clase vacía
b) Zona con x representa clase no vacía, que tiene por lo menos un individuo.
c) Zona en blanco representa falta de información.

Si la conclusión queda representada, el razonamiento es válido; de lo contrario es inválido.

EJEMPLO 1:

TODO ARGENTINO ES SUDAMERICANO

ALGÚN MATEMÁTICO ES ARGENTINO

ALGÚN MATEMÁTICO ES SUDAMERICANO

(∀𝑥)(𝐴𝑥 ⇒ 𝑆𝑥) 𝐴⊂𝑆 𝐴 ∩ 𝑆̅ = Λ


(∃𝑥)(𝑀𝑥 ∧ 𝐴𝑥) 𝑀 ⊄ 𝐴̅ 𝐴∩𝐴 ≠Λ

(∃𝑥)(𝑀𝑥 ∧ 𝑆𝑥) 𝑀 ⊄ 𝑆̅ 𝑀∩𝑆≠Λ

EJEMPLO 2:

TODO RELIGIOSO ES CREYENTE

NINGÚN ATEO ES RELIGIOSO

NINGÚN ATEO ES CREYENTE

10
EJEMPLO 3:

TODAS LAS RANAS SALTAN

NINGUNA MARIPOSA SALTAN

NINGUNA MARIPOSA ES RANA

METODO DE LOS DIAGRAMAS DE VENN APLICADOS A RAZONAMIENTOS


NO SILOGISTICOS

La aplicación de los diagramas de Venn se extiende a otros razonamientos que no son


silogismos. Aquellos que contienen dos o tres términos de clases se representan mediante
círculos, y los que contienen cuatro, mediante elipses. Como en las representaciones el uso
de diagramas para verificar la validez de razonamientos de cinco o más términos de clase,
pero, dadas su complejidad, su utilización es poco frecuente. Los pasos a efectuar son los
mismos que se indicaron anteriormente.

EJEMPLO:

LOS SIAMESES SON GATOS

LOS GATOS SON VERTEBRADOS

NINGÚN VERTEBRADO VUELA

NINGÚN SIAMÉS VUELA

11
12