What are the axioms of morality

Ontology and moral axioms

Would a moral axiom necessarily arise from ontology?

I define a moral axiom as what dictates the behavior, calling the act itself ethical or nonethical (i.e. the judgment on the behavior is "ethics"). An axiom of morality would necessarily come from the very essence of being, wouldn't it?

Can we formalize morality into axioms to hopefully ensure that the question can actually be answered? If so, does it follow that our axiomatic morality comes from our very existence or from some other source?


More importantly, what do you mean by "essence of being itself"? Do you mean something Heideggerian or something else?


For Aristotle, ethics arises directly from ontology. But I'm not sure why you put "axioms" and "morals" in the mix then


Lots of random terms are thrown around here ...


If we were to agree with Kant in defining morality by self-attachment, an ontology would always yield a moral axiom (I would call it a "maxim") aimed at defining the self in the ontology.

A problem arises in formalizing morality in axioms. According to Godel's incompleteness theorem, an axiomatic system cannot be both consistent and complete. So if we define morality with an axiomatic system, we get either contradictions or undecidable sentences.


There are many axiomatic systems that are both complete and consistent. Godel's theorem states that if your system is powerful enough to contain arithmetic, you cannot have both consistency and completeness. To what extent it makes sense to associate some kind of formalization of ethics with arithmetic, or whether someone has examined it, I would like to know.