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

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

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

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

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

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