Theoria: An International Journal for Theory, History and Foundations of Science

Volume 31, Issue 1, January 2016

Illustrating a neural model of logic computations
The case of Sherlock Holmes’ old maxim

Natural languages can express some logical propositions that humans are able to understand. We illustrate this fact with a famous text that Conan Doyle attributed to Holmes: “It is an old maxim of mine that when you have excluded the impossible, whatever remains, however improbable, must be the truth”. This is a subtle logical statement usually felt as an evident truth. The problem we are trying to solve is the cognitive reason for such a feeling. We postulate here that we accept Holmes’ maxim as true because our adult brains are equipped with neural modules that naturally perform modal logical computations. Los lenguajes naturales pueden expresar algunas proposiciones lógicas que los humanos pueden entender. Ilustramos esto con un famoso texto que Conan Doyle atribuye a Holmes: «Una vieja máxima mía dice que cuando has eliminado lo imposible, lo que queda, por muy improbable que parezca, tiene que ser la verdad”. Esto es una sutil declaración lógica que usualmente se siente evidentemente verdadera. El problema que tratamos de resolver es la razón cognitiva de tal sentimiento. Postulamos que aceptamos la máxima de Holmes como verdadera porque nuestros cerebros adultos están equipados con módulos neurales que ejecutan naturalmente computos de la lógica modal.