Б. Бирюков - Теория смысла Готлоба Фреге

• Название: Теория смысла Готлоба Фреге
• Автор: Б. Бирюков
• Жанр: Философия

---

Реальное человеческое мышление бесконечно по своему содержанию, ибо это содержание черпается из объективного мира, который неисчерпаем; но оно бесконечно и со стороны своей структуры, или формы (выражением которой являются разнообразные естественные и искусственные языки), ибо последняя служит средством отображения бесконечно богатого содержания и развивается вместе с развитием содержания. Процесс познания всегда есть асимптотический процесс. По этому поводу Ф. Энгельс писал: «Подобно тому как бесконечность познаваемого материала слагается из одних лишь конечных предметов, так и бесконечность абсолютно познающего мышления слагается из бесконечного множества конечных человеческих голов, которые работают над этим бесконечным познанием друг возле друга и в ряде сменяющих друг друга поколений, делают практические и теоретические промахи, исходят из неудачных, односторонних, ложных предпосылок, идут ложными, кривыми, ненадежными путями и часто не находят правильного решения даже тогда, когда уткнутся в него носом… Поэтому познание бесконечного… может, по самой своей природе, совершаться только в виде некоторого бесконечного асимптотического прогресса» [2, стр. 186]. В логике этот прогресс заключается, в частности, во все более полном выявлении средствами формального аппарата особенностей содержательного человеческого мышления, которое совершается в ходе построения учеными-логиками все новых и новых логических исчислений. На каждом этапе развития логического символизма мы имеем некоторое знание об особенностях содержательного мышления, мы располагаем по этому вопросу объективной истиной, п эта истина в процессе развития логических систем становится все более полной и глубокой, оставаясь, однако, на каждом этапе относительной. Это значит, что к познанию законов содержательного мышления людей (как и к познанию любых других объектов) в полной мере применимы положения диалектического материализма об абсолютной и относительной истине, разъясняя которые В. II. Ленин писал в книге «Материализм и эмпириокритицизм»: «… человеческое мышление по природе своей способно давать и дает нам абсолютную истину, которая складывается из суммы относительных истин. Каждая ступень в развитии науки прибавляет новые зерна в эту сумму абсолютной истины, но пределы истины каждого научного положения относительны, будучи то раздвигаемы, то суживаемы дальнейшим ростом знания» [1, стр. 122].

***

Но вернемся к Фреге. Научное творчество этого несомненно выдающегося немецкого логика и математика представляет собой хорошую иллюстрацию приведенных выше слов Энгельса о людях, которые, внося свой вклад в познание мира человеком, тем не менее исходят зачастую из неудачных и односторонних предпосылок, допускают теоретические промахи. Неудачные, односторонние предпосылки, из которых исходил Фреге – предпосылка о неизменности предметов мира, представление о возможности различения и отождествления любых объектов, с которыми мы можем иметь дело в познании, убеждение во всеобщем и неизменном характере законов мышления, рассматриваемых в формальной логике, представление о всецело объемном характере логики содержательного мышления и др.- были предпосылками метафизики. Фреге не видел ни диалектического характера процесса познания в целом, ни того, как диалектика проявляется в развитии самой математической логики.

Однако несмотря на то, что взгляды Фреге носили в целом метафизический характер, его труды (в частности, осуществленное им изучение понятия смысла) представляли собой большой вклад в развитие логики. Три линии в логике идут от Фреге. Одна из них заключается в построении объемной логики, ориентированной на обоснование математики. Эта линия идет от фрегевских «Основных законов арифметики», явившихся первым опытом применения аппарата математической логики для формализации конкретной математической дисциплины. Эту линию продолжили создатели «Principia Mathematica» и другие ученые, работавшие в области оснований математики.

