We introduce the static dialectical logics by Routley and Meyer, and examine some dialectical inference rules to give them a breath of dialectical dynamism of reasoning. Then we attempt to define Aufheben, compromise, reconciliation, etc., formally on top of the dialectical logics. Based on these results, we propose an argument-based agent system where several agents communicate, argue with each other and finally make a decision through argumentation from knowledge bases distributed or dispersed on the network. If the agent system fails in attaining a consensus, then the Aufheben process attempts to make a dialectical agreement.