mereologie
mereologie [řec.], log. systém S. Lesniewského, vystupující jako teorie části a celku, chápaná jako teorie množin (tříd). Uveřejnění m. ve formě deduktivního kalkulu 1916 bylo jednou z realizací programu obecné deduktivní teorie a redukce mat. na logiku na úrovni prosté teorie typů.
