Современная логика и другие науки

 

 

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

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

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

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

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

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

Другой формой объединения математики и логики в одну науку было объявление математической, или современной, логики одним из разделов современной математики. Многие математики и сейчас ещё считают главной – если не единственной – задачей математической логики уточнение понятия математического доказательства.

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

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

Помимо кибернетики современная логика находит широкие приложения и во многих других областях науки и техники.

 

 

Глава 2

Слова и вещи

 

Язык как знаковая система

 

 

Язык представляет собой необходимое условие существования абстрактного мышления.

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

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

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

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

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

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

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

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

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

Правила значения обычно делятся на три группы: аксиоматические, дедуктивные и эмпирические.

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

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

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

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

Все языки могут быть разделены, далее, на естественные, искусственные и частично искусственные.

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

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

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

Традиционная логика пользуется для описания мышления обычным языком.

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

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

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

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

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

Введение его означает принятие особой теории логического анализа рассуждений.

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

 

Основные функции языка

 

 

Основные функции, или употребления, языка – это те основные задачи, которые решаются языком в процессе коммуникации и познания.

В числе этих задач особое место занимает описание – сообщение о реальном положении вещей. Если это сообщение соответствует действительности, оно является истинным. Сообщение, не отвечающее реальному положению дел, ложно. К примеру, описание «Снег белый» является истинным, а описание «Кислород – металл» ложно. Иногда допускается, что описание может быть неопределённым, лежащим между истиной и ложью. К неопределённым можно отнести многие описания будущего: «Через год в этот день будет пасмурно» и т.п.

Описательное употребление языка иногда выделяется словами «истинно», «верно», «на самом деле» и т.п.

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

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

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

Язык может служить также для выражения разнообразных чувств: «Сожалею, что разбудил вас», «Искренне сочувствую вам», «Поздравляю с праздником», «Приветствую всех, кто пришёл», «Извините, но не смогу быть» и т.п. Выражения чувств называются экспрессивами. В них выражаются определённые психические состояния и идёт речь о каком-то свойстве (не обязательно действии), приписываемом либо говорящему, либо слушающему. К примеру, я вправе поздравить вас с победой на соревнованиях, если вы действительно победили и если я на самом деле рад вашей победе. В этом случае поздравление будет искренним, и его можно считать истинным, т.е. соответствующим внешним обстоятельствам и моим чувствам. Если же я поздравляю вас с тем, что вы хорошо выглядите, хотя на самом деле вы выглядите неважно, моё поздравление неискренне. Оно не соответствует реальности, и если я знаю об этом, то не соответствует и моим чувствам. Такое поздравление можно оценить как ложное. Ложным было бы и поздравление с тем, что вы открыли квантовую механику: и мне, и вам заведомо известно, что это не так, и поздравление выглядело бы насмешкой.

Язык может использоваться, далее, для изменения мира словом. Именно эта задача решается, например, выражением: «Назначаю вас председателем», «Ухожу в отставку», «Я заявляю: Наш договор (настоящим) расторгнут», «Увольняю вас», «Объявляю военное положение», «Обручаю вас» («Объявляю вас мужем и женой») и т.п. Такие выражения называются декларациями и выполняют специальную функцию: они меняют существовавшее до их произнесения положение вещей. Если я успешно осуществляю акт назначения вас председателем, вы становитесь председателем, а до этого акта вы не были им; если я успешно выполняю акт производства вас в генералы, в мире сразу же становится одним генералом больше и т.д. Когда футбольный арбитр говорит: «Вы удаляетесь с поля», вы оказываетесь вне игры, и она, по всей очевидности, меняется.

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

Язык может использоваться также для обещаний, т.е. для того, чтобы возложить на говорящего обязательство совершить некоторое будущее действие или придерживаться определённой линии поведения. Обещаниями являются, к примеру, выражения: «Обещаю вести себя примерно», «Клянусь говорить правду и только правду», «Буду всегда вежлив» и т.п. Обещания можно истолковать как просьбы к самому себе, т.е. как нормы, адресованные говорящим самому себе и в чем-то предопределяющие его поведение в будущем. Как и все нормы, обещания не являются истинными или ложными. Они могут быть обдуманными или поспешными, целесообразными или нецелесообразными и т.п.

