Which Modal Models are the Right Ones (for Logical Necessity)?

John P. Burgess
2010 THEORIA : an International Journal for Theory, History and Fundations of Science  
Recently it has become almost the received wisdom in certain quarters that Kripke models are appropriate only for something like metaphysical modalities, and not for logical modalities. Here the line of thought leading to Kripke models, and reasons why they are no less appropriate for logical than for other modalities, are explained. It is also indicated where the fallacy in the argument leading to the contrary conclusion lies. The lessons learned are then applied to the question of the status
more » ... tion of the status of the formula ¯∃x∃y (x ≠ y).
doi:10.1387/theoria.418 doaj:49701ded34e44c52897d78b5dc9714bb fatcat:d6dzv46ks5fx7k6bszb5fb7ucm