Abstract

When two Kantian agents engage in inter-dependent transactions with one another, each agent has the responsibility to assure the morality of the other’s maxim of action and means to implement the maxim. This proposition is proven to be a logical consequence of Kant’s moral system and stated formally as the K-Completeness theorem. Transactions that satisfy the theorem are called “K-Complete.” The theorem is generalized to cover transactions with many agents. The paper then models multi-agent K-Complete transactions using mathematical graph theory and shows that such transactions are distinguished from Kant’s kingdom of ends. Finally, the paper shows that the extended morality provides Kant’s moral system with the resources to define an ethical community in such as the one in Religion within the Boundaries of Mere Reason without the introduction of God and a church.