In this article we consider the set of M-predicates used for the formalization of J.S. Mill’s inductive methods of agreement, of difference, of agreement and difference, of residue, of concomitant variations, and of their strengthenings by the ban on counterexamples. Two partial orders on this set are considered using relations of logical deducibility and inclusion of sets of hypotheses generated. It is established that these partially ordered sets of M-predicates form distributive lattices. Products of these distributive lattices form the set of possible strategies of plausible JSM-reasoning (they represent rules of unductive inference).
Automatic Documentation and Mathematical Linguistics – Springer Journals
Published: Jan 30, 2015