Description

• Title:
  A Variant of Material Connexive Logic
• Creator:
  Belikov, Alexander;
  Zaitsev, Dmitry
• Contributor:
  Belikov, Alexander - Lomonosov Moscow State University, Department of Logic, Faculty of Philosophy, 119234, Lomonosovskij prospekt, 27/4, Moscow, Russian Federation;
  Zaitsev, Dmitry - Lomonosov Moscow State University, Department of Logic, Faculty of Philosophy, 119234, Lomonosovskij prospekt, 27/4, Moscow, Russian Federation;
  Belikov, Alexander - belikov@philos.msu.ru;
  Zaitsev, Dmitry - zaitsev@philos.msu.ru
• Description:
  The relationship between formal (standard) logic and informal (common-sense, everyday) reasoning has always been a hot topic. In this paper, we propose another possible way to bring it up inspired by connexive logic. Our approach is based on the following presupposition: whatever method of formalizing informal reasoning you choose, there will always be some classically acceptable deductive principles that will have to be abandoned, and some desired schemes of argument that clearly are not classically valid. That way, we start with a new version of connexive logic which validates Boethius’ (and thus, Aristotle’s) Theses and quashes their converse from right to left. We provide a sound and complete axiomatization of this logic. We also study the implication-negation fragment of this logic supplied with Boolean negation as a second negation.
• Object availability:
  free access
• Rights: https://creativecommons.org/licenses/by-nc-nd/4.0
• Date:
  2022.08.25;
  2021.11.09
• Type:
  Other
• Language:
  English
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relation:
  Bulletin of the Section of Logic;2;
  51
• Subject:
  many-valued logics;
  connexive logic;
  four-valued logic MC;
  informal reasoning
• Identifier:
  0138-0680;
  http://hdl.handle.net/11089/42926 ;
  2449-836X;
  10.18778/0138-0680.2021.24
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  check license
• Type:
  other