PHILOFORGE / SPINOZA
Source and formalization
A checked implication and a faithful interpretation are two different questions. Inspect the exact statement, its assumptions and its limits.
Return to the deduction workshop ↗Foundations under development
The candidate model distinguishes existence from necessary existence, substance from its concepts, and a shared attribute from an identical attribute profile. These distinctions have Lean checks; their philosophical interpretation is not independently reviewed.
Read the foundations dossier ↗The Latin reference is the ILIESI–CNR transcription of the Gebhardt edition identified by that archive. English source passages use Elwes; French passages are our translations. Each excerpt links to its location.