En la lógica tradicional, la contraposición es una forma de inferencia inmediata en la cual de un asunto dado otro se deduce teniendo para su tema el contradictorio del predicado original, y en algunos casos participación de un cambio de la calidad (afirmación o negación). Para su expresión simbólica en lógica moderna ver la regla de la transposición . La contraposición también tiene usos distintivos en su uso filosófico distinto de los otros procesos tradicionales de la inferencia de la conversión (lógica) y Obversion donde los varys de la ambigüedad con diverso asunto mecanografían.
Lógica tradicional
En la lógica tradicional el proceso de la contraposición es un esquema integrado por varios pasos de la inferencia que implican los asuntos categóricos y las clases . Un asunto categórico contiene un tema y el predicado donde el impacto existencial de la cópula implica el asunto como referir a una clase con por lo menos un miembro, en contraste con la forma condicional los asuntos materialmente implicativos hipotéticos de o, que son compuestos de otros asuntos, e. si P, después Q, donde están ambos asuntos P y Q, y su impacto existencial es dependiente sobre otros asuntos donde en la cuantificación se ejemplifica la existencia (particularización exististential).
La conversión por la contraposición es el intercambio y la negación simultáneos del tema y del predicado, y es válida solamente para el tipo " A" y tipo " O" asuntos de la lógica aristotélica, con las consideraciones para la validez un " E" mecanografiar el asunto con limitaciones y cambios en cantidad. Esto se considera contraposición completa. Puesto que en curso de contraposición el anverso se puede obtener en los cuatro tipos de asuntos tradicionales, el rendimiento propone con el contradictorio del predicado original, contraposición primero es obtenido convirtiendo el obvert del asunto original. Así, la contraposición parcial se puede obtener condicional en un " E" mecanografiar el asunto con un cambio en cantidad. Porque no se dice nada en la definición de la contraposición con respecto al predicado del asunto deducido, puede ser el tema original, o su contradictorio, dando por resultado dos contrapositives que sean los obverts de uno otros en el " A", " O", y " E" mecanografiar los asuntos.
Por ejemplo: de una original, el tipo asunto categórico, de “A” del todos los residentes es los votantes,
cuál presupone que todas las clases tienen los miembros y la importación existencial presumida bajo la forma de asuntos categóricos, uno puede derivar primero por el Obversion el tipo asunto, de “E” del que no hay residentes los non-voters .
El contrapositive del asunto original entonces es derivada por la conversión a otro tipo asunto, de “E” del que no hay non-voters los residentes . El proceso es terminado por el obversion adicional dando por resultado el tipo asunto que es el contrapositive obverted del asunto original, de “A” del que todos los non-voters son los no residentes .
El esquema de la contraposición:
align=" del Notar que la contraposición es una forma válida de inferencia inmediata solamente cuando está aplicada al " A" y " O" asuntos. Es inválido para el " I" asuntos, donde está un " el anverso; O" asunto que no tiene ninguÌn inverso . La contraposición del " E" el asunto es válido solamente con las limitaciones ( por los accidens ). Esto es porque el anverso del " E" el asunto es un " A" proponer que no se puede convertir válido excepto por la limitación, es decir, contraposición más un cambio en la cantidad del asunto universal al particular. También, notar que la contraposición es un método de inferencia que puede requerir el uso de otras reglas de inferencia. El contrapositive es el producto del método de contraposición, con diversos resultados dependiendo de si la contraposición es llena, o parcial. Los usos sucesivos de la conversión y del obversion dentro del proceso de la contraposición se pueden dar por una variedad de nombres. El proceso de la equivalencia lógica de una declaración y de su contrapositive según lo definido en lógica tradicional de la clase es el no uno de los axiomas de la lógica proposicional . En lógica tradicional hay más que una contrapositive deducida de cada declaración original. En vista de el " A" proponer esto es evitado en el simbolismo de la lógica moderna por la regla de la transposición, o la ley de la contraposición. En su uso técnico dentro del campo de la lógica filosófica, el " del término; contraposition" puede ser limitado por los lógicos (e. Irving Copi, Susan Stebbing ) a la lógica tradicional y a los asuntos categóricos. En este sentido el uso el " del término; contraposition" es referido generalmente por el " transposition" cuando está aplicado a los asuntos hipotéticos o a las implicaciones materiales.
Original Proposition Obversion Contraposition Contraposition Obverted style=" del (A) todo el S es P El (E) ninguÌn S es non-P ↔ El (E) ninguÌn non-P es S El (A) todo el non-P es non-S style=" del (E) ninguÌn S es P El (A) todo el S es non-P → El (I) un cierto non-P es S El (O) un cierto non-P no es non-S style=" del (I) un cierto S es P El (O) un cierto S no es non-P None None style=" del (O) un cierto S no es P El (I) un cierto S es non-P ↔ El (I) un cierto non-P es S El (O) un cierto non-P no es non-S Random links: Entrelazarse | Loto Exige | Manju Kak | Kimberly Williams | Isaac Delahaye