People have asked about the subject of my book, and how it is possible to calculate the definition of philosophical concepts such as knowledge and deduction from combinations of psychological aptitudes using abstract algebra. For this reason I would like to share with you one of the results calculated in my book. Myers-Briggs types are classified as: Introverted or Extraverted, iNtuitive (imaginative) or Sensing (realistic), Thinking (logical) or Feeling (emotional), and Judging (planning) or Perceiving (accommodating). Among the Myers-Briggs types, it is commonly accepted that J types extravert the judging function and P types extravert the perceiving function. This causes problems for introverts: an IP type therefore also has his perceiving function after his introverted judging function. However, I believe that this interpretation is correct because small children are very dependent on others and so are quite extraverted. If they become introverted it is to spend extra time supporting the established extraverted function by preparing with the introverted function. Perceiving functions can be sensing or intuiting, and judging functions can be thinking or feeling. AD: So IP and EJ types have a judging function followed by a perceiving function, and IJ and EP types have a perceiving function followed by a judging function. IP and EJ types, because they perceive with respect to a priori judgments, must then Discover; IJ and EP types, because they judge with respect to a posteriori perceptions, must then Invent. BC: Classicists are NT, scrutinizing the imagination, or SF, attached to reality. Progressives are NF, attached to the imagination, or ST, scrutinizing reality. AD * BC = ABCD: Like Reinin's interpretation of Socionics, in my theory, Cognietrics, any two traits imply a third. Therefore Patterns use unconventional (Progressive) insights (Discoverer) for conventional (Classicist) purposes (Inventor), whereas Concepts use conventional (Classicist) insights (Discoverer) for unconventional (Progressive) purposes (Inventor). ABD: Types who intuit first, INJ or ENP, or sense second, ISP or ESJ, are Deductive, because they are processing abstract arguments to determine a result that must exist in reality. Types who sense first, ISJ or ESP, or intuit second, INP or ENJ, are Inductive, because they are hoping to reach an abstract conclusion about concrete categories. C: Logic represents the mind dealing with things that are Changing, whereas emotion with things that are Unchanging. For this reason when you like someone you have a good feeling that doesn