Sdsdfs

Hay otros tipos de inferencia inmediata, además de aquellos que están asociados al Cuadro de Oposición tradicional. En esta sección consideraremos tres de ellos. El tipo más obvio de inferencia inmediata es el que opera un simple intercambio entre los términos sujeto y predicado de una proposición. Recibe el nombre de Conversión' y es totalmente válido en el caso de proposiciones E e I.Indudablemente, "Ningún hombre es ángel" afirma lo mismo que "Ningún ángel es hombre", y cualquiera de ellos puede ser válidamente inferido del otro por la inferencia inmediata llamada conversión. Es igualmente indudable que "Algunos escritores son mujeres" y "Algunas mujeres son escritores" son lógicamente equivalente, de modo que cualquiera de ellos puede inferirse del otro por conversión. Se dice queuna proposición categórica de forma típica es la 'conversa' de otra cuando se la forma a partir de ésta intercambiando simplemente los términos sujeto y predicado. Así, "Ningún idealista es político" es la conversa de "Ningún político es idealista" y cualquiera de ellas puede inferirse válidamente de la otra por conversión.
Pero la conversa de una proposición A no puede deducirse válidamente deella. Por ejemplo, si nuestra proposición original es "Todos los perros son animales", su conversa "Todos los animales son perros" no se deduce en absoluto de la primera; ésta es verdadera, mientras que su conversa es falsa. La lógica tradicional, por supuesto, reconocía este hecho, pero afirmaba que para las proposiciones A era válida una forma de inferencia muy semejante a la conversión, querecibió el nombre de 'conversión por limitación' (o per accidens). Consiste en intercambiar el sujeto y el predicado, y cambiar, además, la cantidad de la proposición de universal en particular. Así, se sostenía que, de la premisa "Todos los perros son animales" podía inferirse válidamente la conclusión "Algunos animales son perros", mediante la conversión por limitación. Este tipo de conversión seráconsiderado con mayor detalle en la sección siguiente.
Finalmente, debe observarse que no hay ninguna forma de conversión válida para una proposición O. Si no fuera así, la proposición O, verdadera, "Algunos animales no son perros" tendría como conversa la proposición ^falsa "Algunos perros no son animales". Se acostumbra expresar este hecho diciendo que una proposición O "no tiene conversa", con locual se quiere significar solamente que la conversión no es una forma válida de inferencia cuando se la aplica a una proposición O.
Usaremos el término 'convertiente' para referirnos a la premisa de una inferencia inmediata por conversión; a la conclusión la llamamos la 'conversa'. Se ha sostenido tradicional-mente que la tabla siguiente da un cuadro completo de las conversiones válidas:CONVERSIONES
|Convertiente |Conversa |
|A: Todo S es P |I: Algunos S son P (por limitación) |
|E: Ningún S es P |E: Ningún P es S|
|I: Algunos S son P |I: Algunos P son S |
|O: Algunos S no son P |(no hay conversa) |

La conversa de una proposición dada contiene exactamente los mismos términos que ésta (con el orden invertido) y tiene la mismacalidad.
El siguiente tipo de inferencia inmediata que analizaremos es el llamado 'obversión'. Antes de dar la explicación de éste, será útil volver brevemente a la noción de 'clase' e introducir algunas nuevas ideas que nos ayudarán a Canalizar la obversión. /Una clase es una colección de todos los objetos que tienen una propiedad común, a la cual nos referimos como la "característica...