Бытие и сознание
Шрифт:
Ясно теперь, в чем заключается основная ошибка теории обобщения Беркли, оказавшей столь сильное влияние на ряд последующих теорий обобщения (Локка, Юма и т. д.), – с одной стороны, и в чем вместе с тем несостоятельность таких его критиков, как, например, Гуссерль – с другой. Согласно Беркли, всякий реально существующий треугольник (например, начерченный мной мелом на доске) всегда является прямо-, тупо– или остроугольным, т. е. треугольником той или иной формы, а не треугольником вообще. Рассуждая об этом эмпирически данном треугольнике, можно отвлечься от некоторых его свойств. Доказывая какую-нибудь геометрическую теорему, можно не принимать во внимание того, что нарисованный треугольник является прямо-, остро– или тупоугольным. Поэтому если при доказательстве теоремы не исходить из того, что треугольнику присуща определенная форма, оно будет относиться к треугольникам любой формы, будет иметь общий характер.
Общим, по Беркли, является частный случай, поскольку он представительствует (репрезентирует) другие, столь же частные случаи. Таким образом, в собственном смысле слова общее в отличие от частного, согласно Беркли, вообще не существует. Беркли не находит общего в вещах, потому что он ищет
Критикуя теорию Беркли (а также Локка, Юма [176] и вообще эмпириков-сенсуалистов), Гуссерль [177] справедливо подчеркивает то, что вообще понятие (хотя бы то же геометрическое понятие треугольника) есть нечто идеальное и не может быть отождествлено с эмпирически данным треугольником, в том числе и с чертежом на бумаге или на доске. Но, утверждая идеальность понятия (геометрического треугольника), он превращает понятие, идею в обособленную от материальных вещей идеальную вещь, объект интеллектуального созерцания. Между тем как на самом деле они являются идеализированным посредством абстракции отражением существенных свойств изучаемых явлений.
176
О теории абстракции у Беркли, Локка, Юма см.: Беркли Д. Трактат о началах человеческого знания. – СПб., 1905; Локк. Опыт о человеческом разуме. – М., 1898; Юм. Трактат о человеческой природе, кн. 1. Об уме, 1906.
177
Husserl E. Logische Untersuchungen. Zweiter Band. Teil I. Dritte, unveranderte Auflage. Halle, 1922. II. Die ideale Einheit der Spezies und die neueren Abstraktionstheorien. Zweites Kapitel (см. о Локке, р. 126—134). Viertes Kapitel. Abstraktion und Reprasentation (о Локке и Беркли, р. 166—184). Funftes Kapitel. Phanomenologische Studie uber Humes Abstraktionstheorie, р. 184—207.
Если у Беркли есть обобщение (абстрагирование одних частных, эмпирически данных свойств от других), но нет общего, то у Гуссерля есть общее – в виде идеального родового признака (species), – но нет обобщения, нет процесса, пути, который вел бы от вещей к общим понятиям о них. Общее содержание понятий, по Гуссерлю, дано якобы непосредственно в акте интеллектуального созерцания родовых признаков (species), так же как частное непосредственно дано в чувственном созерцании. Наличие этих двух, как будто независимых друг от друга и чужеродных актов познания служит гносеологическим «основанием» онтологического обособления общего и частного. Вместо того чтобы выступить как познание реальных, материальных вещей, процессов, явлений в закономерных взаимосвязях их существенных свойств, понятие само превращается в особую идеальную вещь или сущность – в духе платонизма и «реализма» средневековой философии. Но исходя именно из такого понимания общего как обособленного от частного, Беркли и пришел к отрицанию общего и растворению его в частном. Таким образом, если Гуссерль критикует Беркли, выявляя ряд слабых мест его концепции, то, с другой стороны, Беркли заранее опрокидывает концепцию Гуссерля, так как свои основные аргументы против существования общего он извлекает в принципе из той именно трактовки общего, которую защищает Гуссерль.
Вопрос о соотношении общего и частного – коренной вопрос теории обобщения и всей теории познания в целом. Абстрагирование общего в научном понятии не может означать отрыва его от частного. Отрыв общего от частного означает вместе с тем и отрыв общего понятия от предметов и явлений действительности. Отрыв понятий от предметов и явлений действительности, осуществляемый посредством отрыва общего от частного, неизбежно ведет к тому, что мышление в понятиях сводится к мышлению о понятиях, обособленных от их предмета. Дело, начатое таким образом, доводится до своего логического конца, когда к тому же еще и само понятие сводится к его определению. Это и есть тот путь, который с неизбежностью приводит к формалистическому пониманию мышления в понятиях. Подмена мышления о предметах и явлениях действительности оперированием над понятиями, обособленными от предметов, и над их дефинициями и есть основа формалистического подхода к мышлению. На самом деле мышление в понятиях никак не сводится к мышлению о понятиях; оно есть прежде всего познание предметов этих понятий.
Обобщение, выражающееся в абстрактных научных понятиях, возникает в результате 1) анализа, посредством которого существенное дифференцируется от несущественного (первое в качестве существенного необходимо выступает как общее для данной категории явлений, второе – как частное, специфицирующее отдельные явления); и 2) абстракции, посредством которой общие свойства, входящие в понятие, извлекаются из явления в его конкретности и «идеализируются», берутся в чистом виде, не осложненном посторонними привходящими обстоятельствами, маскирующими или осложняющими их
С ролью абстракции в обобщении связаны так называемые «определения через абстракцию» [ [178] и, значит, вообще вопрос об определении и образовании понятий. При определении через абстракцию исходят из неких эмпирически данных объектов (например, из эмпирически данного множества предметов – при определении числа, из эмпирически данных фигур – при определении геометрических образований) и образуют абстрактное понятие, фиксируя те свойства данных объектов и те отношения между ними, которые остаются инвариантными при преобразованиях, которым они могут подвергнуться. В обобщенной форме отношение, посредством которого при определении через абстракцию образуется понятие, обозначается как «эквивалентность», равнозначность двух или нескольких объектов. Эквивалентность – отношение типа равенства, обладающее свойством коммутативности (если а ~ b, то и b ~ а) и транзитивности (если а ~ bи b ~ с, то и а ~ с). Посредством эквивалентности, исходя из множества предметов, определяется тождественность понятия, образованного из них таким образом. Так, например, направление определяется как свойство, общее всем параллельным прямым, остающееся инвариантным при переходе от одной из параллельных прямых к любой другой. (Такое определение направлений считается обоснованным, поскольку отношение параллельности обладает теми же свойствами – симметричностью и транзитивностью, что и отношение эквивалентности, а также равенства.) Аналогично геометрическое образование и его форма (треугольник, круг и т. д.) определяются как то в фигуре, что остается инвариантным при изменении положения и величины. Число определяется, как то свойство множества, которое остается инвариантным при соотнесении его элементов так, что каждый элемент одного множества однозначно соотносится с элементами другого множества.
178
Об «определениях через абстракцию» см.: Weyl Hermann. Philosophic der Mathematik und der Naturwissenschaft. Handbuch der Philosophic. – Munchen und Berlin, 1927. – S. 9–10; 101—102. Принцип определения через абстракцию имелся уже у Лейбница. Он отчетливо сформулирован у Фреге (Frege). Определения через абстракцию сейчас широко применяются в математике и физике, в теоретическом естествознании (см. примеры дальше).
В определении через абстракцию определяемое выступает как нечто (х), которое остается инвариантным при некоей группе преобразований, без прямого определения того, что оно в своей специфичности есть.
Вместо того чтобы определить позитивное содержание понятия через внутренние закономерные соотношения сторон или свойств соответствующего явления и показать его инвариантность по отношению к признакам, от которых абстрагируются, при определении через абстракцию понятие характеризуется его независимостью (инвариантностью) по отношению к тому, от чего абстрагируются. Специфику этого и возможность другого, генетического, конструктивного пути можно уяснить себе на примере числа.
Через абстракцию число определяется посредством равночисленности исчисляемых множеств. Другой путь его определения – конструктивный – осуществляется исходя из единицы по принципу полной индукции. При таком обосновании числа числа выступают в своих внутренних взаимоотношениях как упорядоченные множества, посредством которых при счете упорядочивается и исчисляемое. Каждое число определяет численность множества (а не наоборот, как при определении числа через абстракцию). При этом специально показывается, что результат счета не зависит от порядка, в котором он производится (таким образом инвариантность по отношению к несущественным внешним отношениям обосновывается исходя из закономерности внутренних отношений). Определение числа через равночисленность соотносимых множеств (при определении через абстракцию) скрыто предполагает упорядочение самих соотношений и, значит, соотносимых множеств. При определении через абстракцию утверждается определенность числа посредством равночисленных множеств, но этим не вводятся индивидуально определенные числа.
При таком определении понятие является неким х, определенным лишь постольку, поскольку оно должно отвечать известным условиям – инвариантности при некоторых преобразованиях внешних по отношению к нему свойств, от которых понятие должно быть отвлечено; оно лишено каких-либо собственных («внутренних») определений (в переменную здесь таким образом превращают не то частное, внешнее, привходящее, от чего абстрагируют, а общее). Поэтому посредством определения через абстракцию при таком ее понимании создается «формальная» система, безразличная к внутреннему содержанию, к свойствам объектов, о которых идет речь. Поэтому, например, Вейль, вообще не стоящий на позициях формализма, говоря об определении через абстракцию, в этой связи заявляет: «Математику совершенно безразлично, что такое круги» (Es ist fur den Mathematiker ganz gleichgultig, was Kreise sind) [179] . Ясно, что такое утверждение ведет к открытому формализму. Конечный смысл этого утверждения применительно к математике выразил Рассел в своем известном афоризме: «математика – это наука, в которой мы не знаем, ни о чем мы говорим, ни того, истинно ли то, что мы утверждаем». (О второй части этого положения см. дальше.)
179
Weyl Hermann. Philosophie der Mathematik und Naturwissenschaft. Handbuch der Philosophie. – Munchen und Berlin, 1927. – S. 8–9.