LOGICA TRADICIONALCURSO: RAZ. LÓGICO GRADO: QUINTO FECHA: 08/08/14 RESUMEN: A continuación se presenta un cuadro que señala los términos con cantidad universal (distribuidos) encerrados con un rectángulo. INFERENCIAS INMEDIATAS CON PROPOSICIONES CATEGÓRICAS La Lógica Tradicional es la Lógica Clásica antigua, cultivada desde Aristóteles, donde la parte fundamental para su elaboración y construcción es la proposición categórica simbolizada especialmente con una Formalización Tradicional, es decir, usando para para ello las formas típicas tradicionales. LAS 4 FORMAS TIPICAS EN QUE SE PRESENTA LA PROPOSICION CATEGORICA Fueron los Lógicos de la Edad Media los que asignaron las letras A, E, I, O a cada una de las proposiciones categóricas. Dichas letras típicas resultan de las palabras AfIrmo y nEgO. Y se asignaban teniendo en cuenta: 1º) La cantidad, determinada por el cuantificador y podía ser: universal o particular. 2º) La cualidad, determinada por el estado del verbo que podía estar: afirmado o negado. RESUMEN: A Univ. Afirm. E Univ. Neg. I Part. Afirm. O Part. Neg. Todo S es P SaP Ningún S es P SeP Algún S es P SiP Algún S no es P SoP A E I O Todo Ningún es P S S es P Algún S es P Algún S no es P OJO: Los términos que no están encerrados con el rectángulo tienen cantidad particular (no distribuidos). En el siguiente ejemplo: “Ningún enano es alto”. Podemos afirmar: FORMA TÍPICA: E FORMALIZACION TRADICIONAL: E e A TÉRMINO “Enano”: Con cantidad universal (distribuido) TÉRMINO “Alto”: Con cantidad universal (distribuido) INFERENCIAS INMEDIATAS CON PROPOSICIONES CATEGORICAS Una inferencia inmediata es aquel razonamiento que está formado por una ÚNICA premisa y una conclusión. Recordemos que todo razonamiento alcanza su validez y rigor formal, cuando aplicamos correctamente las reglas de inferencia. Ejemplo de inferencia inmediata: P1: Todo lim eño es peruano C : A lg unos peruanos son lim eños DISTRIBUCIÓN DE LOS TÉRMINOS EN UNA PROPOSICION CATEGÓRICA (Regla de Cantidad de los Términos) En una proposición categórica típica se puede decir que el término sujeto o el término predicado, o incluso ambos tienen cantidad universal, siempre y cuando se hable de la clase en toda su extensión, es decir se hable de todos los elementos sin excepción. Por lo tanto, hablar de término distribuido significa hablar de término universal. Hablar de término no – distribuido significa hablar de término particular. Profesor: Luis Zamora Y cuya validez puede ser demostrada mediante los diagramas de Venn. Existen 5 modelos inferenciales clásicos que nos permiten inferir de forma inmediata: La conversión. La inversión. La contraposición. La inversión. La oposición. Profesor: Luis Zamora el sujeto no cambia. SOLUCIÓN: FiM Cuya traducción verbal será: “Algunos funcionarios del gobierno son ministros”. EL CUADRO DE CONVERSION: Resume las inferencias posibles por conversión para las 4 formas categóricas típicas. Profesor: Luis Zamora . SOLUCIÓN: Formalizando: Ejemplo: Encontrar la conversa de la proposición: “Los ministros son funcionarios del gobierno”. Profesor: Luis Zamora Formalizando: EeM Negando el verbo y luego el predicado. permuta el sujeto con el predicado.MODELOS DE INFERENCIAS INMEDIATAS Así: A) CONVERSIÓN: Se designa como conversión la operación de inferencia que sin modificar la cualidad del verbo. Observación: Observación: Ejemplos: 1) Encontrar la obversa de la proposición: “Cualquier nativo es selvático”. pasando cada uno a la ubicación del otro. negamos el verbo y el predicado de la premisa. En esta inferencia. Para obtener una obversa. como tampoco cambia la cantidad de la proposición inferida por obversión. B) OBVERSIÓN o ANVERSIÓN: Llamada también Equipotencia. tenemos: EaM Cuya traducción verbal será: “Cualquier escritor es no matemático”. tenemos: N eS Cuya traducción verbal será: “Cualquier nativo no es no selvático” “Ningún nativo es no selvático” 2) M aF N aS Encontrar la obversa de la proposición: “Todo escritor no es matemático”. SOLUCIÓN: Es una UNIVERSAL AFIRMATIVA (A): Formalizando: Finalmente su inferencia por conversión será: Negando el verbo y luego el predicado.