Ethical Conjectures

Many debates in the field of meta-ethics can be formulated as conjectures. The same ontology and formalism can work for morally relative or normative theories.

• Normativity: There exist ethical codes that all rational agents will put forth¹See SEP: The Definition of Morality.: ethical theorems whose premises are self-evident²Alan Gewirth’s Proof for the Principle of Generic Consistency formalized in Isabelle/HOL is one of the best attempts at establishing a normative ethical theorem..
• Decidability: There is a decision procedure to determine whether moral judgments hold or not³Under many standard theories, there should be an impossibility statement in general. But many specific judgments can still be determined..
• Consistency: There exists a moral theory that solves all moral dilemmas consistently, providing clear action guidance⁴See SEP: Moral Dilemmas.
• Paraconsistency: Some moral dilemmas require reasoning about non-consistencies.
• Equivalence: The primary ethical paradigms are equally expressive. For each pair of paradigms A and B and theories a in A and b in B, there exists a translation trans in A such that trans(a) is equivalent to b⁵I believe the wording should be something like this.. In plain English, each paradigm can embed the other paradigms within it.