Archetypal Forms of Inference

• Published in: Synthese (Dordrecht) Vol. 141; no. 1; pp. 45 - 76
• Main Author: Humberstone, Lloyd
• Format: Journal Article
• Language: English
• Published: Dordrecht Kluwer Academic Publishers 01.07.2004; Springer; Springer Nature B.V
• Subjects: Archetypes; Equivalence relation; Inference; Intuitionistic logic; Logic; Logical givens; Logical theorems; Necessary conditions; Partially ordered sets; Philosophical logics. Philosophy of language; Philosophy; Propositional logic; Propositions; Subsumption; Terminology; Variables; Relation; Propositional Logic; Equivalence; Substitution; Archetype; Inference; Irreversibility; Intuitionistic Logic

A form (or pattern) of inference, let us say, explicitly subsumes just such particular inferences as are instances of the form, and implicitly subsumes those inferences with a premiss and conclusion logically equivalent to the premiss and conclusion of an instance of the form in question. (For simpl...