[3] См ., напр .: Goodman N. The Structure of Appearance. Harvard Univ . Press , 1951.
[4] В этой связи нельзя забывать трудности, связанные с номиналистической интерпретацией выражений естественного языка. Для номиналиста термин «дерево» — одноместный предикат, аргументами которого являются отдельные конкретные деревья. Поэтому выражение «х есть дерево» выполнимо любым конкретным деревом. Если, однако, мы имеем предложение «деревья—растения», то выражение «х есть растение», очевидно, допускает, чтобы значениями индивидных переменных мы признали и предикаты. Этого, однако, последовательный номиналист не может допустить. Поэтому также он интерпретирует указанное предложение не как включение классов, то есть как «( х ) ( х есть дерево) I ( х ) ( х есть растение)», а как логически обусловленную зависимость двух предикатов, которые относятся к индивидуумам одного и того же универсума, то есть как «( " х ) [( х есть дерево) > ( х есть растение)]». Однако следует прибавить, что включение определяется при помощи членства в классе, так что и в случае первой интерпретации мы придем к индивидуумам.
[5] Н. Гудм е н считает этот принцип одним из важнейших принципов номинализма.
[6] Аналогичной является ситуация при феноменалистической системе, в которой также исходным пунктом являются не индивидуумы, но то, что соответствует свойствам или качествам. Притом, в этой системе индивидуум может быть определен как точка пересечения определенных качеств.
[7] На это обратил внимание У. Куайн [ Word and Object , p . 117], который приводит этот пример как выражение крайнего номинализма. Выражение «1 = 1» не является истинным потому, что оба знака по обе стороны знака равенства являются пространственно различными. Это означает, что из системы критериев различения следует исключить пространственное различие. Фактически, конечно, речь идет о численном равенстве, которое задано тождеством числа элементов в классе.
Вообще говоря, характерно, что большинство защитников номиналистического способа построения логических систем принимало понятие «тождество» с оговорками. Например, Витгенштейн в «Трактате» [5.5302] утверждает, что Расселово определение знака «=» недостаточно, так как, исходя из этого определения, нельзя утверждать, что два предмета имеют все свойства общие. К сказанному он добавляет в следующем предложений [5.5303]: «Сказать о двух предметах, что они тождественны, бессмысленно, а сказать об одном предмете, что он тождествен самому себе, значит ничего не сказать».
[8] Следует подчеркнуть, что установление подобия не является единственным основанием для образования понятия. Существует и другая схема образования понятий, которая опирается на иные основания. Преимущество конститутивных подходов, которые опираются на подобие, заключается в том, что они включают как традиционную (Локкову) концепцию абстракции, так и противоположную концепцию, которая не может опираться только на установление «общего» эмпирического свойства.
10-09-2015, 21:50