Язык может использоваться, наконец, для оценок, т.е. для выражения положительного, отрицательного или нейтрального отношения к рассматриваемому объекту или, если сопоставляются два объекта, для выражения предпочтения одного из них другому или утверждения равноценности их друг другу. Оценками являются, например, выражения: «Хорошо, что погас свет», «Плохо, когда кто-то опаздывает», «Лучше прийти раньше, чем опоздать» и т.п. Подробнее об оценках мы поговорим в дальнейшем, здесь же отметим только, что оценки столь же фундаментальны и ни к чему не сводимы, как и описания. Но в отличие от описаний они не являются истинными или ложными, а могут быть только глубокими или поверхностными, общепринятыми или нет, эффективными или нет и т.п.

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

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

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

Обещание – это норма, адресованная самому себе. Декларация – норма, адресованная всем, кого она касается и кто должен будет считаться с тем изменением мира, которое произошло, благодаря произнесённым словам. Сами же нормы представляют собой частный случай оценок: это оценки с предполагаемым потенциальным наказанием. К примеру, норма (команда): «Организуйте комиссию!» означает, что создание комиссии оценивается положительно, и если она не будет создана, последует какое-то наказание.

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

За оппозицией «описание – оценка» стоит в конечном счёте оппозиция «истина – ценность», и первая не может быть ясно понята без прояснения второй.

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

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

Ценности – неотъемлемый элемент всякой деятельности, а значит и всей человеческой жизни, в каких бы формах она ни протекала.

Вопрос о соотношении истины и ценности – один из аспектов более общей проблемы взаимосвязи теории и практики, созерцания и действия.

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

Однако, ценность, как и истина, является не свойством, а отношением между мыслью и действительностью.

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

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

Понимание истины как соответствия утверждений описываемым ими ситуациями – это так называемое «классическое» её определение. Определение ценности как соответствия самих объектов утверждениям о них также восходит к античности и с таким же правом может быть названо классическим.

Ценность, как и истина, не существует вне связи мысли и действительности.

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

Ещё один пример возможности двух разных направлений соответствия между словами и миром. Предположим, что некий покупатель наполняет в супермаркете свою тележку, ориентируясь на имеющийся у него список. Другой человек, наблюдающий за ним, составляет список отобранных им предметов. При выходе из магазина в руках у покупателя и его наблюдателя могут оказаться два одинаковых списка, имеющих совершенно разные функции. Цель списка покупателя в том, чтобы, так сказать, приспособить мир к словам; цель списка наблюдателя – привести слова в согласие с действительностью. Для покупателя отправным пунктом служит список; мир, преобразованный в соответствии с последним, будет позитивно ценным (хорошим). Для наблюдателя исходным является мир; список, соответствующий ему, будет истинным. Если покупатель допускает ошибку, для её исправления он предпринимает предметные действия, видоизменяя плохой, не отвечающий списку мир. Если ошибается наблюдатель, он вносит изменения в ложный, не согласующийся с миром список.

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

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

 

Логическая грамматика

 

 

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

Идея семантических категорий была выдвинута в начале этого века Э.Гуссерлем, называвшим их «категориями значения». Как логико-философская доктрина, имеющая обширные приложения в исследованиях языка, теория категорий была детально развита польскими логиками С.Лесневским, К.Айдукевичем и А.Тарским.

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

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

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

Ещё несколько примеров. Выражения «либо …, либо …» и «если …, то …» относятся к одной и той же категории, так как при преобразовании, допустим, предложения «Либо идёт дождь, либо дует ветер» в предложение «Если идёт дождь, то дует ветер» осмысленность сохраняется. Слова «больше» и «старше» также принадлежат одной и той же семантической категории, поскольку всякое предложение, осмысленное с одним из этих слов, будет осмысленным и с другим.

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

Очевидно, что осмысленность не тождественна истинности. Имеют смысл, а значит являются осмысленными, не только истинные, но и ложные высказывания.

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

В неё входят две основные категории и бесконечная совокупность так называемых функторных категорий. К основным относятся категория имён и категория предложений (высказываний), включающие также имена и предложения с переменными (подобные «брат некоторого S» и «Если Аристотель был учеником Платона, то A», где S – какое-то имя, а A – предложение). Функторные категории различаются в зависимости от того, к чему применяется операция, называемая функтором, и что возникает в результате её применения.

К примеру «Солнце» – это имя, «Солнце греет» – предложение. Слово «есть» – функтор, образующий предложение из двух других предложений и т.д.

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

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

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

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

Оставляя в стороне сложные и спорные детали теории семантических категорий, можно ограничиться выделением трех основных категорий языковых выражений: имён, предложений (высказываний) и функторов.

