Abstract
A set of basic static predicates, ?in itself, ?existing through itself, ?free?, and others are taken to be (at least) extensionally equivalent, and some consequences are drawn in Parts A and ? of the paper. Part C introduces adequate causation and adequate conceiving as extensionally equivalent. The dynamism or activism of Spinoza is reflected in the reconstruction by equating action with causing, passion (passive emotion) with being caused. The relation between conceiving (understanding) and causing is narrowed down by introducing grasping (?α?????) as a basic epistemological term. Part D, ?The road to freedom through active emotion?, introduces a system of grading with respect to the distinctions introduced in the foregoing, including ?being in itself, ?freedom?, etc. Active emotions are seen to represent transitions to a higher degree of freedom, the stronger and more active ones being the more conducive to rapid increase in degree of freedom. Elementary parts of the calculus of predicates are used in order to facilitate the survey of conceptual relations and to prove some theorems.