Текст книги "По законам логики"

Автор книги: Александр Ивин

сообщить о нарушении

Текущая страница: 4 (всего у книги 16 страниц)

МОГУЩЕСТВО ИСКУССТВЕННОГО ЯЗЫКА

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

Его правила, касающиеся построения сложных выражений из простых, расплывчаты. Интуитивные критерии осмысленности утверждений ненадежны. Структура фраз скрывает реальную логическую форму. Большинство выражений многозначно.

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

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

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

Принципы построения искусственного логического языка были разработаны в современной логике. По словам немецкого логика Г. Клауса, «создание его имело такое же значение в области мышления для техники логического вывода, какое в области производства имел переход от ручного труда к труду механизированному».

Специально созданный для целей логики язык получил название формализованного. Слова обычного языка заменяются в нем отдельными буквами и различными специальными символами. Формализованный язык – это «насквозь символический» язык Введение его означает принятие особой теории логического анализа рассуждений.

Как известно, синтаксис языка касается тех отношений между знаками языка, которые не зависят от их смысла. Правила синтаксиса – это правила образования и преобразования выражений.

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

Синтаксис говорит о том, как из простых выражений складываются более сложные, как одни последовательности знаков трансформируются в другие. Семантика интересуется смыслом выражений, их истинностью и ложностью.

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

В формализованном языке синтаксическая и семантическая части четко разграничены. Вначале такой язык строится без всякой ссылки на ту действительность, которую он будет описывать. И только потом вводятся правила придания значений употребляемым в нем комбинациям знаков, указывается его интерпретация. Построение формализованного языка отличается тщательностью, с которой формулируются синтаксические и семантические правила, отсутствием неправильностей и исключений.

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

Использование формализованного языка для описания способов правильного рассуждения невозможно переоценить. Без него нет современной логики.

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

Отмечая эту взаимосвязь между успехами науки и преобразованием ее языка, французский химик XVIII века А. Лавуазье писал: «Так как слова сохраняют и передают представления, то из этого следует, что нельзя ни усовершенствовать язык без усовершенствования науки, ни науку – без усовершенствования языка, и что как бы ни были достоверны факты, как бы ни были правильны представления, вызванные последними, они будут выражать лишь ошибочные представления, если у нас не будет точных выражений для их передачи».

Революция в логике привела к созданию логически совершенного языка. Последний сделал возможным дальнейшее углубленное изучение и описание закономерностей правильного мышления.

«Чему, спрашиваю я, одолжены своими блистательными успехами в последнее время математические и физические науки, слава нынешних веков, торжество ума человеческого? Без сомнения, искусственному языку своему, ибо как назвать сии знаки различных исчислений, как не особенным, весьма сжатым языком, который, не утомляя напрасно нашего внимания, одной чертой выражает обширные понятия». Эти слова, сказанные знаменитым русским математиком прошлого века Н. Лобачевским, с полным правом можно отнести не только к искусственным языкам математики и физики, но и к формализованному языку современной логики.

СОВРЕМЕННАЯ ЛОГИКА И ДРУГИЕ НАУКИ

В заключение этого, по необходимости краткого, разговора о том, чем занимается формальная логика, следует сделать несколько замечаний о ее связях с другими науками.

С момента своего возникновения формальная логика была самым тесным образом связана с философией. В течение многих веков логика считалась, подобно этике, эстетике, психологии и др., одной из «философских наук». И только во второй половине XIX века формальная – к этому времени уже математическая – логика отпочковалась, как принято выражаться, от философии. Примерно в это же время от философии отделилась и стала самостоятельной научной дисциплиной и психология. Но если в психологии этот процесс был связан прежде всего с проникновением в нее опыта и эксперимента и сближением ее с другими эмпирическими науками, то в отделении формальной логики решающую роль сыграло проникновение в нее математических методов и сближение с математикой.

Самостоятельность, обретенная формальной логикой, не означала, конечно, того, что она утратила всякую связь с философией. Просто в новую историческую эпоху прежняя связь приобрела другой характер. Математическая логика возникла, в сущности, на стыке двух столь разных наук, как философия, или точнее – философская логика, и математика. И тем не менее взаимосвязь новой логики с философией не только не оборвалась, но, напротив, парадоксальным образом даже окрепла. Обращение к философии является необходимым условием прояснения формальной логикой своих оснований. С другой стороны, использование в философии понятий, методов и аппарата современной логики, несомненно, способствует более ясному пониманию самих философских понятий, принципов и проблем.

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

Согласно Г. Фреге, Б. Расселу и их последователям математика и логика – это всего лишь две ступени в развитии той же самой науки. Математика может быть полностью сведена к логике, и такое чисто логическое обоснование математики позволит установить ее истинную и наиболее глубокую природу. Этот подход к обоснованию математики получил название логицизма. Наиболее законченное изложение он нашел в изданном в 1910–1913 годах трехтомном труде «Principia Mathematical написанном Б. Расселом совместно с другим английским математиком и логиком – А. Уайтхедом.

