3.2. Неформальная логика естественного языка и понятие референции

3.2. Неформальная логика естественного языка и понятие референции

Философы обыденного языка полагают, что в основе естественного языка лежит не символическая логика, как она представлена, скажем, в «Principia Mathematica», а особая неформальная логика. Довольно ярко и образно охарактеризовал отношение между формальной и неформальной логикой Г. Райл (1900–1976). По его словам, формальная логика занимается построением и изучением формальных символических исчислений, тогда как задача неформальной логики состоит в составлении «логической географии» понятий, и решается эта задача чаще всего, если не всегда, на невозделанных окраинах мышления, которых еще не достигли или не способны достичь ровные и прямые железнодорожные пути формальной логики. Согласно другой метафоре Райла, формальная логика относится к неформальной как геометрия к картографии. С помощью последней масштабируются и наносятся на карту неповторимые ландшафты со всеми их особенностями и подробностями, однако успех этого предприятия зависит от способности картографа применять идеальные и абстрактные законы Евклидовой геометрии. Так же как картограф использует геометрию, философ в своих исследованиях использует формальную логику, но сам по себе инструментарий формальной логики еще не обеспечивает решения философских проблем — так наличие у зеленщика карманного калькулятора еще не решает вопроса о том, какую цену ему стоит установить на капусту.

Первое, на что обращают внимание философы обыденного языка при сравнении формальной и неформальной логики, — это различие в значении между формальными логическими константами (такими как конъюнкция, импликация и т. п.) и их аналогами в естественном языке (союзами «и», «если, то» и т. п.)[88]. И хотя эти различия признаются практически всеми логиками, «формалисты» видят в них лишнее свидетельство несовершенства естественного языка, и, как отмечает Грайс, они убеждены, что «рассматриваемые выражения в том виде, как они употребляются в естественном языке, нельзя считать полностью приемлемыми, и при ближайшем рассмотрении они могут оказаться вообще невразумительными» [Грайс, 1985, с. 218]. С этим категорически не согласны сторонники неформальной логики, для которых указанное различие есть свидетельство того, что имеется множество вполне надежных рассуждений и выводов, выразимых на естественном языке и не выразимых в формальных символах. «Тем самым имеет право на существование неупрощенная, и потому более или менее несистематическая, логика естественно-языковых аналогов формальных символов; упрощенная формальная логика может подкреплять и направлять эту логику, но ни в коем случае не вытеснять и не подменять ее» [Грайс, 1985, с. 219].

Противопоставление абстрактного схематизма формальной логики и богатого разнообразия выводов в обыденном языке составляет центральную тему в первой книге П. Стросона «Введение в логическую теорию». Проведя философский анализ основных логических понятий, Стросон приходит к выводу, что «выражения обыденного языка не имеют точной и систематической логики» [Strawson, 1952, p. 57], поэтому их значение нельзя исчерпывающим образом описать, используя методы формальной логики. Ключ к ним следует искать не в абстракциях, позаимствованных из философии математики, а в сложившихся способах словоупотребления, в многообразных видах аргументации и техниках убеждения, которыми пользуются люди в самых разных областях своей деятельности. Предоставляя неистощимые ресурсы для концептуального анализа, неформальная логика, полагает Стросон, имеет намного больший интерес для философов, чем формальная, ибо она позволяет обнаруживать источники философских проблем и заблуждений.

С позиций такой неформальной трактовки логики естественного языка Стросон подверг критике «священное учение» формалистов — расселовскую теорию дескрипций. Этой критике посвящена статья Стросона «О референции» («On Referring», 1950), принесшая ему международную известность, и в контексте нашего исследования она заслуживает пристального внимания, поскольку содержит идеи, которые легли в основу концепции дескриптивной метафизики.

