Proposiciones Categoricas

por LuigiSandoval | buenastareas.com

LAS PROPOSICIONES CATEGRICAS Las proposiciones categricas son aserciones

acerca de clases, donde una clase respecto a otra, est incluida o excluida total o
parcialmente. Por ejemplo: (1) Todos los limeos son peruanos. En esta proposicin, la
clase o conjunto de los limeos est incluida totalmente en la clase o conjunto de los
peruanos. (2) Ningn insecto es un mamfero. Esta proposicin expresa la exclusin
total entre las clases insectos y mamferos. (3) Algunos religiosos son mdicos. En este
caso, la clase de los religiosos est incluida parcialmente en la clase de los mdicos.
(4) Algunos polticos no son gobernantes. En esta proposicin, el conjunto de los
polticos est excluido parcialmente del conjunto de los gobernantes. 1. Formas Tpicas
En la lgica tradicional aristotlica, las proposiciones categricas se expresan en las
siguientes cuatro formas tpicas : ------------------------------------------------Todo S es P------------------------------------------------Ningn S es P------------------------------------------------Algn S es P------------------------------------------------Algn S no es P Cada una de estas formas se caracterizan por tener un cuantificador
(todo, ningn, algn), un sujeto (S), un verbo copulativo (ser), que puede estar expresado
segn est formulada la proposicin en los tiempos que sean necesarios, y un predicado
(P). 2. Clases de Proposiciones Categricas Las proposiciones categricas tpicas se
clasifican por su cantidad y por su cualidad. Por su cantidad, son universales y
particulares. Por su cualidad, son afirmativas y negativas. Cada proposicin categrica
tpica posee cantidad y cualidad a la vez. Los medievales identificaron cada proposicin
categrica tpica mediante una letra que resulta de las palabras AfIrmo y nego. La
correspondencia de cada letra y el modo de expresar sintcticamente cada forma tpica
usando las respectivas letras aparece en el siguiente cuadro:
------------------------------------------------Todo S es P -- A -- S a P -- universal afirmativa.------------------------------------------------Ningn S es P -- E -- S e P -- universalnegativa.------------------------------------------------Algn S es P -- I -- S i P -- particular afirmativa.------------------------------------------------Algn S no es P-- O -- S o P -- particular negativa En lo sucesivo cuando querramos
identificar, por ejemplo, una proposicin universal afirmativa, ser suficiente decir una
proposicin de tipo A, y de igual modo en los dems casos. EL CUADRO DE BOECIO El
cuadro de Boecio, conocido como el cuadro de la oposicin, muestra las relaciones de las
proposiciones categricas tpicas (A, E, I, O) entre s. Estas relaciones se denominan
contradictorias, contrarias, subcontrarias, subalternas y subalternantes. Grficamente,

como sigue: Algunas de estas relaciones son inferencias vlidas, cuyo anlisis
efectuamos a continuacin: 1. Contradictorias Dos proposiciones son contradictorias
cuando difieren en cantidad y calidad. Las proposiciones contradictorias no pueden ser
verdaderas ni falsas a la vez. Esquemticamente lo expresamos como sigue:
------------------------------------------------Esto significa, una proposicin verdadera implica su contradictoria falsa, y una proposicin
falsa implica su contradictoria verdadera. Por ejemplo: (1) Si es verdad que todos los
peces son acuticos entonces es falso que algunos peces no sean acuticos De igual
modo, si vemos en el cuadro, una proposicin particular negativa falsa (O = F) implica a
una proposicin universal afirmativa verdadera (A = V). Por ejemplo, con las mismas
proposiciones del ejemplo anterior, se tiene: (2) Si es falso que algunos peces no sean
acuticos entonces es cierto que todos los peces son acuticos. A partir de los ejemplos
(1) y (2) podemos concluir que existe una relacin vlida de equivalencia entre una
proposicin universal afirmativa verdadera y su contradictoria particular negativa falsa. En
otros trminos, podemos enunciarlo as: (3) Todos los peces son acuticos si y slo si es
falso que algunos peces no sean acuticos. Como este anlisis es el mismo para todas
las otras relaciones por contradiccin, esquemticamente se tienen las
siguientesrelaciones vlidas: ------------------------------------------------1) A ~O------------------------------------------------2) ~A O------------------------------------------------3) I ~E------------------------------------------------4) ~ I E 2. Contrarias Las contrarias se refieren a universales que slo difieren en
calidad. Las contrarias nunca pueden ser verdaderas a la vez, pero s pueden ser falsas.
Esquemticamente se tiene: ------------------------------------------------Segn este cuadro, una proposicin universal verdadera implica a su respectiva contraria
falsa, pero de una proposicin universal falsa nada se concluye con respecto a su
contraria. Entonces, las nicas relaciones vlidas son:
------------------------------------------------A ~ E------------------------------------------------E ~ A Ejemplos: (1) Si todos los caballos son solpedos entonces es falso que
ningn caballo sea solpedo. (2) Si ningn budista es cristiano entonces es falso que
todos los budistas sean cristianos. | | |