Formal Ethics
Formal ethics is a specialized framework within the study of ethics that emphasizes the logical structure or "form" of ethical principles rather than their content. It seeks to evaluate moral principles using formal logic techniques and structures. Unlike traditional approaches that focus on specific ethical content or the outcomes of ethical actions, formal ethics is concerned with the consistency and coherence of ethical systems themselves.
Formal ethics leverages the formal systems of predicate logic and other logical frameworks such as modal logic, deontic logic, belief systems, and imperative statements. By applying these logical tools, formal ethics aims to discern and validate the structural integrity of ethical principles.
The axioms and theorems within formal ethics represent the smallest common subset of widely recognized ethical theories. The focus is on aspects that are generally uncontroversial among philosophers of ethics, such as the principle of rationality. This approach does not claim to offer a complete ethical theory but provides a foundation for understanding commonalities in ethical reasoning.
Ethical formalism is closely related to formal ethics and emphasizes the importance of the form of moral judgments. However, as noted by philosophers such as Max Scheler, formal ethics distinguishes itself by not presupposing that the correct form is necessary and sufficient for an ethical principle to be deemed correct. Instead, it explores how these forms interact across various ethical theories.
The development of formal ethics owes much to the works of thinkers like Max Scheler, whose contributions include his exploration of the ordo amoris in his seminal work "Formalism in Ethics and Non-Formal Ethics of Values." This exploration investigates the intrinsic values and emotional basis of ethics alongside their formal structures.
In contemporary settings, formal ethics is pivotal in areas such as machine ethics and the ethics of artificial intelligence. By providing a structured framework for evaluating ethical algorithms and principles, formal ethics contributes to the development of morally sound AI systems.
Formal ethics, with its emphasis on logical form, offers a unique perspective within the broader field of ethical studies, providing tools for evaluating and understanding the structure of moral reasoning across diverse contexts.