Synthese 141 (1):45 - 76 (2004)
A form (or pattern) of inference, let us say, explicitlysubsumes just such particular inferences as are instances of the form, and implicitly subsumes thoseinferences with a premiss and conclusion logically equivalent to the premiss and conclusion of an instanceof the form in question. (For simplicity we restrict attention to one-premiss inferences.) A form ofinference is archetypal if it implicitly subsumes every correct inference. A precise definition (Section 1)of these concepts relativizes them to logics, since different logics classify different inferences ascorrect, as well as ruling differently on the matter of logical equivalence which entered into the definitionof implicit subsumption. When relativized to classical propositional logic, we find (Section 2) thatall but a handful of `degenerate' inference forms turn out to be archetypal, whereas matters are verydifferent in this respect for the case of intuitionistic propositional logic (Sections 3 and 4), and an interestingstructure emerges in this case (the poset of equivalence classes of inference forms, with respect tothe equivalence relation of implicitly subsuming the same inferences). Thus a more accurate, if excessivelylong-winded title would be 'Archetypal and Non-Archetypal Forms of Inference in Classical andIntuitionistic Propositional Logic'. Some left-overs are postponed for a final discussion (Section 5).The overall intention is to introduce a new subject matter rather than to have the last word on thequestions it raises; indeed several significant questions are left as open problems.
|Keywords||Philosophy Philosophy Epistemology Logic Metaphysics Philosophy of Language|
No categories specified
(categorize this paper)
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
The Inconspicuous Role of Paraphrase.David Sherry - 1991 - History and Philosophy of Logic 12 (2):151-166.
Rules of Inference with Parameters for Intuitionistic Logic.Vladimir V. Rybakov - 1992 - Journal of Symbolic Logic 57 (3):912-923.
Logic as Instrument: The Millian View on the Role of Logic.Ken Akiba - 1996 - History and Philosophy of Logic 17 (1-2):73-83.
Added to index2009-01-28
Total downloads39 ( #131,707 of 2,164,599 )
Recent downloads (6 months)6 ( #50,872 of 2,164,599 )
How can I increase my downloads?