Acceso usuarios
Se llama revocables a todos aquellos razonamientos no deductivos en los cuales la conclusión es obtenida a partir de información incompleta es decir a partir de premisas que representan condiciones insuficientes para afirmar la conclusión. En los razonamientos revocables nueva información que se agregue a las premisas puede invalidar la inferencia hecha pues daría lugar a inconsistencias. Así la relación de inferencia que subyace a los razonamientos revocables no cumple con la propiedad de monotonía que satisface la relación usual de inferencia deductiva. Las lógicas no monótonas han surgido con la idea de formalizar este tipo de razonamientos. En este trabajo se sostendrá que el problema de la revocabilidad no atañe a operadores lógicos ni a la lógica en sentido estricto sino a cómo la lógica es aplicada en diferentes contextos lo que implica tomar en cuenta factores externos a la caracterización de operadores lógicos. Esta perspectiva no conduce a una modificación de la lógica sino de la manera en que se organiza la información a partir de la cual se hacen las inferencias. Así se debe agregar estructura a la información considerando un razonamiento revocable como una estructura más compleja que un razonamiento deductivo.