Напомним, что, согласно теории дескрипций Б. Рассела, предложение, имеющее грамматическую форму «F есть G», где F является определенной дескрипцией (например, «Король Франции мудр»), в действительности не имеет субъектно-предикатной формы, а эквивалентно сложному предложению с квантором существования «Существует один и только один x, такой, что x есть F и x есть G». Таким образом, для Рассела определенная дескрипция F не является обозначающим выражением, имеющим в качестве своего референта конкретный объект. Поэтому если объекта, обладающего свойством «быть F» не существует, рассматриваемое предложение, с точки зрения Рассела, следует считать ложным.

Согласно Стросону, теория Рассела является ошибочной в нескольких отношениях. Во-первых, Рассел не сумел увидеть различия между предложением и его употреблением[89], но именно это различие Стросон считает принципиально важным для теории языка и логики. Допустим, нам дано предложение «Король Франции мудр» (обозначим его как S), и мы хотим установить его истинностное значение. Мы должны учесть, что S может быть произнесено в периоды правления разных французских королей, оставаясь при этом тем же самым предложением. Поэтому те, кто произносят S в разные исторические периоды, говорят о разных королях, и в зависимости оттого, о каком именно короле идет речь, одни из них высказывают что-то истинное, а другие — что-то ложное. Таким образом, считает Стросон, мы имеем здесь различные случаи употребления одного и того же предложения, и только они могут быть охарактеризованы как истинные или ложные. Рассел же ошибочно считает носителем истинностного значения само предложение, а не его употребления, однако «мы не можем говорить об истинности или ложности предложения, а только о его употреблении для того, чтобы сделать истинное или ложное утверждение, или (что то же самое) выразить истинное или ложное суждение» [Стросон, 1982, с. 62]. Точно такое различие, считает Стросон, следует провести между отдельным языковым выражением и его употреблением. В этом случае под употреблением некоторого выражения (например, определенной дескрипции «король Франции», которую мы обозначим как F) он понимает то, что с его помощью можно произвести референцию к определенному лицу или предмету с тем, чтобы что-либо о нем высказать. Это означает, что само по себе F не имеет референции к королю Франции, но может использоваться для референции к нему при определенном его употреблении, поэтому референция — это не «свойство выражения, это то, для чего говорящий может его употребить» [Стросон, 1982, с. 63]. Языковое выражение, как таковое, не имеет референции, поскольку референцию совершают люди. Взятый вне употребления, язык является, таким образом, «референциально немым».

По мнению Стросона, Рассел не сумел увидеть этих различий, поскольку придерживался ошибочной теории значения, согласно которой значением имени является его носитель, т. е. если имя имеет значение, то оно должно иметь и референцию, а предложения, в которых оно встречается, должны быть истинными или ложными. Рассел, считает Стросон, спутал значение с референцией и истинностью (или ложностью). Однако если значение есть функция языкового выражения или предложения, то референция и истинность — это функции их употребления. «Определить значение выражения… — значит дать общие правила его употребления для референции к отдельным предметам или лицам; определить значение предложения — значит дать общие правила его употребления для того, чтобы высказывать истинные или ложные утверждения» [Стросон, 1982, с. 64].

Во-вторых, согласно Стросону, ошибка Рассела состояла и в том, что он исходит из «ложной трихотомии», считая, что предложения бывают истинными, ложными или лишенными значения, т. е. наличие у предложения значения говорит о том, что предложение обязательно должно быть истинным или ложным. Стросон же считает, что, если предложение имеет значение, отсюда следует только, что при определенном его употреблении оно может выражать истинное или ложное утверждение, но отнюдь не любое его употребление является истинным или ложным. Если бы какой-нибудь человек совершенно серьезно произнес сейчас фразу «Король Франции мудр», мы бы не сочли сказанное им ложным; мы бы указали ему на то, что в настоящее время не существует короля Франции. В подобном случае, считает Стросон, мы вообще не оцениваем высказанное предложение как истинное или ложное, поскольку оно лишено истинностного значения. Таким образом, если не существует F, утверждение «F есть G» не считается ложным; скорее, вопрос о его истинности или ложности просто не встает.

