Opponent of the quantified modal logics believe that one of the most important objections to these logics is that they entail essentialism. Saul Kripke tries to overcome this challenge by showing that according to his first system, essentialism is acceptable without any inconsistency. In his revised ...
Read More
Opponent of the quantified modal logics believe that one of the most important objections to these logics is that they entail essentialism. Saul Kripke tries to overcome this challenge by showing that according to his first system, essentialism is acceptable without any inconsistency. In his revised system, Kripke leaves, to some extent, his previous interpretation of essentialism and tries to propose a more plausible justification in defense of quantified modal logic. In addition to explaining the meaning of essentialism, this article gives a detailed explanation of Kripke’s debate in his first and revised systems.
