Una de mis primeras aplicaciones computacionales de lógica paraconsistente consistió en desarrollar un sistema computacional inductivo que maximizara conjuntos consistentes de fórmulas bien formadas y minimizara las inconsistentes. La base paraconsistente era una lógica de cuatro valores en la que los pares de valores eran inconsistentes, por lo que 2 son verdaderas y 2 falsas. Un generador aleatorio crearía fórmulas de entrada bien formadas y sus variables recibirían valores aleatorios de manera que las fórmulas se evaluarían como verdaderas, verdaderas ‘, falsas o falsas’. Sobre esa base, las fórmulas se agruparían en conjuntos consistentes e inconsistentes. El programa entonces haría una predicción inductiva, basada en su conjunto consistente más grande, con respecto a la evaluación de su próxima entrada (o toda la entrada futura). Interpreté este sistema como una micro versión tanto del razonamiento inductivo como de los cambios de paradigma de Khun en las revoluciones científicas. Creo que la inducción real es mucho más compleja e implica la inducción de nuevos valores también. Todavía no he escrito un programa para eso.
Entonces, sí, las computadoras pueden realizar operaciones lógicas inductivas y deductivas. Los inductivos son útiles para sistemas abiertos donde toda la información aún no se ha ingresado, pero las decisiones calculadas deben tomarse en función de la entrada ya dada. Si ya sabe la cantidad de información que se dará, la decisión puede ser deductiva si agrega un grado de certeza basado en la cantidad de información total recibida dividida por la información total esperada. Y, por supuesto, si tiene toda la información esperada, la decisión calculada puede ser completamente deductiva.
- ¿Existe una conexión lingüística entre la palabra árabe 'ilm' y el inglés 'illuminate' o latín 'lumen'?
- ¿La omnisciencia es filosóficamente posible?
- ¿Cuál es la explicación más aceptada de lo que es la realidad? No en términos de sus propiedades (por ejemplo, vibraciones de cuerda), sino de lo que realmente es
- ¿Cuál es la diferencia entre 'inteligente / inteligente / sabio' y 'correcto / correcto'?
- ¿Cuáles son los pros y los contras de la idea de consiliencia, la unidad de conocimiento?
