Beyond Necessity

Hume, Treatise Book I Part iii, section 2 (my emphasis): We readily suppose an object may continue individually the same, though several...

One of the assumptions in the substitution problem was the indiscernibility of identicals: Fa and a=b implies Fb Is this always true? A sl...