The main purpose of this paper is to argue, against the formalist or hypothetico-deductivist approach now dominant, that God or substance is for Spinoza a discovery, or indeed a kind of revelation. In both TdlE and Ethics, Spinoza affirms substance as the outcome of a search for salvation. He could not have held that a postulate or presupposition, even if thought necessary, can save man through abstract entailment. Indeed, salvation depends on “the quality of the object to which we cling (...) with love”, the object being “the eternal and infinite thing”. (shrink)