LA DEMOSTRACIÓN Y SUS MÉTODOS
La demostración es un razonamiento o serie de razonamiento que prueba la validez de un nuevo conocimiento estableciendo sus conexiones necesarias con otros conocimientos.
LA DEMOSTRACIÓN CONSTA DE TRES PARTES:
1. El conocimiento que se trata de demostrar, es decir la proposición (teorema) cuya validez se trata de probar.
2. Los fundamentos empleados como base de la demostración.
3. El procedimiento usado para lograr que el conocimiento quede demostrado.
La demostración permite explicar unos conocimientos por otros y por tanto es una prueba rigurosamente racional.
MÉTODOS
DEDUCTIVO
El método deductivo es un proceso que parte de un conocimiento general, y arriba a uno particular. La aplicación del método deductivo nos lleva a un conocimiento con grado de certeza absoluta, y esta cimentado en proposiciones llamadas SILOGISMOS.
El método deductivo nos permite partir de un conjunto de hipótesis y llegar a una conclusión, pudiendo ser esta inclusive que el conjunto de hipótesis sea inválido.
EL MÉTODO DE RESOLUCIÓN DE ROBINSON
Método de Resolución [Robinson, 1965], es un intento de mecanizar el proceso de deducción natural de esa forma eficiente.
CONOCIMIENTO NO- MONÓTONO Y OTRAS LÓGICAS
La lógica clásica tiene un carácter monótono.Las lógicas clásicas parten del carácter no excluyente de los nuevos axiomas añadidos a los ya existentes. Por el contrario, las lógicas no monótonas tienen en cuenta la necesidad de detectar posibles inconsistencias con los nuevos axiomas. El rango definitorio es que se tienen en cuenta lo que no se conoce, o lo que es lo mismo asume los límites de su propio conocimiento.
FORMALISMOS LÓGICA NO-MONÓTONA
Es necesario establecer un mecanismo de mantenimiento de coherencia
generalmente traducido como mantenimiento de verdad - que permita eliminar el supuesto en cuanto se presente un hecho que lo invalide.
LÓGICA POR-DEFECTO
Muy parecido al anterior, pero el operador M ya no hace la función de un operador modal capaz de formar sentencias Mp supuestamente válidas en el sistema; en su lugar dicho operador sólo aparece en las reglas de inferencia denominadas reglas por defecto definidas al efecto
RAZONAMIENTO PROBABILISTICO
Es un caso dentro del razonamiento no monótono. Cuando la probabilidad que la verdad de una oración haya cambiado con respecto a su valor inicial, otras oraciones que anteriormente tenían alta probabilidad pueden decaer hasta tener probabilidad pequeña o nula.
TEOREMA DE BAYES
El teorema puede servir entonces para indicar cómo debemos modificar nuestras probabilidades subjetivas cuando recibimos información adicional de un experimento.
DIRECTO
También conocido como método natural, de enseñanza de lenguas extranjeras parte del principio de enseñar el idioma mediante el uso exclusivo de la lengua estudiada.
INDIRECTO
Consiste en partir de la utilidad arrojada por el estado de resultados para luego proceder a depurarla hasta llegar al saldo de efectivo que hay en los libros de contabilidad.