The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden

Bulletin of the Section of Logic

卷:49

David Makinson¹ 

[1] Les Etangs, B2 Domaine de la Ronce 92410 Ville d'Avray France;

关键词: second-level inference;    suppositions;    indirect inference;    goal simplification;    goal preservation;    wlog;    premise preservation;   

DOI  :  10.18778/0138-0680.2020.23

来源: DOAJ

【 摘 要 】

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.

【 授权许可】

Unknown