Abstract

This brief paper provides documentation to a computer program for analysis of Spinoza's Ethics. The program explodes an entity in the Ethics either (1) forward to the tree of all propositions that depend upon the entity or (2) backwards to the tree terminating at the axioms, definitions, lemmas or propositions on which the proof of the entity depend. The paper gives instructions to download and implement the program in Windows.