Podział logiczny
Z Wikipedii, wolnej encyclopedia
Podział logiczny danego pojęcia jest to 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 dokonujemy (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ą.