Misplaced Pages

S5 (modal logic)

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
(Redirected from Axiom S5) One of five systems of modal logic

In logic and philosophy, S5 is one of five systems of modal logic proposed by Clarence Irving Lewis and Cooper Harold Langford in their 1932 book Symbolic Logic. It is a normal modal logic, and one of the oldest systems of modal logic of any kind. It is formed with propositional calculus formulas and tautologies, and inference apparatus with substitution and modus ponens, but extending the syntax with the modal operator necessarily ◻ {\displaystyle \Box } and its dual possibly ◊ {\displaystyle \Diamond } .

The axioms of S5

The following makes use of the modal operators ◻ {\displaystyle \Box } ("necessarily") and ◊ {\displaystyle \Diamond } ("possibly").

S5 is characterized by the axioms:

  • K: ◻ ( A → B ) → ( ◻ A → ◻ B ) {\displaystyle \Box (A\to B)\to (\Box A\to \Box B)} ;
  • T: ◻ A → A {\displaystyle \Box A\to A} ,

and either:

  • 5: ◊ A → ◻ ◊ A {\displaystyle \Diamond A\to \Box \Diamond A} ;
  • or both of the following:
  • 4: ◻ A → ◻ ◻ A {\displaystyle \Box A\to \Box \Box A} , and
  • B: A → ◻ ◊ A {\displaystyle A\to \Box \Diamond A} .

The (5) axiom restricts the accessibility relation R {\displaystyle R} of the Kripke frame to be Euclidean, i.e. ( w R v ∧ w R u ) ⟹ v R u {\displaystyle (wRv\land wRu)\implies vRu} , thereby conflating necessity with possibility under idempotence.

Kripke semantics

In terms of Kripke semantics, S5 is characterized by frames where the accessibility relation is an equivalence relation: it is reflexive, transitive, and symmetric.

Determining the satisfiability of an S5 formula is an NP-complete problem. The hardness proof is trivial, as S5 includes the propositional logic. Membership is proved by showing that any satisfiable formula has a Kripke model where the number of worlds is at most linear in the size of the formula.

Applications

S5 is useful because it avoids superfluous iteration of qualifiers of different kinds. For example, under S5, if X is necessarily, possibly, necessarily, possibly true, then X is possibly true. Unbolded qualifiers before the final "possibly" are pruned in S5. While this is useful for keeping propositions reasonably short, it also might appear counter-intuitive in that, under S5, if something is possibly necessary, then it is necessary.

Alvin Plantinga has argued that this feature of S5 is not, in fact, counter-intuitive. To justify, he reasons that if X is possibly necessary, it is necessary in at least one possible world; hence it is necessary in all possible worlds and thus is true in all possible worlds. Such reasoning underpins 'modal' formulations of the ontological argument.

S5 is equivalent to the adjunction ◊ ⊣ ◻ {\displaystyle \Diamond \dashv \Box } .

Leibniz proposed an ontological argument for the existence of God using this axiom. In his words, "If a necessary being is possible, it follows that it exists actually".

S5 is also the modal system for the metaphysics of saint Thomas Aquinas and in particular for the Five Ways.

However, these applications require that each operator is in a serial arrangement of a single modality. Under multimodal logic, e.g., "X is possibly (in epistemic modality, per one's data) necessary (in alethic modality)," it no longer follows that X being necessary in at least one epistemically possible world means it is necessary in all epistemically possible worlds. This aligns with the intuition that proposing a certain necessary entity does not mean it is real.

See also

References

  1. Chellas, B. F. (1980) Modal Logic: An Introduction. Cambridge University Press. ISBN 0-521-22476-4
  2. Hughes, G. E., and Cresswell, M. J. (1996) A New Introduction to Modal Logic. Routledge. ISBN 0-415-12599-5
  3. Kracht, Marcus (1999). Tools and Techniques in Modal Logic (1st ed.). Elsevier. p. 72. ISBN 9780444500557.
  4. "Steve Awodey. Category Theory. Chapter 10. Monads. 10.4 Comonads and Coalgebras" (PDF).
  5. Look, Brandon C. (2020), Zalta, Edward N. (ed.), "Gottfried Wilhelm Leibniz", The Stanford Encyclopedia of Philosophy (Spring 2020 ed.), Metaphysics Research Lab, Stanford University, retrieved 2022-06-03
  6. Gianfranco Basti (2017). Logica III: logica filosofica e filosofia formale- Parte I: la riscoperta moderna della logica formale [Logics III: philosophical Logic and formal philosophy - Part I: the modern rediscovery of the formal logic] (PDF) (in Italian). Rome. pp. 106, 108. Archived from the original (PPT) on 2022-10-07.{{cite book}}: CS1 maint: location missing publisher (link)
  7. Walter Carnielli; Claudio Pizzi (2008). Modalities and Multimodalities. Springer. ISBN 978-1-4020-8589-5.

External links

Category: