Description

• Title:
  Varieties of Relevant S5
• Creator:
  Standefer, Shawn
• Description:
  In classically based modal logic, there are three common conceptions of necessity, the universal conception, the equivalence relation conception, and the axiomatic conception. They provide distinct presentations of the modal logic S5, all of which coincide in the basic modal language. We explore these different conceptions in the context of the relevant logic R, demonstrating where they come apart. This reveals that there are many options for being an S5-ish extension of R. It further reveals a divide between the universal conception of necessity on the one hand, and the axiomatic conception on the other: The latter is consistent with motivations for relevant logics while the former is not. For the committed relevant logician, necessity cannot be the truth in all possible worlds.
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2022 Logic and Logical Philosophy;
  https://creativecommons.org/licenses/by-nd/4.0
• Date:
  2022.03.08
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  Logic and Logical Philosophy; Vol. 32 No. 1 (2023): March; 53-80;
  Logic and Logical Philosophy; Tom 32 Nr 1 (2023): Marzec; 53-80;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/32974/31784
• Subject:
  relevant modal logic;
  S5;
  universal necessity;
  conceptions of necessity
• Identifier: https://apcz.umk.pl/LLP/article/view/32974
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text