Hay cuatro formas tpicas de proposiciones categricas, que son las ilustradas por las cuatro proposiciones siguientes: 1. Todos los polticos son mentirosos. 2. Ningn poltico es mentiroso. 3. Algunos polticos son mentirosos. 4. Algunos polticos no son mentirosos. La primera, es una proposicin universal afirmativa. Es una asercin acerca de dos clases, la clase de todos los polticos y la de todos los mentirosos, y afirma que la primera clase est incluida o contenida en la segunda; esto significa que todo miembro de la primera clase es tambin miembro de la segunda. En este ejemplo, el trmino sujeto 'polticos' designa la clase de todos los polticos, y el trmino predicado 'mentirosos' designa la clase de todos los mentirosos. Toda proposicin universal afirmativa puede escribirse esquemticamente as: Todo S es P. Donde las letras 'S' y 'P' representan el trmino sujeto y el trmino predicado, respectivamente. El nombre. 'universal afirmativa' es apropiado porque la proposicin afirma que hay una relacin de inclusin entre las dos clases y, adems, que la inclusin es completa o universal, es decir, que todos los miembros de S son tambin miembros de P. El segundo ejemplo: Ningn poltico es mentiroso. es una proposicin universal negativa. Niega universalmente de los polticos que sean mentirosos. Hace una asercin acerca de dos clases en el sentido de que la primera clase est excluida de la segunda -totalmente excluida-, lo que equivale a decir que no hay ningn miembro de la primera que sea tambin miembro de la segunda. Toda proposicin universal negativa puede escribirse esquemticamente de la siguiente manera: Ningn S es P. donde nuevamente, las letras' S' y' P' representan los trminos sujeto y predicado. Es adecuada la denominacin de 'universal negativa', porque la proposicin niega que haya una relacin de inclusin entre las dos clases y, adems, lo niega universalmente, ya que ninguno de los miembros de S es miembro de P. El tercer ejemplo: Algunos polticos son mentirosos. es una proposicin particular afirmativa. Como es obvio, lo que se afirma en .este caso es que algunos miembros de la clase de todos los polticos son (tambin) miembros de la clase de todos los mentirosos. Pero no afirma esto de los polticos universalmente: no se dice universalmente de todos los polticos que son mentirosos, sino de algn poltico o de algunos polticos, en particular. Esta proposicin no afirma ni niega que todos los polticos sean mentirosos; no se pronuncia sobre la cuestin. No afirma literalmente que algunos polticos no sean mentirosos, aunque en ciertas circunstancias especiales pueda interpretarse que lo implica. La interpretacin literal, mnima, de esta proposicin es que la clase de los polticos y la clase de los mentirosos tienen algn miembro o algunos miembros en comn. Para mayor precisin adoptaremos aqu la interpretacin mnima. La palabra 'algunos' es un poco indefinida. Significa 'al menos uno', o 'al menos dos', o al menos cien? O cuntos? Para mayor exactitud, se acostumbra considerar que la palabra 'algunos'. significa 'al menos uno', aunque esto se aparte del uso ordinario. As, una proposicin particular afirmativa, que se escribe esquemticamente: Algn S es P se interpreta como afirmando que al menos un miembro de la clase designada por el trmino sujeto 'S' es tambin miembro de la clase designada por el trmino predicado' P'. Es apropiado el nombre de "particular afirmativa' porque la proposicin afirma la existencia de una relacin entre las clases, pero no lo afirma de la primera clase universalmente, sino solo parcialmente de algn miembro o de algunos miembros en particular, de la primera clase. El cuarto ejemplo: Algunos polticos no son mentirosos. es una proposicin particular negativa. Este ejemplo, como el anterior, es particular en el sentido de que no se refiere a los polticos universalmente, sino solamente a algn miembro o a algunos miembros en particular de esta clase. Pero, a diferencia del anterior, no afirma que los miembros particulares de la primera clase a los que se refiere estn incluidos en la segunda clase: esto es precisamente lo que se niega. Una proposicin particular negativa, que se escribe esquemticamente: Algn S no es P. afirma que al menos un miembro de la clase designada por el trmino sujeto 'S' est excluido de la clase designada por el trmino predicado' P'. Se ha sostenido tradicionalmente que todos los razonamientos deductivos podan analizarse en trminos de estas cuatro formas tpicas de proposiciones categricas y sobre ellas se construy toda una elaborada teora. N o todas las proposiciones categricas de forma tpica son tan simples y directas como los ejemplos considerados hasta ahora. Aunque los trminos sujeto y predicado de una proposicin categrica de forma tpica deben designar clases, pueden ser expresiones sumamente complicadas en vez de palabras aisladas. Por ejemplo, la proposicin: Todos los candidatos al cargo son hombres de honor y de gran integridad. tiene como trminos sujeto y predicado, respectivamente, las expresiones 'los candidatos al cargo' y 'hombres de honor y de gran integridad'.
Identificar los trminos sujeto y predicado, e indicar la forma de cada una de las proposiciones siguientes: 1. Todas las sustancias que tienen la facultad de dar coloracin azul al papel rojo de tornasol son cidos. 2. Algunas obras de teatro escritas hace ms de dos mil aos, son hoy en Broadway un resonado fracaso. 3. Algunos hombres que nunca trabajaron un solo da en toda su vida son prsperos dirigentes de sindicatos obreros. 4. Ningn filsofo ha sido ms sabio que los autores de la constitucin. 5. Todos los veteranos son miembros o ex miembros del Ejrcito o la Marina, que estuvieron en servicio activo durante la guerra. 6. Algunos hombres muy ricos son miembros del Senado de los Estados Unidos. 7. Algunos muebles agrietados y gastados, por los cuales hasta los comerciantes estn dispuestos a pagar grandes sumas de dinero, no son genuinas antigedades. 8. Ningn cido, con excepcin del sulfrico, es capaz de disolver el oro. 9. Algunas obras de arte de extraordinario valor son pinturas cuyos creadores las vendieron por unos centavos. 10. Algunos dirigentes del gobierno y de la industria que han alcanzado el xito y que tienen una vasta instruccin no son graduados universitarios. 11. Es errneo que se den zanahorias que no sean nutritivas. 12. No pocos estudiantes son trabajadores. 13. Es mentira que no haya ciudades contaminadas. 14. No hay jueces infalibles. 15. El que nada debe, nada teme. 16. Bastantes bebedores son fumadores. 17. Muchos polticos mienten. 18. Nada es honesto y malicioso. 19. Se dan peras dulces. 20. De los doctores, pocos son profesionales.