Back Harmonieprinzip (Logik) German Logical harmony English Armonía lógica Spanish Harmonia lógica Portuguese 逻辑和谐 Chinese
Loogisella harmonialla tarkoitetaan yleisesti ehtoja, jotka rajoittavat uusien konnektiivien lisäämistä loogiseen päättelysysteemiin. Ehdot koskevat uusia konnektiiveja määritteleviin päättelysääntöihin. Luonnollisessa päättelyssä tämä tarkoittaa konnektiivin tuonti- ja eliminointisääntöjä, mutta loogista harmoniaa voidaan vaatia myös muunlaisilta päättelysysteemeiltä, kuten sekvenssikalkyyliltä.
Looginen harmonia ymmärretään yleensä tarkoittamaan joko kaikkia päättelysääntöjä koskevia rajoituksia, tai ainoastaan vaatimusta, ettei uusilla konnektiiveilla tule voida päätellä uusia lauseita, jotka eivät sisällä uutta konnektiivia itseään. Tämä ehto on ekvivalentti uuden systeemin normalisoitavuuden (luonnollisessa päättelyssä) tai leikkaussäännön eliminoitavuuden (sekvenssikalkyylissä) kanssa.