Calidad, cantidad y distribucin

Las proposiciones categricas de forma tpica que tienen los mismos trminos sujeto y predicado pueden diferir entre s en la calidad, en la cantidad o en ambas. Los lgicos de otros tiempos dieron a este gnero de diferencias el nombre tcnico de 'oposicin' y establecieron importantes relaciones entre los valores de verdad de las proposiciones que difieren en los aspectos mencionados. Dos proposiciones son contradictorias si una de ellas es la negacin de la otra, esto es, si no pueden ser ambas verdaderas y no pueden ser ambas falsas. Es indudable que dos proposiciones categricas de forma tpica que tienen el mismo sujeto y el mismo predicado, pero que difieren tanto en cantidad como en calidad, son contradictorias. As, las proposiciones A y O: Todos los jueces son abogados. y Algunos jueces no son abogados. que se oponen tanto en cantidad como en calidad, son obviamente contradictorias. Al menos una de ellas es verdadera y al menos una es falsa. De igual modo, las proposiciones E e I: Ningn poltico es idealista. y Algunos polticos son idealistas. se oponen tambin en cantidad y calidad y son, por tanto, contradictorias. Podemos decir, pues, esquemticamente, que la contradictoria de Todo S es P es Algunos S no son P, y la contradictoria de Ningn S es P es Algunos S son P; A y O son contradictorias, como lo son tambin E e I. Se dice que dos proposiciones son contrarias si no pueden ser ambas verdaderas, aunque pueden ser ambas falsas. La teora tradicional, aristotlica, de las proposiciones categricas sostena que las proposiciones universales que tienen sus trminos sujeto y predicado iguales, pero que difieren en calidad, son contrarias. As, se afirmaba que dos proposiciones A y E tales como: Todos los poetas son holgazanes. y Ningn poeta es holgazn. no pueden ser ambas verdaderas, aunque pueden ser ambas falsas, y, por lo tanto, se las consideraba con contrarias. Se dice que dos proposiciones son subcontrarias si no pueden ser ambas falsas, aunque pueden ser ambas verdaderas. La teora tradicional mencionada sostena que las proposiciones particulares que tienen los mismos trminos sujeto y predicado, pero que difieren en calidad, son subcontrarias. Se afirmaba que proposiciones I y O tales como: Algunos diamantes son piedras preciosas. y Algunos diamantes no son piedras preciosas. pueden ser ambas verdaderas, pero no pueden ser ambas falsas, y, por tanto, debe considerrselas como subcontrarias. Los ejemplos dados hasta ahora de oposicin entre proposiciones sugieren la idea de desacuerdo. Pero la palabra 'oposicin', en el presente contexto, es un trmino tcnico que se aplica tambin a los casos en que no hay desacuerdo en el sentido ordinario. De este modo, si dos proposiciones que tienen los mismos trminos sujeto y predicado concuerdan en calidad y difieren solamente en cantidad, hay oposicin aun cuando ello no implique ningn desacuerdo. Se sostena en tales casos que la verdad de la proposicin particular se deduca o era implicada por la verdad de la proposicin universal. Por ejemplo, de la verdad de una proposicin A tal como:

Todas las araas son animales de ocho patas, se poda derivar la verdad de la proposicin I correspondiente: Algunas araas son animales de ocho patas. Igualmente, de la verdad de una proposicin E, como: Ninguna araa es un insecto. Se supona que se poda derivar la verdad de la proposicin O correspondiente: Algunas araas no son insectos. La oposicin entre una proposicin universal y su particular correspondiente (esto es, la proposicin particular que tiene los misnios trminos sujeto y predicado, y la misma calidad que la proposicin universal) recibi el nombre de 'subalternacin'. La proposicin universal es llamada la 'subalternante' y la particular 'subalterna'. En la subalternacin, se sostena, la subalternante implica la subalterna. La implicacin no es vlida de la subalterna a la subalternante, pues subalternas como: Algunos animales son gatos. y Algunos animales no son gatos. Son ambas verdaderas, mientras que sus subalternantes son obviamente falsas. Se representaba estos distintos tipos de oposicin mediante un diagrama llamado el Cuadro de Oposicin, que se reproduce a continuacin: Se pensaba que las relaciones diagramadas en este Cuadro de Oposicin suministraban una base lgica para justificar ciertas formas de razonamiento elementales. A este respecto, se acostumbra distinguir entre inferencia mediata e inferencia inmediata, Inferir es extraer una conclusin de una o ms premisas. Cuando hay ms de una premisa, como en el silogismo, que tiene dos, se dice que la inferencia es 'mediata', presumiblemente porque se supone que la conclusin se extrae de la primera premisa por mediacin de la segunda. Cuando se extrae la conclusin a partir de una premisa solamente, se dice que la inferencia es 'inmediata'. La informacin incluida en el Cuadro de Oposicin evidentemente suministra la base para un cierto nmero de inferencias inmediatas. As, si se toma como premisa una proposicin A entonces, segn el Cuadro de Oposicin, podemos inferir vlidamente que la proposicin O correspondiente (esto es, la proposicin O cuyos trminos sujeto y predicado son los mismos que los de A), es falsa. Y de la misma premisa se puede inferir inmediatamente que la proposicin I correspondiente es verdadera. Naturalmente, de la verdad de una proposicin I no se deduce la verdad de la proposicin A correspondiente, pero s la falsedad de la proposicin E correspondiente. El Cuadro de Oposicin tradicional suministra la base para un nmero considerable de tales inferencias inmediatas. Conocida la verdad o falsedad de una cualquiera de las cuatro proposiciones categricas de forma tpica, puede inferirse inmediatamente la verdad o falsedad de algunas o de todas las otras. Estas inferencias inmediatas basadas en el Cuadro de Oposicin tradicional pueden clasificarse de la siguiente forma: Si A es verdadera: E es falsa, I es verdadera, O es falsa. Si E es verdadera: A es falsa,I es falsa. O es verdadera. Si I es verdadera: E es falsa, A y O quedan indeterminadas. Si O es verdadera: A es falsa, Bel quedan indeterminadas. Si A es falsa: O es verdadera, E e I quedan indeterminadas. Si E es falsa:I es verdadera, A y O quedan indeterminadas. Si I es falsa: A es falsa, E es verdadera, O es verdadera. Si O es falsa: A es verdadera, E es falsa. I es verdadera.