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

DOI10.18778/0138-0680.2020.23zbMath1482.03006OpenAlexW3098107701MaRDI QIDQ4999457

David Makinson

Publication date: 7 July 2021

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.18778/0138-0680.2020.23

zbMATH Keywords

indirect inferencesuppositionsgoal preservationgoal simplificationpremise preservationsecond-level inferencewlog

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Higher-order logic (03B16)

Cites Work

• Unnamed Item
• Unnamed Item
• Logic: a history of its central concepts
• Natural deduction, hybrid systems and modal logics
• On the rules of suppositions in formal logic
• A Brief History of Natural Deduction
• Constructivism Is Difficult
• Without Loss of Generality
• Sets, logic and maths for computing

This page was built for publication: The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden