Original writings by Avi Sion on the theory and practice of inductive and deductive LOGIC  

The Logician   Philosophy, Epistemology, Phenomenology, Aetiology, Psychology, Meditation

Home Future Logic Phenomenology Judaic Logic Buddhist Illogic Logic of Causation Volition & Allied Ruminations Meditations Reflections A Fortiori Logic Other Writings General Sitemap Search Facility BOOKSHOP

www.TheLogician.net                                Avi Sion - all rights reserved

Home
Return
Chapter 43
Chapter 44
Chapter 45
Chapter 46
Chapter 47
Chapter 48
Chapter 49

The Logician

Avi Sion

All rights reserved

Search

General Sitemap

Collected Abstracts

Contact

BOOKSHOP

 

 

 

Future Logic is now available in print (472p. A4) in hardcover ($40) and paperback ($25) editions (plus shipping expenses),
and as an eBook ($5). To order online click on the following hyperlink:

 Books by Avi Sion in The Logician Bookstore

 

FUTURE LOGIC

Avi Sion, 1990 (Rev. ed. 1996) All rights reserved.

 

PART V.   CLASS-LOGIC, AND ADDUCTION.

 

43.       THE LOGIC OF CLASSES.

1.    Subsumptive or Nominal. 

2.    Classes. 

3.    Classes of Classes. 

 

44.            HIERARCHIES AND ORDERS.

1.    First Order Hierarchies. 

2.    Second Order Hierarchies. 

3.    Extreme Cases. 

 

45.            ILLICIT PROCESSES IN CLASS LOGIC.

1.    Self-membership. 

2.    The Russell Paradox.

3.    Impermutability.

 

46.            ADDUCTION.

1.    Logical Probability. 

2.    Providing Evidence. 

3.    Weighting Evidence. 

4.    Other Types of Probability. 

 

47.            THEORY FORMATION.

1.    Theorizing. 

2.    Structure of Theories.

3.    Criteria. 

4.    Control. 

 

48.            THEORY SELECTION.

1.    The Scientific Method.

2.    Compromises.

3.    Theory Changes.

4.    Exclusive Relationships.

 

49.            SYNTHETIC LOGIC.

1.    Synthesis.

2.    Self-Criticism.

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 class-logic. The novelty in our treatment of adduction lies in its modal orientation.

43. We saw that class-logic 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 self-membership 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 well-known 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 de-re 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 empirically-tested 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 theory-evaluation an open-mindedness to more far-fetched hypotheses which are not definitely disproved.

 

Previous Home Return Next            Search           General Sitemap             Collected Abstracts          Contact        BOOKSHOP