Conceptio
›
Archive
›
PhilArchive
PhilArchive
metadata only
Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's _Ethica_ Propositions V and XIV
Nakamura, Yuki
PhilArchive · Other
Open Source ↗
philosophy
Philosophy
This document is indexed with metadata only — full text is not available in the archive for this record.
Open the official source ↗
Related documents
Johann Christoph Sturm's Opposition to Cartesianism
#248560
Persistent Internal Standpoints in Artificial Systems: Machine Understanding as Standpoint-Organized World Modeling
#248561
Temptation as Structural Drift: A Systems Theory of Sin and Alignment
#248562
Philosophical Pessimism and the Heterogeneity of Suffering
#248563
Etica normativa
#248564
Record
· ID 173676
Retrieved via
Conceptio
— every document is proof-bundled with source, license, and retrieval metadata.