Именами являются языковые выражения, подстановка которых в форму « S есть Р » вместо переменных S и Р даёт осмысленное предложение.

Именами являются, к примеру, выражения «звёздная ночь», «Волга», «Тамбов» и «вечерние сумерки». Подставив данные выражения в указанную форму мы получим осмысленные (хотя и не обязательно истинные) предложения: «Тамбов есть Волга», «Вечерние сумерки есть звёздная ночь», «Звёздная ночь есть Волга» и т.п.

Предложение (высказывание) – это языковое выражение являющееся истинным или ложным.

Высказываниями являются, например, выражения «Ниобий – это инертный газ», «5 есть простое число», «Если металлический стержень нагревается, его длина увеличивается». Первое из этих высказываний ложно, два других истинны.

Функтор – это языковое выражение, не являющееся ни именем, ни высказыванием и служащее для образования новых имён или высказываний из уже имеющихся.

Например, слово «есть» – это функтор, поскольку оно не представляет собой имени или высказывания, но позволяет из двух имён получить высказывание (скажем, высказывание «Ньютон есть физик»). Выражения «все… есть…», «некоторые… есть…», «все… не есть…» и «некоторые… не есть…» также являются функторами: это не имена и не высказывания, но с их помощью, подставляя на места многоточий какие-то имена, можно получить высказывания (к примеру, «Все инертные газы есть летучие», «Некоторые металлы есть жидкости», «Все киты не есть рыбы» и «Некоторые музыканты не есть композиторы»).

Выражения «… и …», «… или …», «либо …, либо …», «если …, то …», «…, если и только если …» – это функторы, дающие из двух высказываний новое высказывание («Идёт снег и дует ветер», «Мы идём в кино или мы остаёмся дома», «Либо Киев стоит на Днепре, либо Киев стоит на Сене», «Если имеется причина, то имеется и следствие», «Число делится на 6, если и только если число делится на 2 и на 3» и т.п.).

Выражение «неверно, что…» (или просто «не»), не будучи именем или высказыванием, позволяет получить из одного высказывания другое высказывание (позволяет, к примеру, из высказывания «Все учёные рассеянны» получить высказывание «Неверно, что все учёные рассеянны», или «Не все учёные являются рассеянными»).

Функторы, позволяющие из имён или высказываний получать новые высказывания называются пропозициональными (от латинского слова propositio – высказывание, суждение).

В дальнейшем из всех возможных функторов особое внимание будет уделено именно пропозициональным функторам.

 

 

Глава 3

Имена

 

Виды имён

 

 

Имена – необходимое средство познания и общения. Обозначая предметы и их совокупности, имена связывают язык с реальным миром.

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

Первобытные люди рассматривали свои имена как нечто конкретное, реальное и часто священное. Психолог Л.Леви-Брюль, создавший в начале этого века концепцию первобытного мышления, считал такое отношение к именам важным фактором, подтверждающим мистический и внелогический характер мышления наших предков. Он указывал, в частности, что «индеец рассматривает своё имя не как простой ярлык, но как отдельную часть своей личности, как нечто вроде своих глаз или зубов. Он верит, что от злонамеренного употребления его имени он так же верно будет страдать, как от раны, нанесённой какой-нибудь части его тела. Это верование встречается у разных племён от Атлантического до Тихого океана». На побережье Западной Африки «существуют верования в реальную и физическую связь между человеком и его именем; можно ранить человека, пользуясь его именем… Настоящее имя царя является тайным…»

Эти наивные представления об именах как свойствах вещей удивительно живучи. Астроном В.Воронцов-Вельяминов вспоминает, например, что на популярных лекциях слушатели не раз задавали ему вопрос: «Мы допускаем, то можно измерить и узнать размеры, расстояние и температуру небесных тел; но как, скажите, узнали вы названия небесных светил?»

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

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

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

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

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

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

Имя можно определить по его роли в структуре предложения. Выражение языка является именем, если оно может использоваться в качестве подлежащего или именной части сказуемого в простом предложении «S есть Р» (S – подлежащее, Р – сказуемое). Скажем, «Амундсен», «Скотт» и «человек, открывший Южный полюс» – это имена, поскольку подстановка их вместо букв S и Р даёт осмысленные предложения: «Амундсе

⇐ Предыдущая12345678910Следующая ⇒

Поделиться:

Воспользуйтесь поиском по сайту: