Bennett's Conjecture in Lean 4: Counter-Models of Spinoza's Propositions

Bennett's Conjecture in Lean 4: Counter-Models of Spinoza's Propositions arxiv.org

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…

1 points•wslh•6 days ago•0 comments•

#spinozas #counter #lean #bennetts #propositions #conjecture #bennetts conjecture #counter models

0 comments

No comments yet.

0 comments

Related stories