Сторонники логицизма добились определенных успехов в прояснении основ математики. В частности, было показано, что математический словарь сводится к неожиданно краткому перечню основных понятий, которые принадлежат словарю чистой логики. Вся существующая математика была сведена к сравнительно простой и унифицированной системе исходных, принимаемых без доказательства положений, или аксиом, и правил вывода из них следствий, или теорем.

Однако в целом логицизм оказался утопической концепцией. «Математика не выводима из формальной логики, – подводит итог советский математик и логик Д. Бочвар, – ибо для построения математики необходимы аксиомы, устанавливающие факты из области объектов, и прежде всего – существование в последней определенных объектов. Но такие аксиомы обладают уже внелогической природой».

Другой формой объединения математики и логики в одну науку было объявление математической, или современной, логики одним из разделов современной математики. Многие математики и сейчас еще считают главной – если не единственной – задачей математической логики уточнение понятия математического доказательства и исключение парадоксальных, противоречащих интуиции утверждений из математических теорий. «Математическая логика, – пишет, например, английский логик Р. Гудстейн, – имеет своей целью выявление и систематизацию логических процессов, употребляемых в математическом рассуждении, а также разъяснение математических понятий. Сама она является ветвью математики, использующей математическую символику и технику, ветвью, развивающейся в целом в течение последних ста лет, и притом такой, которая по своей плодотворности, по силе и важности своих открытий вполне может претендовать на место в авангарде современной математики».

Тенденция включать математическую логику в число математических дисциплин и видеть в ней только теорию математического доказательства является, конечно, ошибочной. На самом деле задачи логики гораздо шире. Она исследует основы всякого правильного рассуждения, а не только строгого математического доказательства, и ее интересует связь между посылками и следствиями в любых областях рассуждения и познания, а не только в одной лишь математике. Математическая логика, истолкованная исключительно как один из разделов математики, не только лишается способности прояснять и уточнять основания математики, но и сама становится непостижимой.

С первых дней своего возникновения современная логика способствовала решению логических проблем и преодолению трудностей, встававших перед математикой. Каждый новый шаг в прогрессе логики быстро сказывался на развитии математической науки. С другой стороны, без использования математических методов и понятий не было бы и современной логики. Но это не означает, разумеется, что одна из этих наук должна быть поглощена другой. Тенденция ставить логику на службу прежде всего математике является, однако, по-своему показательной. Она выразительно подчеркивает тесную взаимосвязь логики и математики, их плодотворное и взаимообогащающее воздействие друг на друга.

Современная логика тесно связана также с кибернетикой – наукой о закономерностях управления процессами и системами в любых областях: в технике, в живых организмах, в обществе. Основоположник кибернетики американский математик Н. Винер не без оснований подчеркивал, что само возникновение кибернетики было бы немыслимо без математической логики. Автоматика и электронно-вычислительная техника, применяемые в кибернетике, были бы невозможны без использования алгебры логики – этого исторически первого раздела современной логики. В управляющих схемах, применяемых в кибернетике, значительное место занимают релейно-контактные схемы, моделирующие логические операции. Описание таких операций, даваемое логикой, способствует детальному анализу логического строения мысли и открывает поразительные перспективы автоматизации логических процессов, богатые возможности использовать для их осуществления автоматические машины. «Математическая логика, – заключает советский математик Г. Поваров, – является необходимым инструментом для машинизации умственного труда».

Современная логика находит широкие приложения не только в кибернетике, но и во многих других областях науки и техники. Очерчивая эти приложения, американский логик Э. Беркли пишет: «Математическая логика используется при исследовании правил, условий и договоров, при проектировании электрических схем для вычислительных машин, телефонных систем и регулирующих устройств, при программировании автоматических вычислительных машин и вообще при описании и проектировании многих типов схем и механизмов».

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

Еще одна тема, важная для правильного понимания современной логики, – связь формальной и диалектической логик.

Как известно, материалистическая диалектика является наукой о наиболее общих законах развития природы, общества и человеческого мышления. Творцами диалектики как науки были К. Маркс и Ф. Энгельс. До марксизма диалектика энергично разрабатывалась в рамках немецкой философии XVIII–XIX веков. Была раскрыта диалектическая природа мышления, однако само мышление считалось при этом первоначалом бытия. Полнее и глубже всего такая диалектика на идеалистической основе была развита Г. Гегелем. Критически переработав эту диалектику, К. Маркс освободил ее от идеализма и элементов мистицизма. Мышление из творца действительности превратилось в отображение реального движения в природе и обществе. Диалектика приобрела материалистический, научный характер.

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

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

Диалектика настаивает на необходимости исследования конкретно-исторического содержания мышления и его принципов. Она раскрывает отношения между теорией и практикой в их возникновении и историческом развитии, взаимосвязи между различными приемами научного мышления, между ступенями в его развитии.

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

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

Глава 3 СЛОВА И ВЕЩИ

НЕПОСРЕДСТВЕННАЯ ДЕЙСТВИТЕЛЬНОСТЬ МЫШЛЕНИЯ

