Morality as a System of Logic