Coordination and Harmony in Bilateral Logic

Ian developed a bilateralist account of logic in which the meaning of the connectives is given by conditions on asserted and rejected sentences. An additional set of inference rules, the coordination principles, determines the interaction of assertion and rejection. found this account defective, as Rumfitt must state the coordination principles for arbitrary complex sentences. has a reply, but we argue that the problem runs deeper than he acknowledges and is in fact related to the challenge of establishing proof-theoretic harmony. We motivate a distinctively bilateral criterion for harmony and show how the bilateralist can meet it. This also resolves Ferreira's complaint.