^l=^ AAAFILOSOFIA Y LOGICA PREUNIVERSITARIA www.rmrubinos.blogspot.com l = ^ A A A-9- PROPOSICIONES CATEGRICAS PROPOSICIONES CATEGRICAS CONCEPTO PC: Asercionesacercadeclasesqueafirmanoniegansi unaclaseestincluidaoexcluidaenotra, seatotal o parcialmente. CARACTERSTICAS - Cuantificador : Se ha tomado ntegra o parcialmente al sujeto. - El sujeto y el predicado : Son trminos que indican clase o conjunto. - El verbo copulativo : Es el trmino SER que est en presente indicativo segn los tiempos que sean necesarios FORMAS TPICAS Palabras latinas AFFIRMO - NEGO(medievales)relacin de clasesA : Todo S es P (SAP) Inclusin total E : Ningn S es P (SEP) Exclusin total I : Algn S es P (SIP) Inclusin parcialO : Algn S no es P (SOP) Exclusin parcialEjem:A : Todos los socilogos son polticosE : Ningn socilogo es polticoI: Algn socilogo es poltico O : Algn socilogo no es poltico CLASI FI CACI NDELASPROPOSI CI ONES CATEGRICAS Se clasifican por su : - Cualidad (calidad) : Afirmativa - negativa : Indica que la inclusin o exclusin de clases (total o parcial) sea afirmada o negada en la proposicin - Cantidad : Universales - particulares : Cuando la proposicin se refiere a todos o algunos de los miembros de la clase sujeto. Los cuantificadores indican la cantidad - Distribucin: Unaproposicindistribuyeuntrminosi serefiereatodoslosmiembrosdelaclasedesignadaporese trmino As, se encierra en un crculo el trmino distribuido A : Todo es P E : Ningn es I : Algn S es P O : Algn S no es Considerando estos elementos de clasificacin, se tiene cuatro formas de PC 1. Universal afirmativa : Todo S es P2. Universal negativa : Ningn S es P3. Particular afirmativa : Algn S es P4. Particular negativa : Algn S no es PDI AGRAMACI NDELASPROPOSI CI ONES CATEGRICAS Se realiza a travs de grficos geomtricos propuesto por el lgico ingls John Venn (1834 - 1923), donde los diagramas determinan cuando una seccin est o no vaca 1. Universal afirmativa (A) Todas S son P su frmula booleana es : S = O 2. Universal negativa (E) Ningn S es P S PU su frmula booleana es : SP = O 3. Particular afirmativa (I) Algunos S son P S PU x su frmula booleana es : SP O 4. Particular negativa (O) Algunos S no son P