Lógica (plan aprendizaje)
Así como el objeto de estudio tradicional de la química es la materia, y el de la biología la vida, el de la lógica es la inferencia. La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas. La lógica investiga los fundamentos por los cuales algunas inferencias son aceptables, y otras no. Cuando una inferencia es aceptable, lo es por su estructura lógica, y no por el contenido específico del argumento o el lenguaje utilizado. Por esta razón la lógica se considera una ciencia formal, como la matemática, en vez de una ciencia empírica. La lógica tradicionalmente se consideró una rama de la filosofía. Pero desde finales del siglo XIX, su formalización simbólica ha demostrado una íntima relación con las matemáticas, y dio lugar a la lógica matemática. En el siglo XX la lógica ha pasado a ser principalmente la lógica simbólica, un cálculo definido por símbolos y reglas de inferencia, lo que ha permitido su aplicación a la informática.
Armonía lógica
La armonía, entonces, se refiere a ciertas restricciones que una teoría de la prueba debe permitir que se dan entre las reglas de introducción y las de eliminación para que tenga sentido, o en otras palabras, de sus reglas de inferencia que se constituye el sentido. La aplicación de la armonía con la lógica puede ser considerado un caso especial, sino que tiene sentido hablar de la armonía con el respeto no sólo a los sistemas de inferencia, sino también los sistemas conceptuales en la cognición humana, y el tipo de sistemas en lenguajes de programación. La semántica de esta forma no ha proporcionado un reto muy grande para la teoría semántica de la verdad de Tarski, pero muchos filósofos interesados en la reconstitución de la semántica de la lógica de una manera que respete "el significado es el uso" de Ludwig Wittgenstein, piensan que la armonía es la clave.