Consequentialism

Consequentialism is the ethical theory that holds that whether an act is morally good or bad depends only on the consequences.
Stanford Encyclopedia of Philosophy

Discussion

Consequentialism as a meta-ethical paradigm makes a claim about the justification of ethical judgments. The focus is on why certain acts are morally good (bad or neutral). Another view is that consequentialism claims that “what matters is how well things go.”¹ The idea is that ethical judgments should be made by reference to what matters, which is how good or bad the situations are.

Consequentialism is typically used to refer to descendants of utilitarianism² which may generalize beyond utility in the sense of measuring satisfaction alone while still adhering to the utilitarian paradigm³. The consequences prior to the act could be included in moral considerations, too⁴. Strictly speaking, consequentialism does not need to be utilitarian, e.g., Rule Consequentialism: “Everyone ought to follow the principles whose universal acceptance would make things go best.”⁵⁶

I found formalizing the consequentialist claim challenging: notions of dependence have not been formalized in SUMO and the precise meaning is unclear. Consequentialism is agnostic as to which protocol is used to determine whether an act is morally good or not. Formal precision seems to ask for less vagueness than is inherent in the definition. The intent seems to be that moral goodness should be determined by an analysis of the consequences; teleologically, the value of the consequences should be maximized. Determining the precise meaning of “consequences” is also tricky: we wish to include any facts about the real world. Parfit’s approach of developing a theory of what it means to have a reason to act and defining the state of affairs as what matters seems philosophically appealing. Consequentialist utilitarianism seems to emerge as one way to specify what consequentialism means: there are some functions of the consequences that represent how good or bad the state of affairs is.

The best approach I found is to define the notion of a justified ethical theory where each sentence is justified by an argument. Such a theory is consequentialist if its preferences are consequences or refer to consequences⁷.

Another approach is to focus on consequentialist utilitarianism and to provide a constraint on the applicable utility functions so that anything influencing the output of the utility function is a possible outcome of the action concerned. This approach could perhaps be generalized to claim that the result of an ethical judgment should only be influenced by physical consequences. One can probably justify statements about consequentialist utility functions with arguments that reference to the consequences, so the approaches are related.

SUMO

