This book returns to the discussion in volume 1 on analogy and induction, and analyses their substance. The first part distinguishes between two kinds of logic: One kind based on union of the common features, and the other kind based on synthesis of different features. In the second part of the book we propose a formal scheme for synthesis of concepts. The third part analyses various mechanisms for kidushin and kinyan, which form a mathematical group.