Podział logiczny - proces myślowy polegający na dobieraniu do zakresu jakiejś nazwy zakresów podrzędnych, które mają dwie cechy:
wzajemnie się wykluczają
razem tworzą zakres nadrzędny
Zakres nadrzędny (rodzaj), dla którego dobierane są zakresy podrzędne (gatunki), nosi nazwę zakresu dzielonego (łac. totum divisionis), natomiast dobrane zakresy podrzędne określa się mianem członów podziału (łac. membra divisionis). Podział następuje według jakiegoś doraźnie wybranego kryterium podziału.
Inaczej ujmując, jest to podział zbioru elementów na części zwane podzbiorami, przy czym podział logiczny jest:
rozłączny - podzbiory nie mają elementów wspólnych
wyczerpujący - każdy element dzielonego zbioru należy do któregoś z członów podziału.
Warunki poprawności podziału:
Aby podział logiczny był poprawny, konieczne jest jednoczesne spełnienie trzech warunków:
podział musi być dokonany według pewnej określonej zasady, czyli kryterium podziału
podział musi być adekwatny, czyli wyczerpujący (podział gospodarstw rolnych na gospodarstwa mające do 10 ha powierzchni i gospodarstwa mające od 10 do 50 ha powierzchni nie jest wyczerpujący, gdyż istnieją także gospodarstwa powyżej 50 ha)
podział musi być rozłączny (podział gospodarstw rolnych na gospodarstwa mające do 10 ha powierzchni i gospodarstwa mające od 5 ha powierzchni nie jest rozłączny, gdyż oba podzbiory częściowo się nakładają - przedział od 5 do 10 ha)
modalność sposób klasyfikacji zdań oparty na stopniu pewności wyrażanego przez nie sądu; podział na typy zdań modalnych.