Silogismo hipottico

El silogismo categrico, es el razonamiento deductivo por antonomasia: dado

dos juicios, se sigue de ellos necesariamente otro, originando, asi, una
estructura que en los juicio estn relacionados entre si. Para que la deduccin
sea bsica, es fundamental que las proposiciones que hacen de premisas y la
que hace de conclusin tenga algo en comn. Es decir, que establezca la
relacin entre trminos entendiendo por trminos aquellos conceptos que hacen
de sujeto y predicado en la oracin.
Ej: El hombre es mortal
Aqu tanto el concepto hombre como el concepto mortal forman una proposicin
e que uno es sujeto y otro predicado, de esta manera el uno est en conexin
con el otro
Reglas del silogismo categorico
1 consta de tres trminos: termino mayor, menor y medio
Medio en ambas y hace relacin
A su vez la premisa ayo es la primera y la segunda. Estas se orddenan por
consecuencia primero mayor y luego menor
Ej:todos los hombres son mortales (Premisa mayor
Pedro es hombre(premisa menor
Pedro es mortal (conclusin
El concepto que se repite en ambas premisas es hombre, luego hace de termino
medio, entre concepto mortales y el concepto Pedro, por estar en la premisa
mayor, mortales es el termino mayor y peddro es el termino medio por estar en
la premisa menor
El termino medio no debe aparecer en la conclusin
Esto lo podemos constatar en el mismo ejemplo anterior. Podemos ver como
efectivamente en la conclusin no aparece el termino medio
El termino medio debe ser tomado por lo menos una vez en toda su extensin
consideremos el mismo ejemplo:
Todos los hombres son mortales (universal), pedro es hombre(singular), pedro es
mortal (singular).
En la primera premisa, el termino medio : hombre esta tomado en toda su
extensin. Al decir : todos los hombres son mortales, nos estamos refiriendo
apsolutamnete a toda la extesion de hombre, luego cumplimos con la regla,
propondremos nuevo ejemplo : todos los hombres son mortales (premisa mayor),

todos los mortales son finitos(premisa menor), algunos seres finitos son
hombres(conclusin).
Aqu tambin cumplimos con la regla. Veamos : el concepto que se repite en
ambas premisas es mortales , luego es el termino medio, el concepto hombre es
el termino de la premisa mayor, luego es el termino mayor, ahora, como la
conclusin el termino menor precede al termino mayor y como no tiene mayor
extensin que en las premisas hemos concluido vlidamente al inferir que
algunos seres finitos son mortales.
Ningn termino debe aparecer en la conclusin con mayor extension que en las
premisas:
Algunos venezolanos son caraqueos (premisa mayor),todo caraqueo vive a las
faldas del avila (premisa menor), todo venezolano vive a las faldas del avila
(conclusin )
En este ejemplo la conclusin no es valida, porque el termino venezolano es
usado en una extencion mayor que en la premisa, en la premisa mayor es una
extension particular , mientras en la conclusin es universal
De dos premisas negativas no se optene ninguna conclusin
Esta regla es comprensible si se toma en cuenta que en nuestro lenguaje la
proposicin negativa niega una inclusin de clase, es decir, afirma que todos o
algunos de los miembros de una clase son excluidos de la totalidad o de la
particularidad de otra clase,por ejemplo, la proposicin ningn mamfero es
invertebrado excluye sin duda, las clase de los mamferos de los invertebrado,
luego, si se tiene un razonamiento en qu ambas premisas son negativas,ocurre
que ,al ser ambas excluyentes , nninguno de los dos extremos combiene con la
conclusin ejemplo:todos los mamferos son invertebrados, las hormigas no son
mamferos, las hormigas son invertebrados? Sin duda, el razonaminto anterior
viola la regla porque ninguno de los dos extremos conviene con el tercero por lo
tanto , en la silogstica, de dos premisas negativas nos infier vlidamente
ninguna relacin entre el sujeto y el predicado. Esta regla se fundamenta sobre
el principio de dos cosas iguales a una terceras son iguales entre si : a = b y
b=c y se sigue a=c mientras que no sabemos si dos cosas que no son iguales a
la tercera son iguales entre si a=/ b y b=/c, ..?... sin embargo la lgica
contempornea (lgica matemtica) considera que dos cosas que no son iguales
no son iguales a la tercera
A>B, B>/C , a>/c