所谓的范畴,按我的理解它有其他很多名词同意,我想说的实际上就是“建模”里的类(计算机和逻辑学有说)。
亚里士多德把推理视为一种基于辨识事务之类(classes)的活动。有了类,就可以去识别类与类之间的关系。进而,就可以对确认这些关系的命题进行操作。亚里士多德认为,推理的基本要素就是分类形成的种类本身,即把事物归入其中的那些范畴(这段摘自-逻辑学导论)