Ustedes qué opinan? Creen que el razonamiento humano (o incluso de otros animales) se pueda reproducir o modelar mediante un sistema finito de axiomas?
Soy ignorante del tema, pero según tengo entendido hay distintos tipos de sistemas lógicos, cómo jugaría esto dentro de la axiomatización del razonamiento humano y cuál sería la lógica más apropiada para modelarlo?
Saludos!
Pues me parece una pregunta, en parte ambigua, y en parte muy pretenciosa (en el buen sentido, de apuntar demasiado alto). Ambigua porque, ¿qué significa axiomatizar el pensamiento? Lo que a un ser humano le pasa por la cabeza depende en gran parte de las percepciones que está teniendo en cada instante, de la actividad de su subconsciente, y de tal cantidad de factores que no veo claro qué significaría en la práctica axiomatizar el pensamiento. ¿Cómo introduces las casi "infinitas premisas" que proporciona cada cosa que ves, cada muela que te duele, cada cosa que recuerdas en un momento dado, cada copa de más que puede afectar a tu raciocinio, cada aptetito que te surge en un momento dado, etc.?
Y demasiado pretenciosa porque, al fin y al cabo, el pensamiento humano es contradictorio: cualquiera puede encontrar razones para hacer algo y otras para no hacerlo, opinar una cosa en un contexto y justo la contraria en un contexto similar pero no igual, etc. Las teorías lógicas surgen "filtrando" el pensamiento humano en aquellos contextos en los que es posible hacer un "filtrado objetivo", como en las ciencias, pero, en general, el pensamiento humano es bastante vago y contradictorio: tenía interés en ir al cine, pero al final me ha dado pereza, por ninguna razón en particular. ¿Cómo axiomatizas eso?
Salvo que no te haya entendido y estés hablando de otra cosa. No sé.
Si la gente no cree que las matemáticas son sencillas es porque no se da cuenta de lo complicado que es el mundo real. (Adaptado de von Neumann)
Permisos de publicación
Citar