Las proposiciones categóricas se pueden clasificar en cuatro tipos en función de su «calidad» y «cantidad», o su «distribución de términos». Estos cuatro tipos han sido nombrados durante mucho tiempo A, E, I y O. Esto se basa en el latín affirmo (afirmo), que se refiere a las proposiciones afirmativas A e I, y nego (niego), que se refiere a las proposiciones negativas E y O.
Cantidad y calidadeditar
La cantidad se refiere al número de miembros de la clase de sujeto que se utilizan en la proposición. Si la proposición se refiere a todos los miembros de la clase de sujeto, es universal. Si la proposición no emplea a todos los miembros de la clase de sujeto, es particular. Por ejemplo, una proposición I («Algunas S son P») es particular, ya que solo se refiere a algunos de los miembros de la clase sujeto.Calidad
Se describe como si la proposición afirma o niega la inclusión de un sujeto dentro de la clase del predicado. Las dos cualidades posibles se llaman afirmativas y negativas. Por ejemplo, una proposición A («Todo S es P») es afirmativa ya que establece que el sujeto está contenido dentro del predicado. Por otro lado, una proposición-O («Alguna S no es P») es negativa ya que excluye al sujeto del predicado.
| Nombre de | la Instrucción | Cantidad | Calidad |
|---|---|---|---|
| Un | Todo S es P. | universal | afirmativa |
| E | Ningún S es P. | universal | negativo |
| I | Algún S es P. | particulares | afirmativa |
| O | Algún S no es P. | particulares | negativo |
Una consideración importante es la definición de la palabra a algunos. En lógica, algunos se refieren a «uno o más», que es consistente con»todos». Por lo tanto, la afirmación «Some S is P» no garantiza que la afirmación «Some S is not P» también sea cierta.
distributividadeditar
Los dos términos (sujeto y predicado) en una proposición categórica pueden clasificarse como distribuidos o no distribuidos. Si todos los miembros de la clase del término se ven afectados por la proposición, esa clase se distribuye; de lo contrario, no se distribuye. Por lo tanto, cada proposición tiene una de las cuatro posibles distribuciones de términos.
Cada una de las cuatro formas canónicas será examinada a su vez con respecto a su distribución de términos. Aunque no se desarrolló aquí, los diagramas de Venn a veces son útiles cuando se trata de entender la distribución de los términos para las cuatro formas.
Un formeditar
Una proposición A distribuye el sujeto al predicado, pero no al revés. Considere la siguiente proposición categórica: «Todos los perros son mamíferos». Todos los perros son mamíferos, pero sería falso decir que todos los mamíferos son perros. Dado que todos los perros están incluidos en la clase de mamíferos, se dice que «perros» se distribuyen a «mamíferos». Dado que todos los mamíferos no son necesariamente perros, «mamíferos» no se distribuye a «perros».
Formulario Eeditar
Una proposición electrónica se distribuye bidireccionalmente entre el sujeto y el predicado. A partir de la proposición categórica «No escarabajos son mamíferos», podemos inferir que no hay mamíferos son escarabajos. Dado que todos los escarabajos se definen como no mamíferos, y todos los mamíferos se definen como no escarabajos, ambas clases están distribuidas.
Formulario IEditar
Ambos términos de una propuesta I no se distribuyen. Por ejemplo, «Algunos estadounidenses son conservadores». Ninguno de los dos términos puede distribuirse por completo al otro. A partir de esta proposición, no es posible decir que todos los estadounidenses son conservadores o que todos los conservadores son estadounidenses.
O formEdit
En una proposición O, solo se distribuye el predicado. Consideremos lo siguiente: «Algunos políticos no son corruptos». Dado que no todos los políticos están definidos por esta regla, el tema no se distribuye. El predicado, sin embargo, se distribuye porque todos los miembros de «gente corrupta» no coincidirán con el grupo de personas definido como «algunos políticos». Dado que la regla se aplica a todos los miembros del grupo de personas corruptas, a saber, «Todas las personas corruptas no son algunos políticos», el predicado se distribuye.
La distribución del predicado en una proposición O es a menudo confusa debido a su ambigüedad. Cuando se dice que una declaración como «Algunos políticos no son corruptos» distribuye el grupo de «gente corrupta» a «algunos políticos», la información parece de poco valor, ya que el grupo «algunos políticos» no está definido. Pero si, por ejemplo, este grupo de «algunos políticos» se definiera para contener a una sola persona, Albert, la relación se vuelve más clara. La declaración significaría entonces que, de cada entrada listada en el grupo de personas corruptas, ninguna de ellas será Albert: «Todas las personas corruptas no son Albert». Esta es una definición que se aplica a todos los miembros del grupo de» gente corrupta » y, por lo tanto, se distribuye.
SummaryEdit
| Nombre de | la Instrucción | Distribución | |
|---|---|---|---|
| Asunto | Predicado | ||
| Un | Todo S es P. | distribuida | no distribuidos |
| E | Ningún S es P. | distribuida | distribuido |
| I | Algún S es P. | no distribuido | no distribuido |
| O | Algunos S no son P. | no distribuidos | distribuidos |
Criticismoeditar
Peter Geach y otros han criticado el uso de la distribución para determinar la validez de un argumento.
Se ha sugerido que las declaraciones de la forma » Algunas A no son B «serían menos problemáticas si se declararan como» No todas las A son B», lo que quizás sea una traducción más cercana a la forma original de Aristóteles para este tipo de declaraciones.