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

David Makinson | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

The 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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research