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 forth1See SEP: The Definition of Morality.: ethical theorems whose premises are self-evident2Alan 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 not3Under 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 guidance4See 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 b5I believe the wording should be something like this.. In plain English, each paradigm can embed the other paradigms within it.