Philosophy sources, eg the online Stanford Encyclopedia thereof or some work on Aristotle. But I don’t recommend you bother. “Formal” means a logical implication. “Final” suggests a purpose, which makes sense in the context of decision theory.
Aristotelian tradition. I’m sure you could find a lot of similarly motivated classifications in the cybernetics and complex systems literature if you’re not into old school metaphysics.
That looks like precise jargon. Where should I look up the words you just used?
Philosophy sources, eg the online Stanford Encyclopedia thereof or some work on Aristotle. But I don’t recommend you bother. “Formal” means a logical implication. “Final” suggests a purpose, which makes sense in the context of decision theory.
Aristotelian tradition. I’m sure you could find a lot of similarly motivated classifications in the cybernetics and complex systems literature if you’re not into old school metaphysics.