( Osmanlı dönemi Türk filozofu Taşköprülüzâde'ye (ö. 1561) göre ayıklama/soyutlama eylemi açısından bir önermede, konu ile yüklem ilişkisinin türleri:
"X, Y'dir." denildiğinde, bir yüklem olarak Y,
1. Ya bizâtihi yüklendiği X'ten
2. Ya da X'in dışındaki başka bir nesneden
ayıklanır/soyutlanır.
Birinci durumda Y
i. ya X'in kurucu unsurlarından;
ii. ya da X ile Y arasındaki zâtî gereklilikten/zorunluluktan ayıklanır/soyutlanır.
İkinci durumda ise Y
i. ya dış-dünyada, X ile var olan
ii. ya da dış-dünyada, X'e nispet edilen bir durumdan ayıklanır/soyutlanır.
1. i.'ye "Kurucu unsurlarına ayırma yöntemi"[Tarîk el-takvîm];
1. ii.'ye "Gereklilik(zorunluluk) yöntemi"[Tarîk el-luzûm]
2. i.'ye "Kâim olma yöntemi"[Tarîk el-kıyâm]
2. ii.'ye ise "Nispet yöntemi"[Tarîk el-nisbe] adı verilir. )