formal logic
study of propositions, statements, and deductive arguments; practice of deriving conclusions from premises
formal ethics
formal logical system for describing and evaluating the "form" as opposed to the "content" of ethical principles
study of propositions, statements, and deductive arguments; practice of deriving conclusions from premises