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