Mantıkta; lafızların türlerini, delâletini, bilinenlerin konu ve yüklem olabilmesi için onları tümel, tikel, özsel, ilintisel, tür ve ayrım olma bakımından birbirinden ayırmayı incelemek zorunludur. Çünkü bu incelemeler mantığın konularına ve problemlerine götüren maddî illetlerdendir. Zira mantığın problemleri, özsel tanım, ilintisel tanım, önermeler ve kıyastır. Bunlardan her biri de müfretlerden oluşur. Tarifler, özsel ve ilintisel müfretlerden; kıyaslar ise iki ya da daha fazla müfretten olu ...