www.TheLogician.net © Avi Sion  all rights reserved 
The Logician © Avi Sion All rights reserved

Future Logic is now available in print (472p. A4) in hardcover ($40) and paperback ($25) editions (plus shipping expenses),
FUTURE LOGIC©
Avi Sion, 1990 (Rev. ed. 1996) All rights reserved.
PART V.
CLASSLOGIC, AND ADDUCTION. 1.
Subsumptive or Nominal.
2.
Classes. 3.
Classes of Classes.
1.
First Order Hierarchies.
2.
Second Order Hierarchies. 3.
Extreme Cases.
45.
ILLICIT PROCESSES IN CLASS LOGIC. 1.
Selfmembership.
2.
The Russell Paradox. 3.
Impermutability. 1.
Logical Probability.
2.
Providing Evidence.
3.
Weighting Evidence.
4.
Other Types of Probability. 1.
Theorizing.
2.
Structure of Theories. 3.
Criteria. 4.
Control. 1.
The Scientific Method. 2.
Compromises. 3.
Theory Changes. 4.
Exclusive Relationships. 1.
Synthesis. 2.
SelfCriticism. 3. Fairness.
Summary of findings in the chapters of this part: Part V. The Logics of Classification and of Adduction . These two topics were lumped together, without intent to imply a close relation between them. They are fields of logic which derive from the previous, though important in themselves. There are many significant innovations in our treatments of classlogic. The novelty in our treatment of adduction lies in its modal orientation. 43. We saw that classlogic takes terms 'nominally', in a way distinct from the subsumptive approach of Aristotelean forms. However, classes and classes of classes are easily defined with reference to Aristotelean forms; and the features, immediate inferences, and deductive arguments of forms with such terms are readily derivable from these definitions. 44. We distinguished classes and classes of classes as two separate 'orders' of classes, each with its own though parallel 'hierarchy' of classes. The relational aspect of these concepts was stressed, when we sought to clarify their extreme manifestations. 45. We analyzed the concept of selfmembership both conceptually and with reference to examples, and found it wanting. We then considered the famous Russell Paradox, and demonstrated that the solution of the problem lay in the concept of permutation (rather than in issues of membership), whose ontological significance was also clarified. 46. Adduction is the general method by which we induce the logical probability of any information. We discussed its wellknown form of argument, which is similar to apodosis, only with less established premises and/or conclusions. We showed how it provides and weights evidence, and thus validated it. We also discussed dere adduction. 47. We looked into the psychology of theorizing, described the structures of theories and various criteria we use in making them, and we suggested ways theories may be more purposefully formed and tested. 48. We described in formal terms the scientific method of judging between theories, but also indicated the pragmatic compromises that are often called for, and how theories may gradually be changed. Theories with exclusive empiricallytested predictions were granted formal certainty. 49. Under the heading of Synthetic Logic, we advocated a healthy skepticism and flexibility, which transcends rigidly formal standards of theoryevaluation — an openmindedness to more farfetched hypotheses which are not definitely disproved. 