The Oxford Biblical Studies Online and Oxford Islamic Studies Online have retired. Content you previously purchased on Oxford Biblical Studies Online or Oxford Islamic Studies Online has now moved to Oxford Reference, Oxford Handbooks Online, Oxford Scholarship Online, or What Everyone Needs to Know®. For information on how to continue to view articles visit the subscriber services page.

Related Content

'modal logic' can also refer to...


More Like This

Show all results sharing these subjects:

  • Science and technology
  • Mathematics and Computer Science


Show Summary Details


modal logic

Quick Reference

A logic studying the notions of necessity and possibility. Modal logic was of great importance historically, particularly in the light of various doctrines concerning the necessary properties of the deity, but was not a central topic of modern logic in its golden period at the beginning of the 20th century. It was, however, revived by C. I. Lewis, by adding to a propositional or predicate calculus two operators, · and ◊ (sometimes written N and M), meaning necessarily and possibly, respectively. Theses like p → ◊p and ·pp will be wanted. Controversial theses include ·p→ ··p (if a proposition is necessary, it is necessarily necessary, characteristic of the system known as S4) and ◊p→ ·◊p (if a proposition is possible, it is necessarily possible, characteristic of the system known as S5). The classical model theory for modal logic, due to Kripke and the Swedish logician Stig Kanger, involves valuing propositions not as true or false simpliciter, but as true or false at possible worlds, with necessity then corresponding to truth in all worlds, and possibility to truth in some world. Various different systems of modal logic result from adjusting the accessibility relation between worlds. See Kripke model.

Reference entries