4. Логическая редукция, или редукция по определению

Данная форма редукции была наиболее популярна среди философов, но в последние десятилетия она вышла из моды. Это отношение между словами и предложениями, где слова и предложения, указывающие на один тип сущности, могут быть без остатка переведены в другой тип сущности. Например, предложения относительно среднестатистического водопроводчика в Беркли сводимы к предложениям о конкретных индивидуальных водопроводчиках в Беркли. Согласно одной из теорий, предложения относительно чисел могут быть переведены в, а следовательно, и редуцируемыми к предложениям относительно множеств. И поскольку слова и предложения логически, или по определению, редуцируемы, то соответствующие сущности, на которые указывают слова и предложения, редуцируемы онтологически. К примеру, числа суть ничто иное, как множества множеств.