{"id":"arxiv/2605.02331","url":"https://arxiv.org/abs/2605.02331","tags":["cs.LO","math.LO"],"score":0,"title":"Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's Propositions V and XIV","domain":"cs.LO","source":"arxiv","authors":["Yuki Nakamura"],"reviews":0,"subject":"cs.LO","summary":"In A Study of Spinoza's Ethics (1984, §17), Jonathan Bennett argues that the demonstration of Proposition V of Spinoza's Ethica contains identifiable invalid moves and that, even granted those moves, \"cannot yield more than the conclusion that two substances could not have all their attributes in common\" -- while Spinoza concludes that they cannot share any. Bennett doubts that any valid reconstruction is available from Spinoza's stated resources without importing further commitments. Michael Della Rocca (Spinoza, 2008, ch. 2) responds that the proposition can be derived if the Principle of…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-05-04","reactions":{}}