Description

• Title:
  The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden
• Creator:
  Makinson, David
• Contributor:
  Les Etangs, B2 Domaine de la Ronce 92410 Ville d'Avray France;
  david.makinson@gmail.com
• Description:
  We comment on certain features that second-level inference rules commonly used in mathematical proof sometimes have, sometimes lack: suppositions, indirectness, goal-simplification, goal-preservation and premise-preservation. The emphasis is on the roles of these features, which we call 'perfumes', in mathematical practice rather than on the space of all formal possibilities, deployment in proof-theory, or conventions for display in systems of natural deduction.
• Object availability:
  free access
• Rights: https://creativecommons.org/licenses/by-nc-nd/4.0
• Date:
  2021.05.11;
  2020.12.30
• Type:
  Other
• Language:
  English
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relation:
  Bulletin of the Section of Logic;4;
  49
• Subject:
  second-level inference;
  suppositions;
  indirect inference;
  goal simplification;
  goal preservation;
  wlog;
  premise preservation
• Identifier:
  0138-0680;
  http://hdl.handle.net/11089/35461 ;
  2449-836X;
  10.18778/0138-0680.2020.23
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  check license
• Type:
  other