Вторая линия больше связана с логикой в собственном смысле и хотя непосредственно в работах Фреге не намечена, однако вытекает из проблем, поставленных в его трудах. Она состоит в построении исчислений, выявляющих смысл содержательных логических понятий, примером которых могут быть исчисления Льюиса [30] и Аккермана [31], формализующих понятие логического следования по смыслу, в изучении логических модальностей, условно-сослагательных предложений, предложений, выражающих законы науки и причинные отношения и т. д. Третья линия в логике, берущая свое начало в трудах Фреге, непосредственно связана с тем, что явилось предметом рассмотрения в настоящей статье. Она приводит к семантическим проблемам современной логики. Дело в том, что предпринятое Фреге уточнение понятия смысла положило начало целому кругу проблем математической логики, связанных с изучением отношения между именем и предметом, между обозначающим и обозначаемым. Вместе с Пирсом Фреге явился основоположником той области современной логики, которая позднее получила название логической семантики[59].

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

Основной проблемой перевода, в том числе и автоматического перевода, является проблема сохранения смысла выражения (данного языка) при переводе его на другой язык. Уже Фреге, разъясняя понятие смысла языкового выражения, характеризовал его как то, что сохраняется неизменным при переводе с одного языка на другой. Естественно поэтому, что в математической лингвистике круг вопросов, связанных со смыслом, приобрел существенное значение. Как мы знаем, Фреге не сформулировал каких-либо правил, относящихся к смыслам. Последующее развитие семантики привело к построению семантических систем, в которых понятие смысла подвергалось уточнению (ср., например, [29]). Возникновение математической лингвистики, приступившей к логико-математическому анализу естественных языков, показало, что, с одной стороны, такого рода системы могут быть практически полезны в лингвистическом анализе, но, с другой стороны, обнаружило сильную ограниченность многих семантических систем (в том числе системы, развитой в [29], ср. предисловие С. А. Яновской к русскому изданию этой книги). Проблемы семантики, и в частности, вопросы, связанные со смыслом языковых выражений, в настоящее время оживленно обсуждаются в лингвистической и логико-математической литературе и было бы, пожалуй, преждевременным делать выводы, предвосхищающие результаты ведущихся в этой области исследований. Тем не менее вряд ли можно сомневаться, что окончательная ясность в эту область логико-лингвистической проблематики будет внесена практикой, в качестве которой в данном случае выступают работы по машинному переводу и усилия по созданию искусственных информационных языков и языков-посредников, используемых при автоматическом переводе. И очевидно, что каждый успех в этой области будет шагом вперед в решении той задачи, которую Фреге выражал словами «стараться разглядеть одну и ту же мысль в ее разнообразных одеяниях» [7, стр. 196], подчеркивая ее важность для логики.

Литература

1. В. И. Ленин. Материализм и эмпириокритицизм. Соч., т. 14. Госполитиздат, 1947.

2. Ф. Энгельс. Диалектика природы. Госполитиздат, 1952.

3. G. Frege. Grundgesetze der Arithmetik, begriffsschriftlich abgeleitet. Erster Band, Jena, 1893.

4. Его же. Grundgesetze der Arithmetik, begriffsschriftlich abgeleitet,. Zweiter Band, Jena, 1893.

5. Его же. Uber Sinn und Bedeutung. «Zeitschrift i'iir Philosophic und philosophische Kritik», 1892, Bd. 100, S. 25-50.

6. Его же. Kritische Beleuchtung einiger Punkte in E. Schroders Vor-Jesungeniiber die Algebra der Logik. «Archiv fur systematiscbe philosophies, 1895, Bd. I, S. 433-456.

7. Его же. Uber Begriff und Gegenstaad. «Vierteljahrschrift fur wissenchaftliche Philosophie», 1892, Л» 16, S. 192-205.

8. Его же. Was ist eine Funktion? «Festschrift Ludwig Bolzmanngewid-met zum sechzigsteii Geburtstage 20 Februar 1904», Leipzig, 1904, S. K56 -666.

9. Его же. Function uud Begriff. Jena, 1891.

10. Его же. The Foundations of Arithmetic. Oxford, 1950.

11. В. Мathes. Stoic Logic. Berkley and Los Angeles, University of California Press, 1953.