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)

A comprehensive historical overview of formalist ideas in the philosophy of mathematics.

ONE OF THE intriguing features of Spinoza's well-known work, the Ethics, is its "geometrical method." Even today, there is fundamental disagreement among interpreters concerning practically every aspect of this method. Spinoza's own explicit thoughts about philosophical method are almost exclusively to be found in a short, unfinished work, the Tractatus de Intellectus Emendatione, in which Spinoza does not seem to talk about a geometrical method at all.