Лолита Макеева - Язык, онтология и реализм

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

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

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

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

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

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

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