La armonía lógica, un nombre acuñado por Michael Dummett, es una limitación en las reglas de inferencia que se puede utilizar en un sistema de lógica determinado.
El lógico Gerhard Gentzen propuso que el significado de las conectivas lógicas podría estar dado por las reglas para su introducción en el discurso.
Gentzen pensaba que las reglas de este tipo es lo que da sentido a las palabras, o por lo menos a ciertas palabras.
A esta suposición respondió Nuel Belnap, señalando que a pesar de que las reglas de introducción y eliminación puede constituir el significado, no sólo cualquier par de estas normas determinan una expresión significativa - deben cumplir con ciertas restricciones, tales como no permitir deducir nuevas verdades en el antiguo vocabulario.
Estas limitaciones son a las que se refería Dummett.