ñpjuhgujk

Proposiciones categóricas son afirmaciones acerca de categorías o clases.

Toda proposición categórica es un enunciado acerca de los miembros de dos clases, y de relación entre ellos. Porejemplo: 
Ningún soltero es casado. 
Algunos Mazda no son fabricados en Japón. 
Estos tipos de enunciados (sujeto-predicado) son los que encontramos en una forma de lógica, conocida como aristotélica,tradicional, o de silogismos categóricos. 
Aristóteles (384-322 a.C.). Fue el primero en estudiar las formas de la argumentación; a él se le atribuye la invención de la lógica como ciencia. La forma deargumentación que él identificó y sistematizó usaba enunciados 
sujeto-predicado en un silogismo (dos premisas y una conclusión). Debido a que esta fue la forma de lógica que, por propósitos prácticos,se usó hasta el siglo XIX, se conoce como lógica tradicional. Porque fue trabajada primero por Aristóteles, se la conoce como lógica aristotélica. Finalmente, porque trata de los enunciadoscategóricos en forma silogística, se la conoce como la lógica de los silogismos categóricos. 

Aunque la lógica moderna ha modificado la lógica tradicional y, de hecho, la ha superado, vale la pena estudiarla silogística categorial por dos razones. 

Primera, porque la lógica tradicional ha jugado un papel importante en la historia del pensamiento occidental. De hecho, es la lógica que la mayoría degente reconoce como tal. Segunda, porque la silogística categorial es un sistema deductivo relativamente fácil y accesible. 

Emplea un número limitado de formas proposicionales, y la validez de sussilogismos pueden ser comprobada sin mayor dificultad técnica. Más aún, uno encuentra silogismos categóricos en el lenguaje ordinario. De manera que empezaremos nuestro estudio de la lógica deductivacon una versión actualizada del silogismo tradicional. Pero para hacer esto, necesitamos estudiar la proposición categórica primero. 

Las cuatro clases de proposiciones categóricas 

Una...