Читать «Этьенн Бонно де Кондильяк» онлайн - страница 78

Именно этим путем, путем освобождения смысла знаков от всего, кроме того свойства, какое в данном рассуждении исследуется, путем постепенного упрощения знаков, совершенствуются методы рассуждения, приводящие нас к открытиям. Именно этим путем мы идем ко всем открытиям, какие способны совершить.

Таким образом, перед нами отчетливо выраженные логические идеи о том,

что для успешной деятельности научного мышления огромное значение имеет точность применяемого в науке языка;

что доказавшее свою эффективность в алгебре оперирование строго однозначными символами, подчиненное определенным логическим правилам, оперирование, освобождающее от необходимости обращать внимание на конкретные объекты и величины, для которых имеют силу алгебраические выкладки, можно и должно с успехом применить во всех науках;

что такое оперирование символами, т. е. исчисление, в огромной степени повышает точность познавательных результатов нашей мыслительной деятельности, упрощая ее, предохраняя от ошибок, так как «механически» производимые логические действия обеспечивают на каждом этапе рассуждения проверку, выявляющую, какие операции уже произведены и какие надлежит произвести, и не допускающую перерывов в цепи умозаключений;

что, применяя такие исчисления во всех областях познания, мы сумеем сделать все заключения («все открытия»), какие вообще можно сделать на основе сведений, от которых мы отправляемся в каждом рассуждении.

Здесь выявляются огромные познавательные возможности исследования тех или иных конкретных областей на основе точного искусственного языка, т. е. посредством неинтерпретированных исчислений, в которых мы отвлекаемся от особенностей каждой из этих областей. Обнаружив и высоко оценив их познавательную роль, Кондильяк значительно опередил теоретическую мысль своего времени. Подлинный смысл и значение таких исчислений были поняты лишь в XX в. Лишь в наше время успехи математической логики позволили перейти к сознательному и успешному применению метода формализации в самых различных научных областях.

Вместе с тем лишь в наше время удалось строго доказать невозможность полной формализации не только всего мышления, но и отдельных областей знания, в том числе и математики (теорема Гёделя). Утверждая, что исчисление может заменить содержательные рассуждения во всех науках, в том числе и в философии, Кондильяк, разумеется, глубоко заблуждался — это было иллюзией, которой трудно было избежать в век господства одностороннего рассудочного образа мышления.