En lógica tradicional, la obversión es un "tipo de inferencia inmediata en la cual a partir de una proposición dada se infiere otra proposición cuyo tema es el mismo que el sujeto original y cuyo predicado es contradictorio al predicado original, y cuya cualidad es afirmativa si la cualidad de la proposición original fuese negativa y viceversa".[1] La cualidad de la proposición categórica inferida cambia, pero el valor de verdad es equivalente al de la proposición inicial. La proposición inferida inmediatamente se denomina "anverso" de la proposición original, y es una forma válida de inferencia para todos los tipos de proposiciones categóricas (A, E, I, O).
En una proposición universal afirmativa y una universal negativa, el término sujeto y el término predicado se sustituyen ambos por sus complementos:
El universal afirmativa (proposición "A" ) se obvierte a una afirmativa negativa (proposición "E").
"Todos los S son P" y "Ningún S es no-P"
"Todos los españoles son europeos" y "Ningún español es no-europeo"
El universal negativo (proposición "E" ) se obvierte a una afirmativa universal (proposición "A").
"Ningún S es P" y "Todo S es no-P"
"Ningún español es americano" y "Todo español es no-americano"
En el particular afirmativo la cantidad del término sujeto se mantiene sin cambios, pero el término predicado de la proposición inferida niega el complemento del término predicado de la proposición inicial. El particular afirmativo (proposición "I") se obvierte a un particular negativo (proposición "O").
"Algún S es P" y "Algún S no es no-P"
"Algún español es rubio" y "Algún español no es no-rubio"
En la obversion de un particular negativo a un particular afirmativo, la cantidad del sujeto también se mantiene sin cambios, y el término predicado se cambia de la negación simple a un término de la clase complementaria. La proposición particular negativa ("O") se obvierte a un particular afirmativo (proposición "I").
"Algún S no es P" y "Algún S es no-P"
"Algún español no es americano" y "Algún español es no-americano"
Observe que el valor de verdad de una declaración original se conserva en su forma anversa resultante. Debido a esto, la obversión se puede utilizar para determinar las inferencias inmediatas de todas las proposiciones categóricas, independientemente de su cualidad o cantidad.
Además, la obversión nos permite navegar a través de la cuadro tradicional de oposición lógica, proporcionando un medio para que procedamos desde la proposiciones "A" a las proposiciones "E", así como de las proposiciones "I" a las proposiciones "O", y vice versa. Sin embargo, a pesar de las propuestas resultantes de la obversión son lógicamente equivalentes a los estados originales en términos de valor de verdad, no son semánticamente equivalentes a sus declaraciones originales en su forma estándar.
Quoted definition is from: Brody, Bobuch A. "Glossary of Logical Terms". Encyclopedia of Philosophy. Vol. 5-6, p. 70. Macmillan, 1973. Also, Stebbing, L. Susan. A Modern Introduction to Logic. Seventh edition, p.65-66. Harper, 1961, and Irving Copi's Introduction to Logic, p. 141, Macmillan, 1953. All sources give virtually identical explanations. Copi (1953) and Stebbing (1931) both limit the application to categorical propositions, and in Symbolic Logic, 1979, Copi limits the use of the process, remarking on its "absorption" into the Rules of Replacement in quantification and the axioms of class algebra.
Bibliografía
Mitchell, D (1968). Introducción a la lógica. Barcelona: Editorial Labor.
Brody, Bobuch A. "Glosario de términos lógicos". Enciclopedia de Filosofía. Vol. 5-6, p. 61. Macmillan, 1973.
Copi, Irving. Introducción a la Lógica. MacMillan, 1953.
obversión, lógica, lógica, tradicional, obversión, tipo, inferencia, inmediata, cual, partir, proposición, dada, infiere, otra, proposición, cuyo, tema, mismo, sujeto, original, cuyo, predicado, contradictorio, predicado, original, cuya, cualidad, afirmativa, . En logica tradicional la obversion es un tipo de inferencia inmediata en la cual a partir de una proposicion dada se infiere otra proposicion cuyo tema es el mismo que el sujeto original y cuyo predicado es contradictorio al predicado original y cuya cualidad es afirmativa si la cualidad de la proposicion original fuese negativa y viceversa 1 La cualidad de la proposicion categorica inferida cambia pero el valor de verdad es equivalente al de la proposicion inicial La proposicion inferida inmediatamente se denomina anverso de la proposicion original y es una forma valida de inferencia para todos los tipos de proposiciones categoricas A E I O En una proposicion universal afirmativa y una universal negativa el termino sujeto y el termino predicado se sustituyen ambos por sus complementos El universal afirmativa proposicion A se obvierte a una afirmativa negativa proposicion E Todos los S son P y Ningun S es no P Todos los espanoles son europeos y Ningun espanol es no europeo El universal negativo proposicion E se obvierte a una afirmativa universal proposicion A Ningun S es P y Todo S es no P Ningun espanol es americano y Todo espanol es no americano En el particular afirmativo la cantidad del termino sujeto se mantiene sin cambios pero el termino predicado de la proposicion inferida niega el complemento del termino predicado de la proposicion inicial El particular afirmativo proposicion I se obvierte a un particular negativo proposicion O Algun S es P y Algun S no es no P Algun espanol es rubio y Algun espanol no es no rubio En la obversion de un particular negativo a un particular afirmativo la cantidad del sujeto tambien se mantiene sin cambios y el termino predicado se cambia de la negacion simple a un termino de la clase complementaria La proposicion particular negativa O se obvierte a un particular afirmativo proposicion I Algun S no es P y Algun S es no P Algun espanol no es americano y Algun espanol es no americano Observe que el valor de verdad de una declaracion original se conserva en su forma anversa resultante Debido a esto la obversion se puede utilizar para determinar las inferencias inmediatas de todas las proposiciones categoricas independientemente de su cualidad o cantidad Ademas la obversion nos permite navegar a traves de la cuadro tradicional de oposicion logica proporcionando un medio para que procedamos desde la proposiciones A a las proposiciones E asi como de las proposiciones I a las proposiciones O y vice versa Sin embargo a pesar de las propuestas resultantes de la obversion son logicamente equivalentes a los estados originales en terminos de valor de verdad no son semanticamente equivalentes a sus declaraciones originales en su forma estandar Indice 1 Vease tambien 2 Referencia 3 Bibliografia 4 Enlaces externosVease tambien EditarAristoteles Contraposicion logica Conversion logica Inferencia Silogismo Logica aristotelica Transposicion logica Referencia Editar Quoted definition is from Brody Bobuch A Glossary of Logical Terms Encyclopedia of Philosophy Vol 5 6 p 70 Macmillan 1973 Also Stebbing L Susan A Modern Introduction to Logic Seventh edition p 65 66 Harper 1961 and Irving Copi s Introduction to Logic p 141 Macmillan 1953 All sources give virtually identical explanations Copi 1953 and Stebbing 1931 both limit the application to categorical propositions and in Symbolic Logic 1979 Copi limits the use of the process remarking on its absorption into the Rules of Replacement in quantification and the axioms of class algebra Bibliografia EditarMitchell D 1968 Introduccion a la logica Barcelona Editorial Labor Brody Bobuch A Glosario de terminos logicos Enciclopedia de Filosofia Vol 5 6 p 61 Macmillan 1973 Copi Irving Introduccion a la Logica MacMillan 1953 Copi Irving Logica Simbolica MacMillan 1979 quinta edicion Stebbing Susan Introduccion moderna a la Logica Cromwell Company 1931 Enlaces externos EditarEsta obra contiene una traduccion total derivada de Obversion de la Wikipedia en ingles concretamente de esta version publicada por sus editores bajo la Licencia de documentacion libre de GNU y la Licencia Creative Commons Atribucion CompartirIgual 3 0 Unported Datos Q3776150Obtenido de https es wikipedia org w index php title Obversion logica amp oldid 130812849, wikipedia, wiki, leyendo, leer, libro, biblioteca,
