Description

• Title:
  Logical Forms, Substitutions and Information Types
• Creator:
  Punčochář, Vit
• Description:
  This paper explores the relation between the philosophical idea that logic is a science studying logical forms, and a mathematical feature of logical systems called the principle of uniform substitution, which is often regarded as a technical counterpart of the philosophical idea. We argue that at least in one interesting sense the principle of uniform substitution does not capture adequately the requirement that logic is a matter of form and that logical truths are formal truths. We show that some specific logical expressions can produce propositions of different kinds and the resulting diversity of informational types can lead to a justified failure of uniform substitution without undermining the view that logic is a purely formal discipline.
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2023 Vít Punčochář;
  https://creativecommons.org/licenses/by-nd/4.0
• Date:
  2023.07.21
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  Logic and Logical Philosophy; Vol. 32 No. 3 (2023): September; 459-473;
  Logic and Logical Philosophy; Tom 32 Nr 3 (2023): Wrzesień; 459-473;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/44258/36130
• Subject:
  logical form;
  uniform substitution;
  information types;
  non-classical logics
• Identifier: https://apcz.umk.pl/LLP/article/view/44258
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text