Abstract

Representing moral choice as a function of rational choice is carried out by formalizing moral evaluation into a functional mechanism called "Moral Choice Function" whose domain is information on a state of affairs and range is a moral judgment, and upon which formal and substantive requirements are imposed. The notions such as impartiality, universalizability, proportionality, and informational invariance are employed for the issue of how to solve conflict of values faced by an individual as well as collective moral agent. By utilizing the structural affinity with post-Arrovian social choice theory, it is shown that inter-attribute commensurability is indispensable for any serious moral agent who wants to solve conflict of values through pluralistic maximizing. It is also shown that once the morally relevant attributes are identified, formal requirements are powerful enough to qualify the function to behave in a certain way such that the formulas for pluralistic maximizing vary with the modes of inter-attribute commensurability. It is also shown how it is still possible to manage conflict of values rationally without value commensurability by interpreting John Rawls's theory of justice as neo-Kantian in dealing with conflicting desiderata from Kantian deontology and utilitarian consequentialism. The metaethical tenets for the project are also argued for such that it is neutral about the ontological status of morality; but it is anti-Humean with its supervenience thesis, anti-Moorean with its reducibility thesis, and anti-naturalist with its syntheticity thesis. It is also argued that behind the project there lies a fundamental metaphysical conception of an entity as a bundle of properties conjoined with epistemic foundationalism, which is evidenced not only in moral evaluation but also in other kinds of cognitive activity