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