Abstract: | This paper consists of four sections. The first section considers what the proof of necessitarianism in Spinoza's system requires. Also in the first section, Jonathan Bennett's (1984) reading of lpl6 as involving a commitment to necessitarianism is presented and accepted. The second section evaluates Bennett's suggestion how Spinoza might have been led to conclude necessitarianism from his basic assumptions. The third section of the paper is devoted to Don Garrett's (1991) interpretation of Spinoza's proof. I argue that Bennett's and Garrett's interpretations of Spinoza's necessitarianism have shortcomings which justify an attempt to offer an alternative proof. In the proof given in the fourth section, it is argued that Spinoza derived necessitarianism from the conjunction of the following principles: (i) necessary existence of the substances; (ii) substance-property ontology; (iii) superessentialism; and (iv) the 'no shared attribute'thesis. |