Opis

• Tytuł:
  The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden
• Twórca:
  Makinson, David
• Współtwórca:
  Les Etangs, B2 Domaine de la Ronce 92410 Ville d'Avray France;
  david.makinson@gmail.com
• Opis:
  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.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa: https://creativecommons.org/licenses/by-nc-nd/4.0
• Data:
  2021.05.11;
  2020.12.30
• Typ:
  Other
• Język:
  angielski
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;4;
  49
• Temat i słowa kluczowe:
  second-level inference;
  suppositions;
  indirect inference;
  goal simplification;
  goal preservation;
  wlog;
  premise preservation
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/35461 ;
  2449-836X;
  10.18778/0138-0680.2020.23
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  sprawdź warunki licencji
• Rodzaj zawartości:
  pozostałe