mereologie

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

Vytvořeno: 14. 3. 2000
Aktualizováno: 1. 9. 2005
Autor: -red-