Аннотация:Рассматривается проблема формального представления категоризации и обучения
понятиям с логической точки зрения. При этом предлагается подход к обучению на
основании примера. В основе развиваемого подхода лежат трактовка рассуждения на
основе примера Аристотеля и функциональное понимание понятий в духе Фреге. Строится
функциональное исчисление понятий FCC как система натурального вывода с индексами и
приписываниями типов. Исчисление позволяет формализовать процедуры введения понятий
на основе отождествления, а не на сходства.