Origin Essentialism (Computational Metaphysics)

I plan to formalise different version of Salmon's arguments for origin essentialism. For each version, I will be finding out the problem it faces and subsequently solving them in the next version. Along, with solving the Recycling and Generality problem, I will also take on the Tolerance problem by not reducing to a version of the Sorites paradox but rather making changes in modal logic S5. I will build on the work of Salmon and Lewis who use S4 instead of S5.