Французский философ XVII века Р. Декарт доказывал, что способность нормально использовать язык является единственным достоверным признаком того, что некоторое существо обладает человеческим разумом. Эту способность невозможно обнаружить ни у автомата, ни у животного. Последнее, впрочем, тоже представляет собой, по Декарту, разновидность автомата, наделенного рефлексами. Во всех отношениях, кроме языка, автомат может обнаруживать очевидные признаки интеллекта, иногда превосходящие соответствующие признаки человека. Но к языку ни организм, ни машина, лишенные разума, не будут способны, даже если наделить их физиологическими органами, необходимыми для производства речи.

Эта гипотеза о принципиальной неспособности животных говорить, подобно человеку, вызвала нескончаемые нападки на Р. Декарта и его последователей и заставила их изобретать все новые и новые доводы в свою защиту.

Так, кардинал М. де Полиньяк не нашел ничего лучшего, как обосновывать данную гипотезу ссылкой на бесконечную доброту бога. Лишить животных разума, а значит, и речи было со стороны последнего столь же гуманно, как и позволить им не испытывать боли.

Л. Расин, сын великого французского драматурга, воспользовался доказательством от противного. Если бы животные обладали душой и были способны чувствовать, рассуждал он, разве они остались бы безразличными к несправедливому публичному оскорблению, нанесенному им Декартом? Разве они не восстали бы в гневе против вождя и его секты, которая так принизила их?

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

Подобные доказательства только компрометируют глубокую и верную мысль Р. Декарта, что речь может быть только у существ, наделенных разумом, и что она является единственным способом проявления разума вовне.

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

Язык возникает одновременно с сознанием и мышлением. «Язык так же древен, как и сознание, – писали К. Маркс и Ф. Энгельс. – Язык есть практическое, существующее и для других людей и лишь тем самым существующее также и для меня самого, действительное сознание, и, подобно сознанию, язык возникает лишь из потребности, из настоятельной необходимости общения с другими людьми».

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

Как и мышление, язык диалогичен: он существует для отдельного человека лишь постольку, поскольку существует для других.

Логический анализ мышления всегда имеет форму исследования языка, в котором оно протекает и без которого оно не является возможным. В этом плане логика – наука о мышлении – есть в равной мере и наука о языке.

Мышление и использование языка – две предполагающие друг друга стороны как процесса познания, так и процесса общения. Язык участвует не только в выражении мысли, но и в самом ее формировании. Нельзя противопоставлять «чистое», внеязыковое мышление и его «вербализацию», последующее выражение в языке.

Вместе с тем язык и мышление не тождественны. Каждая из сторон единства, составляемого ими, относительно самостоятельна и обладает своими специфическими законами.

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

Очевидно, что настаивание на интуитивном характере нашего познания ведет так или иначе к противопоставлению мышления и языка.

Язык представляет собой систему знаков, используемую для целей коммуникации и познания. Системность языка выражается в наличии в каждом языке, помимо словаря, также синтаксиса и семантики.

Синтаксические правила языка устанавливают способы образования сложных выражений из простых. Эти правила определяют строение знаков, способы образования из них сложных знаковых систем.

Семантические правила связывают язык с описываемой им областью действительности. Они фиксируют отношения между знаками и теми объектами, которые обозначаются или указываются ими. Задача данных правил – определить способы придания значений выражениям языка.

Все языки делятся на естественные, искусственные и частично искусственные.

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

Искусственные языки сознательно создаются людьми для каких-либо специальных целей. Таковы, например, языки математики, логики, шифры и т. п.

Языки естественных и гуманитарных наук относятся к частично искусственным. Скажем, учебник химии написан всегда на каком-то естественном языке: русском, английском, немецком и т. п. Вместе с тем, помимо слов этого языка, учебник обязательно включает собственно химическую терминологию и символику, являющуюся по преимуществу интернациональной.

Одна из особенностей искусственных языков состоит в строгой определенности их словаря, синтаксиса и семантики. Во многих случаях эта особенность оказывается несомненным преимуществом таких языков в сравнении с естественными языками, аморфными как со стороны словаря, так и со стороны правил образования и значения.

Искусственные языки генетически и функционально вторичны в отношении естественного языка: искусственные языки возникают на базе естественного и могут функционировать только в связи с ним.

Для современной науки и в особенности для философии характерно повышенное внимание к природе, механизму и функциям языка. Проблема языка стала в XX веке одной из центральных философских проблем. Сложилась и даже сделалась весьма влиятельной, особенно в Англии и США, так называемая «лингвистическая философия». Положению, что язык должен быть предметом философского исследования, она придала форму утверждения, что он представляет собой единственный или, во всяком случае, наиболее важный предмет такого исследования. Философия оказалась в итоге сведенной к «критике языка», к прояснению и отграничению друг от друга туманных и запутанных мыслей.

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

Вместе с тем очевидно, что анализ языка не может быть единственной задачей философии. Этот анализ не сводится также к прояснению логической структуры языка. Язык не существует сам по себе. Он связан с мышлением и действительностью, и его невозможно понять вне этой связи. Важной поэтому является не только логическая проблематика языка, но и исследование его роли в социальной жизни, в процессе познания окружающего мира.