Inferencia. Proceso racional de extraer una conclusión a partir de un juicio
previo. Los antiguos llamaban inferencias inmediatas a las conclusiones
lógicas que parten de una única proposición; e inferencias mediatas a
las conclusiones lógicas que parten de una dos proposiciones iníciales.
Inferencia. En general,
proceso de razonamiento por el que se concluye una proposición de otra u otras
anteriormente aceptadas. Si se concluye la proposición a partir exclusivamente
de otra, hablamos de inferencia inmediata; si la conclusión se establece a
partir de varias proposiciones hablamos de inferencia mediata.
En lógica formal la inferencia está regulada por
reglas (llamadas reglas de inferencia) mediante cuya aplicación a una o varias
premisas anteriormente dadas podemos obtener una conclusión. Si la inferencia
se obtiene por aplicación correcta de una regla de inferencia, se considera una
inferencia válida. En caso contrario se considera que la inferencia es
inválida.
No hay comentarios:
Publicar un comentario
Nota: solo los miembros de este blog pueden publicar comentarios.