Logical harmony was a name coined by Sir Michael Dummett to talk about an idea about where meaning comes from that is powerfully summarised in a brief phrase of Gerhard Gentzen to the effect that we can take the introduction rules as giving the meaning of a connective. Harmony, then, referes to certain constraints that a proof theory must let hold between introduction and elimination rules for it to be meaningful, or in other words, for its inference rules to be meaning constituting. Semantics of this form has not provided a very great challenge to that sketched in Tarski's semantic theory of truth, but many philosophers interested in reconstituting the semantics of logic in a way that respects Ludwig Wittgenstein's meaning is use have felt that harmony holds the key.