Open AccessThe Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden
Author(s) -
David Makinson
Publication year - 2020
Publication title -
bulletin of the section of logic
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.225
H-Index - 13
eISSN - 2449-836X
pISSN - 0138-0680
DOI - 10.18778/0138-0680.2020.23
Subject(s) - premise , inference , epistemology , computer science , natural (archaeology) , space (punctuation) , rule of inference , calculus (dental) , phenomenology (philosophy) , software deployment , mathematics , philosophy , artificial intelligence , software engineering , history , archaeology , medicine , dentistry , operating system
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.