В. В. Давыдов в монографии «Виды обобщения в обучении» убедительно доказал, что формально-логическая схема обобщения не всегда может правильно выделить существенные признаки для образования понятия. Для формальной логики свойства объектов рядоположны. Поэтому В. В. Давыдов называет логическую схему образования понятий «эмпирической», основанной на формальном качестве выделяемых признаков. В противовес этой схеме автор предложил другую схему образования понятий — «теоретическую». По мнению В. В. Давыдова эта схема приводит к образованию подлинно теоретических понятий, являющихся содержанием теоретического мышления.

Предложив схему образования теоретического понятия, В. В. Давыдов, к сожалению, в плане рассмотрения логической (эмпирической — в терминах В. В. Давыдова) схемы образования понятий остается на позициях формальной логики, принимая ее положения и как большинство других ученых не задаваясь вопросом: «Соответствует ли процесс обобщения, описанный в логике (литературе), реальному процессу, протекающему в действительности?» (СНОСКА: Примечательно, что сама формальная логика не в состоянии различить логически возможное от реального, от того, что существует в действительности.)

Между тем уже исследования Дж. Брунера по образованию категорий (понятий) предоставляют данные, которые позволяют поставить под сомнение правильность логической (эмпирической) схемы образования понятий (3). Брунер выделил индивидуальные стратегии образования категорий (понятий), факторы, влияющие на этот процесс. Но сам же Дж. Брунер отмечал, что его эксперименты не представляют реального процесса, протекающего в повседневной жизни.

Более весомую информацию, которая позволяет поставить под сомнение правомерность использования формально-логической схемы обобщения принесли с собой исследования Э. Рош, Дж. Лакоффа, Берлина и др.. Лакофф по этому поводу пишет: «… классическая (логическая — А. В.) теория категоризации (обобщения — А. В.) возникла не как эмпирическая гипотеза, а как абсолютно бесспорная истина» [21, с. 145]. Классическая теория обобщения строилась на формальном «исчислении предикатов» (за это ее критиковал и В. В. Давыдов). Такой взгляд на процесс обобщения, согласно данным Э. Рош, Лакоффа и др., не соответствует реальному положению дел и требует пересмотра. Формально-логическая схема обобщения, основанная на исчислении предикатов (свойств объектов) ставится под сомнение собственной логикой: согласно формальной логике все свойства объектов одного класса рядоположны. Отсюда следует, что не может существовать таких эффектов, когда одно из свойств является более «показательным», чем другое, при отнесении к категории, или когда один объект является «лучшим» представителем категории, чем другой.