Logical identity (Leibniz's law) is distinct from metaphysical identity criteria; deriving sortal co...
This proposition has not been edited since the history system was added.