(documentation Consequentialism EnglishLanguage "Consequentialism is an ethical theory that holds 
that 'whether an act is morally right depends only on consequences' (Stanford Encyclopedia of Philosophy).")
(subclass Consequentialism Ethics)    

(documentation ConsequentialistTheory EnglishLanguage "A set of consequentialist sentences.")
(subclass ConsequentialistTheory EthicalTheory)

(theoryFieldPairSubclass Consequentialism ConsequentialistTheory)

(<=> 
  (instance ?CT ConsequentialistTheory)
  (and 
    (instance ?CT EthicalTheory)
    (instance ?CT JustifiedTheory)
    (forall (?S)
      (=> 
        (element ?S ?CT)
        (exists (?A ?C)
          (and
            (instance ?A ConsequentialistArgument)
            (conclusion ?A ?C)
            (containsInformation ?S ?C)))))))

Consequentialism is an ethical philosophy whose ethical theories are justified by consequentialist arguments (whether valid or not).

A consequentialist argument is one for which there is a set of consequences, and each premise of the argument is either a consequence or refers to the consequences.

(documentation ConsequentialistArgument EnglishLanguage "An argument that is made on consequentialist grounds, namely, 
by reference to the consequences of some action.")
(subclass ConsequentialistArgument Argument)

(<=>
  (instance ?ARGUE ConsequentialistArgument)
  (and 
    (instance ?ARGUE Argument)
    (exists (?CS)
      (and
        (instance ?CS ConsequenceSet)
        (forall (?PREM)
          (=>
            (and 
              (premise ?ARGUE ?PREM)
              (represents ?P ?PREM))
            (or
              (element ?P ?CS)
              (refers ?P ?CS))))))))

A consequence is any entity that results from a process⁸⁹. A consequence set is a non-empty set generated by the consequence function‘s application to an action. The consequence function takes an action and returns a set containing the action, every process that is transitively caused by the action, and every result of a process in the consequence set.

(documentation Consequence EnglishLanguage "A result of a particular action or situation (https://dictionary.cambridge.org/dictionary/english/consequence)")
(subclass Consequence Entity)

(<=> 
  (instance ?C Consequence)
  (exists (?P)
    (and 
      (instance ?P Process)
      (result ?P ?C))))

(documentation ConsequenceSet EnglishLanguage "A set containing all the consequences of an action.")
(subclass ConsequenceSet NonNullSet)

(<=> 
  (instance ?S ConsequenceSet)
  (and
    (instance ?S Set)
    (exists (?A)
      (and
        (instance ?A AutonomousAgentProcess)
        (equal ?S (ConsequenceFn ?A))))))

(documentation ConsequenceFn EnglishLanguage "A function that maps an action to its set of consequences, 
which contains every transitively caused process and every result of a process in the set.")
(domain ConsequenceFn 1 AutonomousAgentProcess)
(range ConsequenceFn ConsequenceSet)
(instance ConsequenceFn UnaryFunction)

(=> 
  (equal ?CS (ConsequenceFn ?ACTION))
  (and
    (element ?ACTION ?CS))
    (forall (?C)
      (=>
        (transitiveCauses ?ACTION ?C)
        (element ?C ?CS)))
    (forall (?C ?R)
      (=>
        (and
          (instance ?C Process)
          (element ?C ?CS)
          (result ?C ?R))
        (element ?R CS))))

The notion of transitive causation is defined in terms of the existence of a list where each element causes the next element in the list.

(documentation transitiveCauses EnglishLanguage "A transitive closure of causation, which should in theory have some 'degree of causation', rendering the translation back into causes lossy.")
(domain transitiveCauses 1 Process)
(domain transitiveCauses 2 Process)
(instance transitiveCauses AsymmetricRelation)
(instance transitiveCauses TransitiveRelation)
(instance transitiveCauses BinaryPredicate)
(subrelation causes transitiveCauses)

(<=> 
  (transitiveCauses ?P1 ?P2)
  (exists (?L)
    (and
      (equal ?P1 FirstFn ?L)
      (equal ?P2 LastFn ?L)
      (forall (?N)
        (=> 
          (and
            (greaterThan ?N 1)
            (lessThan ?N (ListLengthFn ?L)))
          (causes 
            (ListOrderFn ?L ?N)
            (ListOrderFn ?L (AdditionFn ?N 1))))))))

Below is a meta-ethical¹⁰ consequentialist claim that all simple action-value judgment sentences that apply an ethical judgment to the instantiation of a specific behavior are true if and only if there exists a valid, deductive consequentialist argument for the sentence.

(documentation ConsequentialismMetaEthics EnglishLanguage "Consequentialism is an ethical theory that holds 
that 'whether an act is morally right depends only on consequences (as opposed to the circumstances 
or the intrinsic nature of the act or anything that happens before the act)' (Stanford Encyclopedia of Philosophy).")
(subclass ConsequentialismMetaEthics MetaEthics)    

(documentation ConsequentialistMetaTheory EnglishLanguage "A set of consequentialist sentences.")
(subclass ConsequentialistMetaTheory MetaEthicalTheory)

(theoryFieldPairSubclass ConsequentialismMetaEthics ConsequentialistMetaTheory)

(documentation SimpleActionValueJudgmentConsequentialistMetaTheory EnglishLanguage 
"This form of consequentialism states that the truth of an ethical judgment of an 
action is true if and only if there is a valid consequentialist argument for the 
judgment.")
(subclass SimpleActionValueJudgmentConsequentialistMetaTheory ConsequentialistMetaTheory)

(<=>
  (instance ?CMT ConsequentialistMetaTheory)
  (exists (?CS)
    (and
      (element ?CS ?CMT)
      (equal ?CS
        (forall (?MS)
          (=>
            (insance ?MS SimpleActionValueJudgmentSentence)
            (<=>
              (truth ?MS True)
              (and
                (exists (?A)
                  (and 
                    (instance ?A ValidDeductiveArgument
                    (instance ?A ConsequentialistArgument)
                    (conclusion ?A ?MS))))))))))))