Existence and identity in quantified modal logics
Routley (Richard)
Source: Notre Dame J. Formal Logic 10, no. 2 (1969), 113–149
Paper - Abstract

Paper Summary

Philosophers Index Abstract

    A way of overcoming objections to the development of a combined quantification and modal logic based on S5, and more generally objections to quantified intensional logics, is elaborated. Problematic theses are appropriately qualified by basing the theory on an existence-neutral logic, with 'exists' as a primitive predicate. Problems of identity are resolved through a distinction between extensional and strict identity. Rival resolutions of the modal paradoxes are criticised, and quine's objections to quantifying into modal contexts are shown to be unwarranted. A semantical analysis of systems used is provided, and some presuppositions of this analysis discussed. S5 is defended as providing the correct account of logical necessity. Kneale's and von Wright's attempts to eliminate problematic "de dicto" modalities are criticised.

Text Colour Conventions (see disclaimer)

  1. Blue: Text by me; © Theo Todman, 2017
  2. Mauve: Text by correspondent(s) or other author(s); © the author(s)

© Theo Todman, June 2007 - September 2017. Please address any comments on this page to theo@theotodman.com. File output:
Website Maintenance Dashboard
Return to Top of this Page Return to Theo Todman's Philosophy Page Return to Theo Todman's Home Page