Проблеме научного объяснения посвящена обширнейшая литература. Настоящая статья рассматривает один из аспектов этой темы: каким образом проблема перехода от описания к объяснению связана с проблемой значения языковых выражений? Исходный вопрос может быть сформулирован следующим образом: как возможно и как осуществляется расширение дескриптивности, означающее, по существу, увеличение знания о мире?
Введем определения:
Поскольку мы считаем и дескрипцию, и более развернутые характеристики предмета - например объяснение - различными видами описания некоторой сущности (в данном случае, трактуя термин "описание" подобным расширительным образом, мы не отступаем от современной аналитической традиции), постольку переход от одного вида описания к другому сам, в свою очередь, может быть описан. Такое описание перехода от дескрипции к объяснению предполагает установление тех принципов, руководствуясь которыми мы можем говорить о таком переходе как о совершившемся. Поэтому нам следует говорить об определении границ дескрипции, или установлении различия между дескрипцией и объяснением. Задача разграничения дескрипции и объяснения будет в таком случае задачей эксплицирования оснований их противопоставления.
Например, мы говорим: "Вода - это Н2О". Указываем ли мы таким способом на свойство воды "быть веществом, молекула которого состоит из двух атомов водорода и одного атома кислорода" или же мы даем с помощью этого высказывания объяснение (т.е., в данном случае, теоретическое описание) молекулярной структуры вещества "вода"? Очевидно, и то, и другое: это будет зависеть от контекста, в который помещено высказывание "Вода - это Н2О" - будет ли оно, например, являться ответом на общий вопрос: "Что такое вода?" или на специальный: "Какова молекулярная структура воды?" Дескрипция, в отличие от объяснения, может не предполагать вообще никакого вопроса или же наиболее общий вопрос: "Каков этот предмет?" Объяснение же управляется более специальными вопросами - например (чаще всего): "Почему этот предмет таков (каков он есть)?" - и, соответственно, имеет целью установление таких взаимосвязей между различными видами представлений об исследуемом предмете, в силу которых имеет место то или иное знание о нем. В этом смысле, например, Бас ван Фраассен доказывает, что теория объяснения должна быть теорией вопросов "почему" (why-questions) [1, p.134].
В таком случае следует признать, что дескрипция является таковой в силу определенных свойств контекста, т.е. само свойство дескриптивности контекстно-зависимо.
Попытаемся прояснить характер этой зависимости. Так, хорошо известны затруднения, связанные с применением метода дескрипций в референциально непрозрачных контекстах, где кореферентные выражения не могут быть взаимозаменимы salva veritate. Причем можно по-разному классифицировать непрозрачные контексты: например, принято различать собственно интенсиональный контекст, запрещающий подстановку контингентно кореферентных выражений, но разрешающий подстановку необходимо кореферентных выражений, и так называемый гиперинтенсиональный контекст, запрещающий подстановку и тех, и других. Подобные дистинкции могут быть, вообще говоря, сколь угодно семантически тонкими: так, Э. Сааринен различает пять видов неоднозначности при квантификации в пропозициях с интенсиональными предикатами [2].
Для наших целей будем считать, что такие контексты могут быть двух видов. Рассмотрим примеры.
Если, скажем, вместо имени "Наполеон" мы употребляем дескрипцию "побежденный при Ватерлоо", то ее может быть недостаточно для идентификации референта участником коммуникации, если он не знаком с историей.
Допустим, далее, что участники коммуникации знают историю, и мы успешно употребляем вместо имени "Наполеон" дескрипцию "побежденный при Ватерлоо" - или, скажем, дескрипцию "vaincu a Waterloo", являющуюся переводом первой на другой естественный язык, что по-прежнему позволяет нам указать на референт единственным образом. Вместе с тем дескрипция "побежденный при Бородино" может указывать на Наполеона, а ее перевод на французский язык - "vaincu a Borodino" - наоборот, на его противника Кутузова: поскольку в этом сражении было уничтожено примерно равное число людей с обеих сторон, а войска при этом остались на прежних позициях, то вопрос о том, кто же при этом оказался победителем, оказывается вопросом интерпретации. Можно прочитать во французских учебниках истории - и каждый француз, ходивший в школу, знает это - что сражение при Бородино явилось еще одной славной победой французского оружия перед тем, как морозная зима вынудила Наполеона оставить Россию. Бородино всегда упоминается в списке побед Наполеона на памятниках ему во Франции. И напротив, каждый русский знает значение победы русских войск при Бородино, которая привела к падению империи Наполеона. Дело здесь не только в официальной идеологии, отраженной в образовательных программах: важно, что это событие стало фактом национальной культуры, будучи описанным в замечательных произведениях литературы.
Таким образом, когда мы говорим, что дескрипция является таковой в силу определенных свойств контекста, то это означает, что дескрипция оказывается релятивизованной к некоторой системе описания, или концептуальной схеме. Мы видим это в обоих примерах, но очевидно различными способами.
В первом случае в качестве такой схемы выступает совокупность широко распространенных мировоззренческих установок и элементов знания, т.е. некоторая (научная) картина мира. Поражение Наполеона при Ватерлоо является историческим фактом, по поводу которого существует общее согласие, и невозможность идентифицировать референт по такой дескрипции свидетельствует о некачественности, неполной истинности того знания, которым обладает реципиент. Контекст может быть прояснен путем согласования индивидуальной концептуальной схемы реципиента с общепринятой, разделяемой всеми участниками коммуникативного сообщества. Общепринятая концептуальная схема выступает здесь неким (в этом отношении предельным) горизонтом знания, и согласование в таком случае будет заключаться в приближении к нему - реципиент должен прочесть учебник или прийти на урок и попросту узнать, кого же победили при Ватерлоо. Индивидуальная концептуальная схема реципиента (недействительная) была бы, таким образом, исправлена согласно имеющему силу образцу - стандартной схеме.
Во втором же случае контекст референциально непрозрачен в силу конфликта двух социальных концептуальных схем, фиксируемых естественными языками и существующих в языковых сообществах. Согласование таких схем имело бы иную форму, чем обучение истории малограмотного реципиента. Оно потребовало бы не приближения к чему-то данному с целью не отличаться от него, но установления соответствий между двумя классами понятий. Причем речь здесь идет не только - и, конечно, не столько - об интерпретации фактов, сколько о свойствах и элементах языковых картин мира. Например, в некоторых африканских языках есть лишь два термина для характеристики цветовой гаммы: "теплый" цвет и "холодный", в общем соответствующие двум половинам спектра [3]; соответственно радуга, в пределах такой концептуальной схемы, может иметь дескрипцию "наблюдаемый в небе двухцветный феномен", т.е. такую дескрипцию, по которой носитель любого индоевропейского языка, на которой будет переведена дескрипция, никак не сможет идентифицировать референт.
Естественный язык, таким образом, выступает не как некоторая эмпирическая "догма" (язык, на котором в действительности говорят все французы), но как некоторое основание формализации (например язык, множество всех тривиально истинных предложений которого определяет единственным образом объем понятия истины для говорящего на этом языке).
Аналогичным образом мы можем интерпретировать проблематику модальных и косвенно-речевых контекстов, где референция невозможна в силу нарушения принципа подставимости тождественного. Например, выражения "число планет в Солнечной системе" и "9" являются двумя подстановками числа 9, но первое не может быть подставлено вместо второго в высказывании "9 с необходимостью больше 7" или вместо одной из девяток в "9 с необходимостью равно 9". При нашей оценке истинности выражения "Число планет в Солнечной системе с необходимостью равно 9" мы исходим из того, что, согласно нашим позитивным представлениям, не существует ни закона природы, с необходимостью регулирующего число планет, ни всемогущего существа, которое могло бы задать такую модальность. Однако в рамках, например, мифологической картины мира утверждение вида "Число планет с необходимостью равно 9" могло бы восприниматься как истинное. "Квантифицируемые переменные" в этом примере Куайна (N(x)>7 или N(x)=9) находятся для нас не в указательных позициях не столько в силу того, что пропозиция модальна (т.е. "иначе не могло бы быть"), сколько в силу того, что они отсылают к определенным (возможно, конфликтующим) положениям дел, в которых - и именно в них - известно, каким образом обстоят дела, и известно, что они обстоят отличным друг от друга образом. Поэтому, возможно, вернее было бы говорить не о том, что переменные здесь находятся не в указательных позициях, а о том, что подобного рода контексты не предоставляют возможности для сравнения различных положений дел или определения отношений между ними: мы не можем отсюда заключать о том, каково может быть соотношение между различными положениями дел и их элементами.
Для устранения проблем, вытекающих из подстановки кореферентных выражений, в теориях значения привлекаются множество самых разнообразных техник и понятий, большинство из которых сходны в том отношении, что они апеллируют к представлениям о некой "референции говорящего", управляющей семантической референцией. Пафос подобных усилий заключается в следующем: поскольку невозможно непосредственное указание на объекты в референциально непрозрачных контекстах и требуются дополнительные идентифицирующие процедуры, постольку проблема референции оказывается связанной с проблемой индивидуации некоего предмета. Возможна ли все же индивидуация посредством именно дескрипций и каким требованиям должны отвечать такие дескрипции?
Принцип идентифицирующих дескрипций резюмирован в известном тезисе "дескриптивной метафизики" П. Стросона: "Имя ничего не значит без поддержки дескрипций" [4]. В соответствии с этим принципом знание ряда дескрипций обеспечивает возможность выделения "базисного индивида" - референта собственного имени - единственным образом. Так, возможность распознавания человека по имени Наполеон достигается при условии понимания определенным образом дескрипции "побежденный при Ватерлоо", или двух дескрипций: "великий полководец" и "император Франции", или трех дескрипций, и т.д. Однако с этим требованием определенности понимания дескрипций, лежащих в основании индивидуации, связана проблема межконтекстуальной многозначности: дескриптивный способ указания во многих ситуациях не гарантирует выделения единственного референта, удовлетворяющего имеющимся в наличии дескрипциям. Какие же именно дескрипции являются наиболее релевантными для индивидуации?
По традиционным представлениям, идущим от Рассела и Фреге, предмет референции обладает свойствами, которые фиксируются соответствующими дескрипциями. Согласно этой идее, имена обеспечивают референцию к предметам через дескриптивное содержание, которое связано с именем; имя оказывается связанным с эквивалентным множеством дескрипций и относится к чему бы то ни было, что удовлетворяет всем (или наибольшему количеству из имеющихся или возможных) дескрипций. С такой точки зрения дескрипции дают значение имени, определяя предмет референции, который является тем, что удовлетворяет (или лучше всего удовлетворяет) дескрипции. Имя отсылает к своему носителю в силу некоторой связанной с именем дескриптивной информации, которая относится исключительно к носителю имени. Так, имя собственное является сингулярным выражением обращения, которое используется для того, чтобы обеспечить референцию к единственному - притом известному - индивиду или предмету. Возможность референции при таком подходе определяется некоторым уровнем знания об объекте, а сама проблема референции ставится как эпистемологическая проблема.
Вопрос, возникающий в этой связи, таков: как мы можем знать, что некоторая дескрипция является истинной?
Когда говорящий утверждает нечто, обладающее формой "N есть Р", где N - имя, а Р - предикат, то условия истинности, согласно традиционным представлениям, выглядят следующим образом. Сказанное истинно ттт, если:
а) имеется некий объект (именования), связанный определенным образом с использованием имени "N";
б) этот объект обладает свойством, означенным "Р".
Каким образом идентификационные особенности предмета должны быть связаны с использованием имени "N", чтобы имя указывало на предмет?
Этот вопрос рассматривается в условие-истинностной (truth-conditional) семантике, основанной на известной попытке Д. Дэвидсона создать теорию значения на основе теории истины. Эта попытка призвана скоординировать центральные понятия логической и лингвистической семантики.
Дэвидсон привлекает для построения теории значения Т-конвенцию Тарского [5], в соответствии с которой, как он считает, удовлетворительная теория истины для языка L должна полагать, что для каждого предложения s из L существует теорема формы "s истинно, если и только если р", где "s" заменяется описанием s, а "р" - самим s (или, предположим, переводом s на тот язык, совокупность всех тривиально истинных предложений которого единственным образом определяют объем понятия истины для его носителя, если L не является таковым) [6]. Отвлекаясь от собственно определения истинности, Т-конвенция воплощает нашу интуицию о том, как должно использоваться понятие истины применительно к языковым выражениям. Тогда требование к семантической теории языка L состоит в следующем: без обращения к каким-либо дальнейшим семантическим понятиям теория накладывает на предикат "является Т" ограничения, достаточные для получения из схемы Т всех предложений, в которых s замещено структурным описанием предложения, а р - самим предложением. Список T-предложений составляет полное описание значений объектного языка.
Таким образом, цель условие-истинностной семантики состоит в том, чтобы дать теорию значений каждого предложения, сообщая, каковы условия истинности этого предложения. Иными словами, считается, что значение может быть дано в соответствии с теорией условий истинности предложений языка: для каждого предложения объектного языка теория сообщает нам, при каких условиях это предложение является истинным. Это сообщение делается с помощью T-предложений, связывающих определенные факты с тем, что означают наши предложения. Они не просто сообщают нам, что нечто истинно только тогда, когда оно истинно - они дают значение предложения, сообщая нам, когда оно является истинным.
В этой связи возможно следующее замечание. Список истинных T-предложений для объектного языка должен давать теорию значения как теорию того, что означает каждое предложение объектного языка. Однако этого не происходит, если мы предположим, что условия истинности могли быть определены произвольно. В принципе можно было бы назначить любое условие истинности для любого истинного предложения объектного языка по неадекватному критерию; можно назначить одно единственное истинное условие истинности (например, снег бел) к каждому истинному предложению объектного языка и одно единственное ложное условие истинности (например, снег фиолетов) к каждому ложному предложению объектного языка. Следовательно, теория должна располагать некоторыми дополнительными ресурсами для того, чтобы не повлечь за собой подобное абсурдное последствие.
Контраргумент здесь приводит нас к признаку, положенному нами ранее в основание различения видов интенсиональных контекстов: к реальному способу, которым существует естественный язык. Для того чтобы понять, почему условие-истинностная теория значения не повлекла бы за собой описанное абсурдное последствие, необходимо иметь в виду, что реальные естественные языки содержат бесконечное множество предложений. Очевидно, что дать полный список T-предложений для таких языков невозможно, потому что мы не могли бы знать такой бесконечный список. Тогда мы должны признать, что то, что мы (в действительности) знаем - это не что иное, как конечный список слов и способов их сочетаний. Этот список таков, что мы можем определять значения бесконечного множества предложений, состоящих из сочетаний слов. Другими словами, то, что мы в действительности знаем - это аксиоматическая теория с конечным числом аксиом, где все возможные T-предложения языка потенциально выступают как теоремы. Таким образом, наше понимание предложений нашего языка состоит в нашем формировании теории, дающей T-предложения.
Поскольку такая теория способна дать T-предложения для всех предложений языка, то она может рассматриваться как ошибочная в отношении некоторой реальности, но тем не менее быть релевантной для любого конечного множества предложений, удовлетворяющих некоторой очевидности. Во всяком случае, теория, которая пытается объяснять значения предложений их условиями истинности в пределах репрезентационистского подхода, опираясь на референцию и правильность предикатов, будет работать только в той мере, в какой язык является экстенсиональным.
По мнению самого Дэвидсона, его теория находится в рамках стандартной теории истины Тарского - или, по крайней мере, очень хорошо согласуется с ней. В самом деле, предъявленное Дэвидсоном требование выводимости Т-предложений формально совпадает с требованием, сформулированным Тарским для понятия истины в формализованных языках. Вместе с тем в условие-истинностных концепциях значения Т-предложения призваны играть роль, в некотором смысле противоположную той роли, которую они играют в теории истины Тарского [7, 8]. Цель, которую ставил перед собой Тарский, заключалась в том, чтобы дать "содержательно адекватное и формально корректное" определение истины для формализованных языков. И напротив, в условие-истинностной теории значения предикат "истинно" рассматривается как исходное, а не определяемое в рамках теории понятие. Если Тарский анализирует концепцию истины, обращаясь (в Т-конвенции) к теории значения, то Дэвидсон рассматривает концепцию истины как исходное примитивное понятие и пробует, "детализируя структуру истины, добраться до значения". Предполагая, что понятие истинности уже задано предварительно, Дэвидсон использует построение Тарского для формулировки требований, предъявляемых к теории значения: если дано предложение S языка L, то утверждение о его значении вида "S значит P" может быть заменено соответствующим Т-утверждением.
Тем не менее язык, о котором идет речь у Тарского - формальный, а не естественный язык, и, соответственно, его употребление регулируется ad hoc'овой, а не тотальной, т.е. заключенной между всеми членами языкового сообщества, конвенцией. Последняя очевидным образом отличается по форме от первой: она не была заключена явно, не ограничена во времени и т.д. Поэтому уместно задать следующий вопрос: что происходит с Т-конвенцией при использовании определения истинности "в духе Тарского" для определения значения в естественном языке?
Если семантическая теория должна иметь форму теории, определяющей условия истинности для анализируемых предложений языка, то знание семантического понятия истины для языка L означает знание того, что означает для предложения S языка L быть истинным. Вместо точного определения истина характеризуется конечным множеством аксиом. Теория значения при этом рассматривается в качестве системы утверждений, предназначенных ответить на вопросы об отношениях друг к другу языковых выражений, тогда как теория истины выступает в качестве теории указания, т.е. системы утверждений, предназначенных ответить на вопросы об отношениях языковых выражений к миру.
Таким образом, в условие-истинностных концепциях значения на первый план выходит критерий внешности по отношению к языковой системе - критерий, в определенном отношении предельно формальный: мы не можем говорить о предметах обозначения как о сущностях, внутренне присущих самой языковой системе, о неких свойствах обозначения, поскольку отсылка к чему-то иному, направленность на иной предмет является сущностным свойством языкового знака. Именно благодаря этому конституирующему свойству знак является собой, а не чем-то иным (скажем, не относится к некоторому классу чисто физических или психических явлений или метафизических понятий).
Однако объяснение с помощью условие-истинностных концепций значения того способа, которым выражения естественного языка указывают на свои референты, сталкивается с трудностями, о которых мы говорили выше в связи с референциально непрозрачными контекстами. Попробуем охарактеризовать источник этих затруднений еще раз: согласно подобным представлениям, мы имеем дело с языковыми выражениями таким образом, что они указывают нам на определенные положения дел, события, факты, ситуации, принадлежащие к реальности, отличной от реальности самих предложений и систем предложений. Иными словами, истинность, о котором здесь идет речь - это корреспондентная истинность.
Основанные на корреспондентной концепции истины условие-истинностные теории значения могут не оперировать отдельным понятием "смысл" или "значение". Но поскольку они стремятся к тому, чтобы их положения давали знакам верные референции - а это намерение равносильно требованию, чтобы они демонстрировали значение выражений, - постольку они содержат явную или неявную отсылку к "способу, которым дается референт" (Фреге). Такие теории явно или неявно предполагают, что T-теории могут предоставлять нечто большее, чем сами по себе истинностные условия выражений, а именно, что они могут предоставлять истинностные условия в таком аспекте, который "показывает" или "отображает" значения выражений. Для этого можно утверждать, что в то время, как два выражения имеют один и тот же референт, они имеют отличные друг от друга значения, так как выражения имеют различные режимы, или алгоритмы представления, т.е. они представляют референт различными способами.
Традиционно возникающие в этой связи вопросы таковы: могут ли T-теории работать с подобными интенсиональными контекстами, т.е. представляют ли теоремы такой теории только референты выражений или также и значения? Правая сторона T-предложения отсылает к выражению слева: каков характер этой отсылки? Простое ли это указание или же эта отсылка может до той или иной степени показывать или отображать некоторое значение?
Эти вопросы ставятся и анализируются в исследовательской литературе на более специальных предметных областях: контрфактуальные предложения; предложения с диспозициональными предикатами; предложения, выражающие возможности и причинно-следственные отношения; вопросительные и императивные предложения и т.д.
Предлагаемые решения могут оперировать определением истинности выражения как истинности относительно некоторой концептуальной структуры. В частности, относительность истины представляется важной предпосылкой, если мы пытаемся говорить о конвенциональности значения, удерживая при этом представления о связи значения языкового предложения с условиями его истинности. С другой стороны, такие модификации могут помочь вывести условие-истинностную концепцию значения из-под удара содержательной критики, которой она была подвергнута, например, М. Даммитом. Согласно Даммиту, условие-истинностная концепция значения неприемлема, поскольку она не приводит к удовлетворительному объяснению феномена понимания языка; любая теория значения, которая не является теорией понимания или не дает ее в итоге, не удовлетворяет той философской цели, для которой нам требуется теория значения - а следовательно, теория значения должна включать, помимо теории референции, еще некоторую теорию иллокуции. Эти и сходные соображения вызвали к жизни ряд "расширенных" (broad) теорий референции (С. Крипке, Х. Патнэм, К. Доннелан, Р. Бойд, Г. Эванс и др.), использующих семантику возможных миров и другие технические средства для придания теории референции некоторого социокультурного измерения. Анализ таких теорий показывает, что используемые в них допущения о репрезентации обладают существенными отличиями от "классического" репрезентационизма: репрезентация в них предстает так или иначе опосредованной [9].
Если референциальная теория в ее традиционном (эмпиристском) варианте отождествляла значение выражения с тем, на что оно указывает, или с референциальной связью (т.е. не привлекала допущения об отождествлении знания с возможностью описания), то включение референциально непрозрачных контекстов в поле рассмотрения Т-теорий, неизбежное при логическом анализе естественного языка, потребовало увеличения выразительных возможностей формальных систем. Для этого теория значения референциального типа должна быть основана на такой концепции указания, которая позволила бы выразить более сложные взаимоотношения между предметом и концептуальной схемой. Обладать некоторым знанием предмета, достаточным для его идентификации, означает тогда располагать не просто информацией о предмете, но информацией о значении термина, указывающего на этот предмет [10]. Таковы, в частности, более современные референциальные ходы - жесткие десигнаторы, индексикалы, "референция говорящего" и т.д. Представляется, что, с такой точки зрения, описание предмета (трансцендентного описанию референта) с помощью дескрипции исходит из допущения о том, что этот предмет является так или иначе данным, заданным (pre-given); более же сложные виды описания исходят из несколько иного допущения, а именно: первичное описание предмета может быть помещено в контекст некоторой системы описания - такой, что помещение в нее указания на описываемый референт не нарушит правил функционирования этой системы. Иначе - как, например, заметил Дэвидсон - такие каузальные теории референции не будут теориями значения, потому что они обратились бы к причинным отношениям между именами и объектами, о которых говорящие могут быть неосведомлены [11, p.318].
Оставаясь в пределах корреспондентных представлений об истинности, мы должны будем рассуждать примерно так: отношение между знаками - например повествовательными предложениями изъявительного наклонения объектного языка - и трансцендентной описанию реальностью есть отношение дескриптивности. При этом по отношению к описываемой реальности как таковой, как к имеющемуся в наличии в качестве реальности трансцендентному референту, отношение между предложениями и тем, что они описывают, может задаваться в конкретной ситуации по крайней мере двумя способами:
В контексте понимания репрезентации как отношения описания к некоторой реальности (М. Вартофский) такая расширенная дескрипция предстает описанием некоторой иной, новой по отношению к первично репрезентированной, реальности. Конструктивное отношение характеризуется привнесением новых элементов, чей референциальный статус может быть не прояснен, т.е. эти референции могут не отсылать к изначально наличной реальности так, как к ней отсылают референции, устанавливаемые в первичной дескрипции. Тогда мы должны будем признать, что попытка расширения дескрипции, т.е. построения объяснения, означала бы, в определенном смысле, удвоение референта.
В самом деле, если мы имеем дело с системой обозначений, в которой взаимосвязаны как дескриптивные, так и конструктивные отношения к реальности - а эта реальность полагается в пределе общей для дескриптивного выражения в данной системе предложений - то перед нами встает вопрос: как эта внутренняя взаимосвязность достигается и сохраняется в контексте различного характера соотнесения с реальностью внутри данной системы предложений? По существу мы описываем внутри этой системы две реальности, принимаемые теоретически за одну. Следует признать, что попытка онтологического обоснования такого вывода явилась бы весьма дискуссионной.
Итак, мы рассмотрели традиционные представления о дескрипциях как основанные на репрезентационистском подходе к анализу языковых значений и показали связанные с этим проблемы, возникающие при использовании корреспондентной концепции истины. Альтернатива, к которой мы подошли в ходе этого рассмотрения, такова: представления об условиях истинности языковых выражений могут быть развиты в терминах когерентной концепции истины.
Согласно последней, мера истинности высказывания определяется его ролью и местом в некоторой концептуальной системе. Чем более связаны, или согласованы между собой наши идеи, тем в большей степени они истинны. Истинность любого истинного предложения состоит в его когерентности с некоторым определенным множеством предложений.
Когерентная концепция истинности отличается от корреспондентной концепции в двух сущностных параметрах: они дают различные теории отношения истинности и различные теории их условий истинности.
|
Отношение истинности |
Условия истинности предложений |
|
|
Когерентная концепция |
Когерентность | Определенное множество других предложениях |
|
Корреспондентная концепция |
Корреспонденция (соответствие) | Не предложения, но объективные особенности реального мира |
Рассмотрим критерии, вынесенные в вертикальные столбцы, по очереди.
1. Очевидно, что недостаточно понимать отношение когерентности как просто непротиворечивость. Согласно такой точке зрения, сказать, что предложение является когерентным с определенным множеством предложений, значило бы попросту сказать, что предложение не противоречит ни одному предложению из этого множества. Такая концепция когерентности неудовлетворительна по следующей причине. Рассмотрим два предложения, которые не принадлежат определенному множеству предложений. Оба эти предложения могут быть непротиворечивы с этим множеством и в то же время все же противоречить друг другу. Если когерентность была бы просто непротиворечивостью, то сторонник когерентной концепции должен был бы утверждать, что оба предложения истинны - но при том, что они противоречат друг другу, это невозможно.
Поэтому отношение когерентности может пониматься как наличие некоторых вероятностных связей между P и другими предложениями, полагаемыми S истинными. Как заметил Л. Бонжур [12], логическая непротиворечивость - печально известный слабый вид когерентности, и теоретик когерентности истины будет без сомнения хотеть расширить трактовку когерентности, чтобы включить, по крайней мере, вероятностные связи. P будет истинно для S только в том случае, если P логически непротиворечиво с остальными предложениями, полагаемыми S истинными, и имеются содержательные вероятностные связи между другими предложениями, полагаемыми S истинными, и P.
Отношение когерентности может быть также интерпретировано, как некоторая форма логического следования, понимаемого здесь как строгое логическое следование или как следование в несколько более широком смысле. Согласно этой версии, предложение когерентно с некоторым множеством предложений ттт, если оно связано отношениями следования с элементами этого множества. Но и это вряд ли можно признать удовлетворительным, потому что этот подход будет требовать дальнейшего разъяснения понятия "следование", и т. д.
В то же время теоретики корреспонденции позволяют себе не озадачиваться этим видом вопросов, рассматривая корреспонденцию как отношение sui generis. "Помимо риторики высмеивания, существуют ли действительно принципиальные возражения против того, что общезначимая концепция корреспонденции нередуцируема, не подлежит анализу?" [13]. В таком случае уместно задать вопрос, почему тогда когерентность не может быть отношением sui generis так же, как корреспонденция?
Поскольку любой концептуальный анализ должен иметь основу, то следует принять наличие концептуальных "атомов", из которых сформированы все другие концепции и которые сами не могут быть проанализированы. Но так как любая система имеет структуру, мы можем сказать то же самое и относительно отношений между ними. (Поэтому, вероятно, может быть обоснован и более сильный тезис: если мы признаем корреспонденцию отношением sui generis, то мы тем самым с необходимостью признаем таким же отношением когерентность.) Многие философы аргументировали, что фундаментальная интенциональность подразумевает множество отношений sui generis, идеи которых абсолютно фундаментальны и не сводимы к любым другим отношениям. Человеческое сознание экземплифицирует определенные свойства (находится в определенных состояниях), в том числе свойства корреспондентности и когерентности.
2. Из чего состоит наше "определенное множество предложений"; каков, вообще говоря, его эпистемологический статус? Это не может быть множество всех предложений, так как это множество будет содержать противоречащие пары предложений и, таким образом, ничто не было бы истинно. И это не может быть подмножество только истинных предложений, потому что мы еще не располагаем анализом истины, и здесь возник бы порочный круг.
В принципе сторонники когерентной концепции истинности единодушны в том, что это определенное множество состоит из предложений, полагаемых истинными. Разногласия могут заключаться в том, кто и когда полагает эти предложения истинными. Согласно одной из радикальных позиций, можно предположить, что определенное множество предложений - это самое большое непротиворечивое множество предложений, которым в настоящее время фактически верят реальные люди (Дж. О. Янг, [14]). Согласно умеренной позиции (Х. Патнэм, [15]), искомое определенное множество состоит из тех суждений, которые будут рассматриваться как достоверные тогда, когда обычные (ordinary) (т.е. подобные нам) люди с конечными (т.е. так или иначе ограниченными) познавательными способностями достигли некоторого предела реализации своих когнитивных намерений. И наконец, с другой радикальной позиции сторонники когерентной концепции истинности считают, что искомое определенное множество состоит из предложений, которые выражали бы полагания (beliefs) некоторого всезнающего существа (omniscient being) (версии Ф. Брэдли и других представителей британского идеализма XIX - начала ХХ вв. [16]).
Можно считать отношение когерентности отношением между предложениями, но релевантные предложения, с которыми P связано отношением когерентности, должны быть определены в терминах пребывания фактическими или гипотетическими объектами полагания. Перечисленные выше различные версии когерентной теории истины можно получить в зависимости от того, каким образом понятие полагания используется для того, чтобы ограничить уместный класс предложений, с которым определяемое предложение должно быть связано отношением когерентности, чтобы быть истинным. Это означает, что релевантный подкласс предложений может изменяться от одного индивидуума или сообщества к другому, и именно когерентность с системой полаганий индивидуума или сообщества определяет в этом отношении истину.
Итак, в рамках когерентной концепции истины понятие "определенное множество предложений, полагаемых истинными" может рассматриваться как все еще требующее дальнейшего уточнения. Тогда, если мы продолжаем удерживать наши аргументы, касающиеся референциально непрозрачных контекстов естественного языка, мы можем рассматривать характерное для когерентной концепции истинности понятие "определенное множество предложений" как множество всех тривиально истинных предложений, единственным образом определяющее объем понятия истины для всех членов определенного языкового сообщества. Лингвистическое сообщество понято здесь экстенсивно, как множество всех носителей языка L.
Если мы соглашаемся с такой трактовкой понятия "определенное множество предложений", то принятие когерентной концепции истины влечет за собой отклонение репрезентационизма еще до того, как мы встанем на конструктивистские позиции. Этот достаточно сильный тезис я попытаюсь обосновать следующим образом.
Репрезентационизм подразумевает принятие двух принципов:
С точки зрения когерентной концепции истинности мы должны отклонить как
Итак, концепция когерентности истинности оказывается связанной с когерентной теорией обоснования (justification) знания. Последняя, вообще говоря, не обязательно подразумевает первую: применение когерентной теории обоснования может сочетаться с применением корреспондентной или, вероятно, любой иной концепции истинности. Однако поскольку моей целью здесь является обсуждение не теорий когерентности истинности или обоснования как таковых, но их семантического применения, я буду говорить об их общей семантической релевантности.
Основание, если не наиболее существенное, по которому может быть оспорена как сама концепция когерентности истинности, так и ее связь с когерентной теорией обоснования, таково: даже если допустить, что определение когерентности с множеством полаганий является верификационной процедурой для определения истинности, то сама истина при этом могла бы тем не менее состоять не в чем ином, как в соответствии объективным фактам. Но этот контраргумент встречает следующее возражение: если истина заключается в соответствии объективным фактам, то когерентность с множеством полаганий никак не может быть критерием истинности, поскольку не может существовать никакой гарантии того, что сколь угодно непротиворечивое множество полаганий соответствует объективной действительности [17].
Поэтому, удерживая связь когерентной концепции истины с когерентной теорией обоснования знания, мы можем по-новому взглянуть на классический эпистемологический аргумент в пользу когерентной концепции истины, основанный на (свойственном, в частности, конструктивизму) представлении о том, что мы не можем "выйти вовне" нашего множества полаганий и сравнивать суждения с объективными фактами [18]. Этот аргумент может быть рассмотрен как вытекающий из когерентной теории обоснования знания. Исходя из такой теории, аргумент заключает о том, что мы можем знать только единичные факты когерентности или отсутствия когерентности определенного предложения с определенным множеством предложений, выражающих определенные полагания. Мы никаким образом не находимся и не можем оказаться в такой эпистемологической позиции, откуда мы могли бы заключать о том, соответствует ли то или иное предложение действительности.
Контраргумент здесь будет заключаться в том, что такой аргумент может быть рассмотрен как содержащий некорректную импликацию. Из того факта, что мы не можем знать, соответствует ли некоторое предложение действительности, мы еще не можем вывести, что оно не соответствует действительности. Даже если некто признает, что мы можем знать лишь то, когерентны ли определенные предложения с нашими полаганиями, это само по себе еще не дает ему основания считать, что истина не состоит в соответствии объективным фактам. Если сторонники корреспондентной концепции истины принимают эту позицию, то они тем самым могут признавать, что существуют истины, которые не могут быть нам известны - например, что существует некоторая абсолютная истина, к которой мы можем лишь приближаться путем уточнения известных нам относительных истин. Или же сторонники корреспондентной концепции истины могут утверждать, как это делает Дэвидсон, что когерентность предложения с множеством полаганий является хорошим признаком того, что предложение действительно соответствует объективным фактам и что эти факты соответствия доступны нашему знанию [11, p.307-319].
Сторонники корреспондентной концепции истины могут даже утверждать, что когерентная теория - вообще не теория истины [19]; следовательно, они исходят из предположения, что они знают, чем является истина, то есть они имеют определение истины. И конечно, они знают, что такое истина: это -соответствие фактам. Действительно, когерентная теория истины - не теория соответствия фактам. Но сторонники когерентной концепции никогда не претендовали на это.
Это различие в значениях самого термина "истина" может интерпретироваться как связанное с различием целей, для которых дается теория истины. Могут быть по крайней мере две такие цели:
Согласно Н. Решеру, резюмировавшему это различие [20], эти два вопроса совершенно неидентичны: мы можем иметь критерий или критерии истинности (условия истинности) пропозиции и все еще испытывать недостаток определения, что значит для этой пропозиции быть истинной, и наоборот.
Но если мы хотим быть способными использовать лингвистическую единицу, то нам потребуются релевантные критерии для успешности использования. Именно это и делает условие-истинностная теория значения: она отождествляет значение с условиями истинности предложения, и эта идентификация основана на концепции "значение как употребление", отождествляющей значение лингвистической единицы с условиями ее использования. Если мы принимаем это представление, мы должны признать, что все спецификации значения, которые не эффективны для определения правил применения знака, попросту избыточны.
Поэтому моя задача здесь заключается не в том, чтобы показать, что мы не можем знать наверное, соответствуют ли языковые выражения элементам и характеристикам некоторого внешнего (по отношению к описанию) мира. Такое скептическое заключение носило бы метафизический характер и было бы бесполезно для построения теории значения - как показали, например, дискуссии по проблеме следования правилу у Витгенштейна [21]. Скорее, я пробую последовательно выстроить аргументацию, свидетельствующую о том, что факт такого соответствия иррелевантен для когерентной концепции обоснования и соответственно для основанной на когерентной концепции истины условие-истинностной теории значения. Для этого нам следует найти дополнительные аргументы, уточняющие когерентистские представления. Поскольку мы удерживаем наше представление о языковом сообществе как предельном истинностном операторе, постольку мы можем рассуждать здесь следующим образом.
Как мы видели, корреспондентная и когерентная концепции имеют различные представления о природе условий истинности. Согласно когерентной концепции, условия истинности предложений состоят в других предложениях. Согласно корреспондентной концепции, условия истинности предложений состоят не в предложениях, но в объективных свойствах и особенностях действительного мира. Один из способов сделать выбор в пользу той или иной концепции истины (т.е. определить, в каких случаях та или иная концепция истины является более адекватной) состоит в том, чтобы обратить внимание на процесс, которым предложениям назначаются условия истинности. С когерентистской точки зрения, условия истинности предложения - это те условия, при которых говорящие (на языке) утверждают это предложение в своей речевой деятельности, т.е. употребляют это предложение. Это означает, что говорящие могут употреблять предложения только при тех условиях, которые сами говорящие и другие члены языкового сообщества могут распознать как обосновывающие эти предложения. Отсюда становится важна предполагаемая неспособность говорящих "выйти вовне" своих полаганий. Это важно потому, что те условия, при которых предложение когерентно с полаганиями говорящих, являются единственными условиями истинности в том отношении, что они являются единственными условиями, которые говорящие могут распознавать как обоснование нашего знания значения этого предложения. Когда говорящие в своей речевой деятельности утверждают то или иное предложение при этих (определенных) условиях, то эти условия становятся условиями истинности предложения.
Признание последнего тезиса в предложенных аспектах рассмотрения приводит нас к принятию конструктивистского подхода.
Представляется, что описанная проблематика может быть рассмотрена как связанная с различением двух эпистемологических подходов: репрезентационистской и конструктивистской установок. Первая, свойственная как рационалистической, так и эмпирицистской традиции, представляет собой эпистемологический реализм, т.е. исходит из убеждения в том, что познание по существу направлено на приобретение знания о некотором внешнем мире, трансцендентном по отношению к познающему субъекту, независимом от него и являющемся "данным" заранее. Для конструктивистской установки, напротив, характерны отклонение понятия "данного", отказ от проведения различия между перцепцией и концептуализацией (и следовательно, от всех такого рода подходов к дихотомии наблюдения/теории для науки), отказ от априорности в пользу инструментального подхода к проблеме обоснования знания, акцент на прагматических соображениях в выборе теории и т.д.
Конструктивная система при подобном подходе является интерпретируемой формальной системой определений и теорем, созданных на языке исчисления предикатов первого порядка. Определения конструктивной системы полагаются "реальными" определениями, отвечающими некоторым определенным семантическим критериям точности в дополнение к обычным синтаксическим критериям, налагаемым на чисто формальные или "номинальные" определения. Таким образом, конструктивная система - это формализация некоторой области предполагаемого знания, которая может быть помыслена как множество предложений, сформулированных в несистематизированном дискурсе (обычно естественного языка). При этом некоторые термины должны быть соответственно определены в системе, использующей, кроме логики, специальное множество терминов, принятых в этой системе за базисные (ее "внелогическое основание", или "семантические примитивы"). Эти примитивные дескрипции могут быть помыслены как уже имеющие намеренное использование или интерпретацию; если это не очевидно, то может быть обеспечено неформальным объяснением, не входящим собственно в систему.
Теперь мы можем сделать следующее замечание по поводу оснований, по которым мы противопоставляем описание и объяснение. В рамках конструктивистского подхода то, что мы противопоставляем дескрипции, не является прескрипцией, поскольку такая дистинкция здесь не будет иметь смысла: если мы полагаем, что дескрипция дает нам возможность построить объект, то мы тем самым признаем за этой дескрипцией и прескриптивное значение. Задача разграничения дескрипции и объяснения будет в таком случае задачей эксплицирования оснований их противопоставления. Поэтому можно предположить, что проблематика перехода от описания к объяснению связана с анализом соотношения данных наблюдения и теоретической конструкции и может быть рассмотрена в этом контексте, т.е. в контексте ситуации приращения знания 2). Это может быть сделано через различение репрезентационистской и конструктивистской парадигм, которое не тождественно собственно различению языка наблюдения и языка теории: как в языке наблюдения, так и в языке теории можно выделить как репрезентационистские, так и конструктивистские элементы. По замечанию Шлика, например, мы не сомневаемся в фактах географии или истории не потому, что мы полагаем их эмпирически проверяемыми, а потому, что нам известен и не вызывает у нас сомнений способ, котором обычно делаются такие фактуальные утверждения.
Для нас здесь важно подчеркнуть, что в качестве и языка наблюдения, и языка теории могут, вообще говоря, выступать не только различные фрагменты естественного языка, но и один и тот же фрагмент, или весь естественный язык в целом. Предложения языка наблюдения будут включать в себя, как правило, некоторые шифтеры, локализующие значение во времени, пространстве и т.д., но нет никаких препятствий для использования тех же самых языковых средств в предложениях языка теории. Определение языка наблюдения как части естественного языка, лишенной теоретических терминов, уязвимо в том отношении, что язык наблюдения и язык теории будет иметь одну и ту же грамматику, то есть управляться теми же самыми лингвистическими правилами, как синхроническими, так и диахроническими. Последнее соображение покрывает возражение ван Фраассена против этой дихотомии, заключающееся в том, что если бы мы могли очистить наш язык от теоретически нагруженных терминов, начиная с недавно представленных, затем через "массу" и "импульс" к "элементу" и так далее в предысторию формирования языка, то у нас вообще не осталось бы значимых терминов [1, p.14]. Итак, если такие выражения, как, например, "часть" и "А является частью B" рассматриваются различными способами, как принадлежащие к языку наблюдения или к языку теории, что же происходит в этом случае с их значениями?
Если мы рассматриваем множество предложений, полагаемых тривиально истинными языковым сообществом в данный момент времени, как множество примитивных дескрипций ("семантических примитивов") конструктивной системы, то становится ясно, каким образом мы вводим в эту систему новые элементы, расширяющие дескриптивность (например до "теоретического описания", т.е. объяснения). Значение дескрипций не сводится, с такой точки зрения, до их референции, но признание этого положения еще не дает нам оснований отклонить представления о значении как об условиях истинности предложения. Статус нового элемента будет зависеть в таком случае от количества и характера его когерентностных связей с другими элементами. Поэтому мы можем ответить на наш исходный вопрос "Как возможно и как осуществляется расширение дескриптивности, означающее по существу увеличение знания о мире?" следующим образом: увеличение знания состоит в построении когерентности: установлении наибольшего числа семантических связей исходной дескрипции с наибольшим числом семантических примитивов системы описания.
Sui generis отношение когерентности реализуется (воспринимается) и посредством семантических связей между лингвистическими единицами, причем эти связи образуют открытое множество. Отсюда представляется возможным достаточно общий семантический подход, снимающий противопоставление семантики Тарского - Дэвидсона, где предметная область рассматривается как множество однородных объектов (элементов данного мира) и семантики возможных миров, использующей обращение к онтологически различным видам объектов: "объектам реального мира" и "объектам возможного мира". Соответственно, такой подход позволит эксплицировать более широкий круг контекстов естественного языка. Для этого, как мы видели, возможно применить в условие-истинностной теории значения не корреспондентную, как у Дэвидсона, но когерентную концепцию истины.
Вопрос о том, может ли когерентная истинность быть использована для определения значения в рамках условие-истинностного подхода, оказывается при этом вопросом о возможности употребления языка некоторым языковым сообществом. Референции, возникающие в ходе этого употребления, обнаруживаются, таким образом, в поле согласования некоторых (индивидуальных) картин мира, или концептуальных схем носителей языка [22]. Эпистемологически сама возможность реального употребления языка предстает обнаружением некоторой полисубъектности в интерсубъективности, избегая таким образом традиционно адресуемого релятивизму упрека в бессодержательности, недостаточном предоставлении референциальных оснований. Семантический статус общей для всех носителей языка области согласования их индивидуальных картин мира оказывается при этом открытым для точного анализа и прояснения.
Расширение знания как объяснение будет, с такой точки зрения, выглядеть следующим образом.
Согласно традиционной дедуктивно-номологической модели объяснение предполагает описание некоторого исходного знания об исследуемом предмете и описание некоторого дополнительного знания более общего характера; к последовательности подобных построений сводимы выводы, возникающие в реальном процессе познания. Объяснением того, почему истинно высказывание "Вода - это Н2О", будет, например, указание на то, что это высказывание дедуктивно выводимо из высказываний "Вещество, молекула которого состоит из двух атомов водорода и одного атома кислорода, представляет собой Н2О" и "Молекула воды состоит из двух атомов водорода и одного атома кислорода". Разумеется, возможны и другие пути вывода, но в любом случае эксплананс как совокупность утверждений, выражающих то или иное знание об исследуемой предметной области, и экспланандум как совокупность утверждений, выражающих некоторое исходное знание об исследуемом предмете, должны быть связаны отношением дедуктивной выводимости экспланандума и эксплананса.
Привлечение подобных техник призвано устранить так называемый парадокс объяснения, который заключается в следующем: для того чтобы объяснить, как произведено то или иное объяснение, нужно знать, в чем заключается общий механизм объяснения, т.е. заранее знать то, что неизвестно и еще только рассматривается в качестве предмета объяснения. В дедуктивно-номологической модели парадокс оказывается снятым, однако оценка истинности высказывания фактически сводится к проверке соответствия этого высказывания некоторому (полагаемому данным) множеству истинных высказываний; оцениваемая таким способом истинность не может быть корреспондентной. Здесь нет еще оснований считать полученное таким образом знание о мире истинным в смысле прямого соответствия миру. Центральным вопросом, таким образом, здесь оказывается выбор семантических примитивов, через которые строится объяснение.
Поиски универсальных, не выбранных произвольно "элементов человеческой мысли", некоего lingua mentalis как основы любых возможных семантических построений являются, скорее всего, одной из наиболее общих программ исследования проблемы связи между вещью и ее названием, причем такой программой, методология которой, возможно, в наибольшей степени определена природой предмета, поскольку ясно, что исследование связи между вещью и ее названием отсылает к весьма глубоким основаниям знания: если и возможно усмотрение более предельных оснований, то оно тем не менее ex definitio не может быть вербализовано. В современных семантических теориях выбор примитивов предстает некоторым метафизическим ориентиром: либо он признается произвольным - что связано с конвенционалистским подходом к значению, либо, наоборот, так или иначе детерминированным. Поскольку весьма трудно было бы указать удовлетворительные причины, по которым разрыв между теорией и эмпирическим фактом в семантике должен быть больше, чем, скажем, в физике или химии, постольку выбор семантических примитивов может считаться произвольным, с такой точки зрения, не в большей степени, чем установление списка химических элементов.
Однако в последнем случае исследователю необязательно занимать репрезентационистскую позицию. Отсутствие собственно эпистемологических оснований для формализации эмпирических данных в дедуктивных теориях не является на сегодняшний день специфически "анархическим" допущением: оно не оспаривается и вполне сдержанными исследователями. Более релевантным здесь оказывается прагматический критерий: поскольку теория отвечает предъявляемым к ней требованиям (объяснения известных фактов и предсказания новых), постольку она признается удовлетворительной, а отсутствие или невозможность обоснования теории как описания некоторой трансцендентной ей сущности не снижает ее ценности как теории.
Традиционная трактовка объяснения является, в своей наиболее сущностной характеристике, редукционистской: объяснить нечто, с такой точки зрения, - это свести неизвестное к известному. Основные возражения здесь (Гемпель [23], М.Фридман [24], ван Фраассен [1]) таковы: объяснение известного феномена может быть произведено с помощью совершенно новых и необычных теорий. Сам термин "объяснение" представляет, с такой позиции, прагматическое понятие и, следовательно, является релятивистским: согласно Гемпелю, мы можем построить некоторое значимое объяснение только в той или иной познавательной ситуации, только для того или иного конкретного индивидуума - реципиента информации; невозможно дать некоторое универсальное объяснение, "объяснение вообще", валидное всегда и для всех. (Так совершился переход Гемпеля от дедуктивной модели объяснения к индуктивной, или статистической.) Объяснение признается контекстно-зависимым. Традиционный редукционизм, таким образом, отождествляется с универсализмом: трактовка объяснения как сведения неизвестного к известному оказывается продиктованной стремлением обнаружить некоторые общие и общезначимые критерии интеллигибельной теории (например каузальность, возможность моделирования, визуализация и т.д.).
В этой связи принятие множества предложений, полагаемых тривиально истинными языковым сообществом в данный момент времени, в качестве множества семантических примитивов, или исходных дескрипций, относительно которого определяется истинность языковых значений, позволяет избежать такого противопоставления универсализма и релятивизма. В самом деле, установление наибольшего числа семантических связей исходной дескрипции с наибольшим числом семантических примитивов системы никак не означает редукцию. Напротив, речь здесь идет о построении нового знания, о приращении знания за счет увеличения числа его структурных элементов. Объяснительная сила теории будет в таком случае зависеть от строгости логического следования и от количества семантических примитивов, с которыми объяснение устанавливает связи.
Рассмотрим, например, "вывод к лучшему объяснению" - идею, восходящую к Ч.С. Пирсу ("абдукция") и эксплицированную Г. Харманом [25]. Согласно этому представлению, тот факт, что теория объясняет некоторые явления - часть очевидности, побуждающей нас принять эту теорию. И это означает, что отношение объяснения видно прежде, чем мы полагаем, что теория истинна.
Предположим, что мы имеем очевидность E и рассматриваем несколько гипотез, скажем H и H'. Тогда, согласно этой теории, мы должны вывести H скорее, чем H', если H - лучшее объяснение E, чем H'. Критерии, применимые здесь, могут относиться к статистической теории:
H - лучшее объяснение E, чем H' (ceteris paribus), если:
Эта версия теории объяснения непосредственно привлекала бы когерентность в ее вероятностной интерпретации (Бонжур) - P будет истинно для S ттт P логически непротиворечиво с остальными предложениями, полагаемыми S истинными, и имеются целесообразные вероятностные связи между другими предложениями, полагаемыми S истинными, и P.
Мы можем суммировать вышесказанное, сформулировав два аргумента относительно объяснения:
Ясно, что эти аргументы различаются только с точки зрения корреспондентной истинности. Для когерентиста они идентичны.
Такая интерпретация позволяет сохранить базовые интуиции, согласно которым объяснение должно связывать неизвестное с известным, и в то же время снимает возражение этому подходу, заключающееся в том, что объяснение известного феномена может быть произведено с помощью совершенно новых и необычных теорий: в любом случае это новое и необычное знание должно будет быть когерентно с множеством предложений, полагаемых языковым сообществом тривиально истинными, т.к. в противном случае это новое знание, не располагая определенными значениями, попросту не сможет функционировать, т.е. не будет существовать как знание.
Итак, обсуждение семантического аспекта перехода от описания к объяснению оказывается связанным с проведением нескольких дихотомий:
данные наблюдения/теория;
репрезентационизм/конструктивизм;
корреспондентная/когерентная истинность;
дескрипция/объяснение.
Представляется, что проведенное рассмотрение взаимоотношений этих дистинкций дало аргументы в пользу нового, менее "онтологизированного" подхода к проблеме референции и, соответственно, в пользу построения семантической теории на собственно эпистемологических основаниях, каковой явилась бы условие-истинностная теория значения, основанная на когерентной концепции истины.
ПРИМЕЧАНИЯ
* Работа выполнена при поддержке РГНФ: проект "Построение условие-истинностной теории значения на основе когерентной концепции истины".
Различные части этой работы были представлены в докладах на 24-й международной конференции по философии науки (апрель 1998, Дубровник), конференции "Что значит знать?" (май 1998, Москва) и XX Всемирном философском конгрессе (август 1998, Бостон); я благодарен всем принявшим участие в обсуждении. Особенно я признателен за замечания, которые высказали Эрнест Лепор, Елена Аркадьевна Мамчур, Андрей Родин, Кэтлин Уилкс, Ричард Фумертон, Алексей Черняк.
1) Вот пример из современного отечественного философского текста: "А если у кого-либо возникает желание спросить, откуда у Ф. Энгельса и всех, кто согласен в этом с ним, право квалифицировать вопрос об отношении мышления к бытию в качестве основного вопроса всей философии, т.е. философии как таковой безотносительно к тому, в какой форме, в какой стране и в какое время она существует, словом, безотносительно к конкретной исторической форме ее самореализации, то на это можно ответить следующим образом: спрашивать об этом поздно, ибо указанный статус основного для философии вопроса об отношении мышления к бытию было дано иметь давно без какого-либо содействия этому Ф. Энгельса и тех, кто в этом согласен с ним, и тем более без его и их заслуги в том, что это объективно имело и продолжает иметь место". - Горан В.П. Философия. Что это такое? - Философия науки. № 1 (2). Новосибирск, 1996.
2) Я исхожу здесь из допущения - возможно, дискуссионного - о том, что с каждым новым объяснением увеличивается количество нашего знания - уже хотя бы в том смысле, что появляется новый текст.
Литература: