Систематика систематики Чебанов С.В. 2007. Линней не занимался классификацией? // Линнеевский сборник
Сначала автор касается различения собирательных и разделительных понятий. То, что обычно пишут в "учебниках" логики - логика разделительных понятий. Именно там общее беднее частного. Но есть другая - логика собирательных понятий. Чебанов дает - полунамеком - историю "дискриминации" этой логики. 1903 - Рассел - парадокс наивной (канторовой - Катасонов, 1999) теории множеств (подобный парадоксу брадобрея).
Решения: аксиоматическая теория множеств Цермело-Френкеля, Неймана-Бернайса-Геделя (1907) /// теория типов Рассела и мереология Лесневского (Ивлев, 1998).
( Read more... )