Description

• Title:
  Weak Kleene Logic and Topic-Sensitive Logics
• Creator:
  CIUNI, ROBERTO
• Description:
  This paper makes first steps toward a systematic investigation of how pertinence to topic contributes to determine deductively valid reasoning along with preservation of designated values. I start from the interpretation of Weak Kleene Logic WKL as a reasoning tool that preserves truth and topic pertinence, which is offered by Jc Beall. I keep Beall’s motivations and I argue that WKL cannot meet them in a satisfying way. In light of this, I propose an informal definition of a topic-sensitive logic and I proceed to turn it into a formal one by deploying the topic-algebraic framework from the Topic-Sensitive Intentional Modalities project by Francesco Berto. I apply the framework in order to define semantically a ‘classical topic-sensitive logic’ CTSL that meets Beall’s motivations and proves topic-sensitive. Then, I prove results that connect CTSL and any possible topic-sensitive logic to the tradition of containment logics and provide a unification tool for a wide range of recent proposals in philosophical logic. A topic-theoretical interpretation of WKL is then offered without prejudice to the fact that the logic is not topic-sensitive. Finally, the paper discusses some conceptual issues and research perspectives.
• Object availability:
  free access
• Rights: https://creativecommons.org/licenses/by-nd/4.0 ;
  Prawa autorskie (c) 2024 ROBERTO CIUNI
• Date:
  2024.06.05
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  Logic and Logical Philosophy; Vol. 33 No. 4 (2024): December; 523-554;
  Logic and Logical Philosophy; Tom 33 Nr 4 (2024): December; 523-554;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/45901/38682
• Subject:
  topic sensitivity;
  containment logics;
  topic algebra;
  classical topic-sensitive logic;
  topic-algebraic semantics;
  logical consequence
• Identifier: https://apcz.umk.pl/LLP/article/view/45901
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text