Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Distributive lattices of inductive JSM procedures

Distributive lattices of inductive JSM procedures 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). http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Automatic Documentation and Mathematical Linguistics Springer Journals

Distributive lattices of inductive JSM procedures

Loading next page...
 
/lp/springer-journals/distributive-lattices-of-inductive-jsm-procedures-SHjAtJkjnz
Publisher
Springer Journals
Copyright
Copyright © 2014 by Allerton Press, Inc.
Subject
Computer Science; Information Storage and Retrieval
ISSN
0005-1055
eISSN
1934-8371
DOI
10.3103/S0005105514060028
Publisher site
See Article on Publisher Site

Abstract

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

Journal

Automatic Documentation and Mathematical LinguisticsSpringer Journals

Published: Jan 30, 2015

References