Description

• Title:
  In what sense is Kantian principle of contradiction non-classical?
• Creator:
  Kovač, Srećko
• Description:
  On the ground of Kant’s reformulation of the principle of contradiction, a non-classical logic KC and its extension KC+ are constructed. In KC and KC+, ¬(φ ∧ ¬φ),φ → (¬φ → ψ), and φ ∨ ¬φ are not valid due to specific changes in the meaning of connectives and quantifiers, although there is the explosion of derivable consequences from {φ,¬φ} (the deduction theorem lacking). KC and KC+ are interpreted as fragments of an S5-based first-order modal logic M. The quantification in M is combined with a “subject abstraction” device, which excepts predicate letters from the scope of modal operators. Derivability is defined by an appropriate labeled tableau system rules. Informally, KC is mainly ontologically motivated (in contrast, for example, to Jaśkowski’s discussive logic), relativizing state of affairs with respect to conditions such as time.
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Date:
  2008.09.30
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  Logic and Logical Philosophy; Vol. 17 No. 3 (2008); 251-274;
  Logic and Logical Philosophy; Tom 17 Nr 3 (2008); 251-274;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/LLP.2008.013/1287
• Subject:
  Kant;
  paracompleteness;
  paraconsistency;
  principle of contradiction;
  square of oppositions;
  subject abstraction;
  labelled tableau
• Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2008.013
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text