Logica proposiciones categoricas

UNIVERSIDAD DE QUINTANA ROO
GOBIERNO Y GESTIÓN PÚBLICA
PRIMER SEMESTRE
LÓGICA
PROPOSICIONES CATEGÓRICAS
Una proposición categórica es un enunciado que relaciona dos clases, o categorías. Las dos clases, en cualquier proposición categórica, se colocan en una relación de sujeto-predicado. Algo es predicado, o dicho acerca de un sujeto.
Las Proposiciones Categóricas implican la existenciade esquemas de enunciados dobles (S-P). En este contexto, la Lógica Tradicional estableció diferentes tipos de proposiciones categóricas atendiendo a la Cantidad y a la Cualidad.
A su vez, la unión de Proposiciones Categóricas da lugar a la formación de los Silogismos Categóricos, en donde un enunciado (C) se sigue necesariamente de otros dos enunciados o Proposiciones Categóricas (A-B)

Todaproposición categórica es un enunciado acerca de los miembros de dos clases, y de relación entre ellos. Por ejemplo:

Ningún soltero es casado.

Algunos Mazda no son fabricados en Japón.
Cantidad
Atendiendo a la Cantidad, las Proposiciones podían ser Universales o Particulares.
Cualidad
Atendiendo a la Cualidad, las Proposiciones podían ser Afirmativas o Negativas.
Existen cuatro clasesde proposiciones categóricas. Usando “S” y “P” como símbolos, estas son:

1. Universal afirmativa: Todo S es P
2. Universal negativa: Ningún S es P
3. Particular afirmativa: Algún S es P
4. Particular negativa: Algún S no es

Las palabras “todo” y “algún” se llaman "cuantificadores" porque indican la cantidad del sujeto. Esto es, especifican cuánto elementos de la clasedel sujeto están incluidos en la clase del predicado. (“Ningún” indica cero miembros.) El verbo en una proposición categórica correctamente expresada, es siempre alguna forma del verbo “ser”, y se conoce como “cópula”. Tenemos, entonces, el siguiente esquema:

* Cuantificador: todo, ningún, algún.
* Sujeto: la clase que se incluye en o que se excluye de, el predicado.
* Cópula: es,son, era, eran.
* Predicado: la clase de la cual el sujeto es o no es parte.

CUADRO DE OPOSICIÓN DE LOS JUICIOS
Se llama cuadro de oposición de los juicios al esquema mediante el que se estudian las relaciones formales entre los diversos tipos de juicios aristotélicos, A, E, I, O, considerando cada juicio con términos idénticos. En su día fue con considerado por el mismo Aristóteles.Teoría tradicional
El campo de la teoría tradicional de la oposición queda acotado con las dos afirmaciones básicas siguientes:
Primera. “La oposición se da entre las proposiciones (de la forma sujeto-predicado) que tengan ambas el mismo sujeto y el mismo predicado”. De tales proposiciones, las que se toman en cuenta son cuatro especies

A= Universal Afirmativo. Sujeto tomado en su extensiónuniversal; predicado particular; relación afirmativa. Todo S es P.
E = Universal Negativo. Sujeto tomado en su extensión universal; predicado universal; relación negativa. Ningún S es P.
I = Particular Afirmativo. Sujeto tomado en su extensión particular; predicado en su extensión particular; relación afirmativa. Algún S es P.
O = Particular Negativo. Sujeto tomado en su extensión particular;predicado en su extensión universal; relación negativa. Algún S no es P.
Segunda. “La oposición entre dos proposiciones consiste en una diferencia en la cantidad, en la cualidad o en ambas”.

CUADRO DE OPOSICIONES
Es una ayuda visual para entender las consecuencias de las oposiciones contradictorias, contrarias y sub-contrarias.

Las letras A, E, I, y O representan los diferentes tipos deproposiciones.
A = Universal Afirmativa
E = Universal Negativa
I = Particular Afirmativa
O = Particular Negativa

Las líneas del Cuadro de Oposición representan las siguientes relaciones entre proposiciones:
La AO y EI (las diagonales) representan oposición contradictoria.
La AE representa oposición contraria.
La IO representa oposición sub-contraria.
La AI y la EO representan la...