Podział logiczny danego pojęcia – układ przynajmniej dwóch pojęć względem niego podrzędnych i zarazem między sobą równorzędnych.
Lub wyrażając to dokładniej:
Podział logiczny pojęcia A jest to układ pojęć: a1, a2, ..., an taki, że: każde a1 jest A i każde a2 jest A, i każde an jest A, przy czym nieprawda, że każde A jest a1 i nieprawda, że każde A jest a2, itd.
Pojęcie, którego podziału się dokonuje (w naszym przypadku: A), nosi nazwę całości dzielonej (łac. totum divisionis), zaś pojęcia a1 … an to człony podziału (membra divisionis).
Przykładowo: Układ pojęć „kobieta” i „mężczyzna” jest podziałem logicznym pojęcia „człowiek”, ponieważ dwa pierwsze pojęcia są podrzędne zakresowo względem trzeciego. Inaczej to wyrażając: każdy mężczyzna jest człowiekiem i każda kobieta jest człowiekiem, oraz zarazem nieprawda, że każdy człowiek jest mężczyzną i nieprawda, że każdy człowiek jest kobietą.
Warunki poprawności podziału logicznego Aby dany układ pojęć był podziałem logicznym, musi być przeprowadzony: wedle jednego z dwóch tylko możliwych kryteriów podziału: układu cech sprzecznych lub układu modyfikacji cechy, oraz spełniać dwie grupy warunków: dotyczących jego struktury, tzw. warunków formalnych; dotyczących jego treści, tzw.