Попутно отметим, что позиция Стросона вызвала резкую критику со стороны многих аналитических философов, поскольку они усмотрели в подобном отказе от принципа двузначности и закона исключенного третьего серьезную угрозу экстенсионализму в логике, согласно которому истинностные значения сложных высказываний являются функциями от истинностных значений составляющих их простых высказываний. Куайн обвинил Стросона в совершении «пагубной ошибки», состоящей в том, что он не разделяет семантику и прагматику языка [Quine, 1987b, p. 211]. В ответ Стросон указывал, что принцип двузначности и закон исключенного третьего не следует применять к предложениям, которые никто не использует для утверждения о существующих объектах, и в этом его позиция совпадает с позицией Фреге, который, напомним, рассматривал предложения с пустыми именами как имеющие смысл, но лишенные истинностного значения.

В-третьих, согласно Стросону, Рассел совершает еще одну ошибку, считая предложение «F есть G», где F — определенная дескрипция, эквивалентным предложению с квантором существования «Существует один и только один x, такой, что x есть F и x есть G». Возражение Стросона заключается в том, что, когда человек произносит предложение, содержащее определенную дескрипцию F, в его намерения не входит сообщить слушающему о существовании объекта, удовлетворяющего данной дескрипции, хотя он рассчитывает на то, что слушающий уже обладает знанием о существовании и единственности этого объекта. Использование определенной дескрипции, полагает Стросон, «выступает в качестве сигнала того, что производится единичная референция, — сигнала, но не скрытого утверждения» [Стросон, 1982, с. 70]. Утверждение «F есть G» и суждение о существовании F, которое предполагается тем, кто высказывает данное утверждение, находятся, согласно Стросону, не в отношении логического следования (в этом случае суждение о существовании F неявно содержалось бы в суждении «F есть G»), а в особом логическом отношении, для обозначения которого он ввел в работе «Введение в логическую теорию» термин «пресуппозиция».

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

Подводя итог критики Стросоном расселовской теории дескрипций, отметим, что она имеет ряд важных следствий. Во-первых, Стросон истолковывает референцию не как свойство языкового выражения, проявляющееся в том, что оно некоторым устойчивым образом связано с определенным объектом, а как «функцию употребления», благодаря чему референция становится действием, совершаемым людьми с помощью слов. Стросон определяет референцию как «идентифицирующую», имея в виду то, что она позволяет при определенных обстоятельствах однозначным образом выделить объект, о котором идет речь; иначе говоря, как действие, она может выполняться успешно или неуспешно, что зависит от ряда условий. Необходимым, но недостаточным, условием успешной референции является истинность пресуппозиции о существовании объекта, на который ссылается говорящий. Другие условия охватываются понятием идентифицирующего знания. По словам Стросона, «понятие идентифицирующей референции тесно связано с понятием идентифицирующего знания. Когда люди разговаривают друг с другом, то они обычно справедливо полагают, что обладают большим фондом общих знаний об отдельных объектах. Очень часто говорящий знает или предполагает, что объект, идентифицирующим знанием которого он обладает, также известен слушающему. Зная или предполагая это, говорящий может захотеть сообщить какой-то факт об этом объекте (например, что объект такой-то и такой-то). Тогда он обыкновенно включает в высказывание выражение, которое в данном контексте считает самым подходящим для указания на то, какой объект в области идентифицирующего знания слушающего он характеризует» [Стросон, 1982, с. 112].

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

В-третьих, Стросон неслучайно делает упор на субъектно-предикатной структуре суждений, поскольку, с его точки зрения, одной из главных целей употребления языка является «констатация фактов о предметах, людях и событиях», а для этого нужно каким-то образом ответить на два вопроса — о чем (или о ком) идет речь и что о нем говорится? «Ответить на первый вопрос — задача референции (или идентификации). Ответить на второй вопрос — задача предикации (или характеризации)» [Стросон, 1982, с. 75]. Суждения, имеющие субъектно-предикатную структуру, наилучшим образом приспособлены для этой цели. Более того, как мы увидим дальше, эта структура суждений в представлении Стросона имеет глубокие онтологические корни.

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

Данный текст является ознакомительным фрагментом.