Proposiciones categricas

Proposiciones categricas son afirmaciones acerca de categoras o clases.

Toda proposicin categrica es un enunciado acerca de los miembros de dos
clases, y de relacin entre ellos. Por ejemplo:
Ningn soltero es casado.
Algunos Mazda no son fabricados en Japn.
Estos tipos de enunciados (sujeto-predicado) son los que encontramos en una
forma de lgica, conocida como aristotlica, tradicional, o de silogismos
categricos.
Aristteles (384-322 a.C.). Fue el primero en estudiar las formas de la
argumentacin; a l se le atribuye la invencin de la lgica como ciencia. La forma
de argumentacin que l identific y sistematiz usaba enunciado sujetopredicado en un silogismo (dos premisas y una conclusin). Debido a que esta fue
la forma de lgica que, por propsitos prcticos, se us hasta el siglo XIX, se
conoce como lgica tradicional. Porque fue trabajada primero por Aristteles, se la
conoce como lgica aristotlica. Finalmente, porque trata de los enunciados
categricos en forma silogstica, se la conoce como la lgica de los silogismos
categricos.
Aunque la lgica moderna ha modificado la lgica tradicional y, de hecho, la ha
superado, vale la pena estudiar la silogstica categorial por dos razones.
Primera, porque la lgica tradicional ha jugado un papel importante en la historia
del pensamiento occidental. De hecho, es la lgica que la mayora de gente
reconoce como tal. Segunda, porque la silogstica categorial es un sistema
deductivo relativamente fcil y accesible.
Emplea un nmero limitado de formas proposicionales, y la validez de sus
silogismos pueden ser comprobada sin mayor dificultad tcnica. Ms an, uno
encuentra silogismos categricos en el lenguaje ordinario. De manera que
empezaremos nuestro estudio de la lgica deductiva con una versin actualizada
del silogismo tradicional. Pero para hacer esto, necesitamos estudiar la
proposicin categrica primero.
Las cuatro clases de proposiciones categricas

Una proposicin categrica es un enunciado que relaciona dos clases, o

categoras. Las dos clases, en cualquier proposicin categrica, se colocan en una
relacin de sujeto-predicado. Algo es predicado, o dicho acerca de un sujeto. Lo
que se dice es que una clase (el sujeto) est incluida o excluida de la clase del
predicado. As, para referirnos a uno de los ejemplos de arriba: Ningn soltero
est casado, dice que la clase de los solteros (el sujeto) est completamente
excluida de la clase de los casados (el predicado). De manera semejante, decir
que todos los chimpancs son primates es afirmar que cualquier sujeto que sea un
chimpanc estar incluido en la clase de los primates (el predicado).
Existen cuatro clases de proposiciones categricas. Usando S y P como
smbolos, estas son:
Universal afirmativa: Todo S es P
Universal negativa: Ningn S es P
Particular afirmativa: Algn S es P
Particular negativa: Algn S no es P
Las palabras todo y algn se llaman "cuantificadores" porque indican la
cantidad del sujeto. Esto es, especifican cunto elementos de la clase del sujeto
estn incluidos en la clase del predicado. (Ningn indica cero miembros.) El
verbo en una proposicin categrica correctamente expresada, es siempre alguna
forma del verbo ser, y se conoce como cpula. Tenemos, entonces, el siguiente
esquema:
Cuantificador: todo, ningn, algn.
Sujeto: la clase que se incluye en o que se excluye de, el predicado.
Cpula: es, son, era, eran.
Predicado: la clase de la cual el sujeto es o no es parte.
Este anlisis, sin embargo, no indica claramente si una proposicin es afirmativa o
negativa en calidad. Una proposicin afirmativa es aquella que sostiene que el
sujeto est incluido en la clase del predicado; una negativa, aquella que afirma
que el sujeto est excluido del predicado. De manera que un esquema ms

completo agregara:
Cuantificador negativo: no
Ya que las cuatro proposiciones categricas bsicas tienen un sujeto, un
predicado y una cpula, una forma de distinguirlas es por su cantidad y cualidad.
Cada proposicin ser universal o particular (y se distinguir por la cantidad), y
afirmativa o negativa (y se distinguir por la calidad). De manera que podemos
distinguir las proposiciones como sigue:
Universal afirmativa: Todo S es P
Universal negativa: Ningn S es P
Particular afirmativa: Algn S es P
Particular negativa: Algn S no es P