Когерентная концепция истины. Реферат: Когерентная теория истины. Классическая концепция истины

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

Возможным оказывается одновременное сосуществование мно жества истинных философских положений. Так, X. Патнэм отмечает, что »не существует точки зрения Бога, которую мы можем знать или можем представить; существуют только разнообразные точки конкретных людей, отражающие. их разнообразные интересы, которым служат теории и описания» [цит. по: Макеева Л.Б. Философия Х. Патнэма. М., 1996., с. 88]. Место объективной реальности занимают язык, высказывания, предложения Аналитическое направление западной философской мысли превращает язык в самостоятельный объект исследования, рассматривает его неотъемлемый компонент рационального дискурса. Л. Витгенштейн усматривает в аналитическом прояснении языка основную функцию философии, выводя тем самым за рамки философской проблематики метафизику. Суть познания, по Л. Витгенштейну, — не поспит чистого качества вещей, их подлинного содержания, а oобъяснение фактов и изучение законов репрезентации фрагментов реальности.

Философское исследование направляется на установление и »логи ческой картины факта» [Витгенштейн Л. Логико-философский тракта // Философские работы. М., 1994. Ч. 1, с. 10]. Язык представляется как особое смысловое пространство, структура которого отражает структуру реально сти и мышления. Задачей философии Л. Витгенштейн считает высказывание о невыразимом, неуловимом в пределах дознаватели способностей человека а прояснение наличных актов мышления: »Мыс ли, обычно как бы туманные и расплывчатые, философия призвана делать ясными и отчетливыми» [Витгенштейн Л. Логико-философский тракта // Философские работы. М., 1994. Ч. 1, с. 10, с. 24]. Эмпирическое подтверждение лишается своей доминирующей роли и всецело подчиняется силе представлений, той »концептуальной схеме», в которой оно производит. Согласно X Патнэму, всякое знание об объектах действительного можно только в рамках некоторой теории, факты не существуют не зависимо от нашего отношения к ним: »Мы разрезаем мир на объекты, когда вводим ту или иную схему описания» [цит. по: Макеева Л.Б. Философия Х. Патнэма. М., 1996, с. 87].

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

Когерентность рассматривается как внутреннее свойство системы высказываний, которое касается отношения одних высказываний к другим, но она не касается отношений к фактам действительности, к реальности. Проблема когерентности решается в логическом смысле. Но очевидно, что условие непротиворечивости не является достаточным условием истинности, так как не всякая противоречивая система о мире соответствует реальному миру. Это условие применимо к естественным наукам, но к философскому знанию применимо далеко не всегда. Так, в естественных науках не может быть высказано противоречивых по отношению друг к другу суждений об одном и том же предмете. Если появившегося две версии развития одного и того же процесса, то одна из них ложная. И хотя в физике, например, некоторое время сосуществовали две теории света — волновая и корпускулярная, — но это представление было непродолжительным, оно было опровергнуто уже в 1924 г., когда Луи де Бройль доказал, что волновые свойства есть у заведомо корпускулярных объектов: электронов, протонов, нейронов. В философии, в отличие от естественных наук, различные методологические программы (герменевтика, экзисгеницализм, феноменология, структурализм) предлагают не только не согласующиеся друг с другом теории, но и по-разному интерпретируют даже предмет философии. В философии принцип детерминизма сменяется принципом индетерминизма Противоречивость теории не указывает на её ложность, поэтому такое большое значение придаётся в философии собственной истории.

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

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

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

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

Когерентная концепция истины продемонстрировала зависимость истинного суждения не от самой реальности, а от конвенций и ценностных проблем, показала, что истина — историко-контингентный продукт сложного взаимодействия процедуры принятия проблем и эффективности их решения в рамках изменяющихся методологических программ. Зависимость истины от ценностных координат была охарактеризована К Хюбнером в работе »Критика научного разума». При этом рассмотрение проблемы истины в связи с изменяющимися методологическими правилами и стандартами опирается на критику идеи Куна о зависимости истины от парадигмы.

X. Позер, отмечает, что предикат истинности носит гипотетический характер. Истина ставится им в зависимость от типов установлений. X. Позер в свой работе »Правила как формы мышления» называет шесть типов установлений [Позер Х. Правила как формы мышления // Разум и экзистенции. СПб., 1999]:Онтологические установления. Они определяют, какие элементарные объекты, процессы и положения вещей приняты в некоторой науке, каковы допустимые атрибуты и отношения и как из них строятся сложные образования.

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

2 Оценочные установления. Устанавливают иерархию источников знания и определяют, в чём состоит процедура доказательства, проверки и опровержения.

3 Инструментальные установления. Они касаются допустимых вспомогательных средств.

4 Эстетические или нормативные установления (И. Элкана, К Хюбнер). Они определяют свойства, которыми должны обладать теории (степень фальсифицируемости, наглядности и др.).

5Аксиологические установления (К. Хюбнер). Это неопровержимые и конвенционально вводимые фундаментальные допущения, которых достаточно жёстко придерживаются исследователи на протяжении отдельных исторических эпох.

Выявляя спектр установок, детерминирующих решение проблемы истины, X. Позер отмечает, что абсолютное обоснование истины невозможно, всякое обоснование основывается на некоторых посылках. Отказываясь от идеи соответствия истинного суждения самой реальности, но сохраняя веру в объективность истины, представители когерентной концепции истины по сути творили новую реальность, новое бытие, порождающее истины. Бытие в когерентной теории — не сама реальность, а концептуальные средства. Э.М. Чудинов, размышляя об этой особенности когерентной теории истины, писал, что если мы откажемся от классической идеи соответствия, то »может создаться впечатление, что концептуальные средства, являющиеся продуктом мыслительной деятельности человека, имеют мистическую власть над природой. Чтобы избежать этого вывода, который противоречит науке, мы должны предположить, что возможность мысленного «рассечения» действительности имеет под собой объективные основания. Действительность многокачественна, и именно это обстоятельство является объективной предпосылкой того, что она может «рассекаться различным образом» [Чудинов Э.М. Природа научной истины. М., 1977, с. 269].

Известно, что когерентная концепция истины возникает на волне критики корреспондентного подхода Задачи, которые ставили перед собой представители новой теории истины, предполагали преодоление выявленных противоречий в классической концепции истины. Однако об устранении в когерентной теории традиционных проблем истины говорить не приходится. Это отмечал ещё М. Шлик: »Если рассматривать когерентность в качестве общего критерия истинности, мы должны считать всякого рода сказки столь же истинными, как исторические свидетельства или утверждения в трудах по химии, — конечно, в том случае, когда в сказке нет противоречий» [Проблема метода в современной буржуазной философии. М., 1986, с. 140]. Критика в адрес когерентной концепции истины высказывалась и современными российскими философами. Так, Э.М. Чудинов утверждает, что когерентный подход не только не преодолевает трудности, но и »усугубляет их, сталкиваясь, в свою очередь, и с другими, неразрешимыми для неё проблемами» [Чудинов Э.М. Природа научной истины. М., 1977, с. 23]. Л.Б. Макеева замечает, что когерентная теория очень уязвима для критики и главной её проблемой является »невозможность избежать релятивизма» [Макеева Л.Б. Философия Х. Патнэма. М., 1996 с. 92].

К ВОПРОСУ О КОГЕРЕНТНОЙ ТЕОРИИ ИСТИНЫ

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

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

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

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

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

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

Теория когерентности базируется на идее, что все истинные высказывания формируют одну взаимосвязанную систему, в которой они имеют свое определенное место согласно логическим связям. Эта фундаментальная идея берет свое начало еще в античной философии и уже просматривается у предшественников Сократа, в частности, у Парменида. Наиболее ярко она проявилась у Аристотеля во «Второй аналитике». Новую жизнь эта традиция приобрела у И. Канта и его последователей. В наше время когерентную теорию защищали Ф. Брэдли, А. Эвин, С. Кэмбел, Б. Бланшард и, конечно, Н. Решер .

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

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

Как уже отмечалось, источником когерентного понимания истины является идея системы. В когерентной теории сказать, что высказывание истинно или ложно, означает, что оно согласуется или не согласуется с системой других высказываний. Поэтому когерентность в этой теории есть отношение одних утверждений к другим, а не согласованность с реальностью, фактическим положением дел. Не останавливаясь на специальных характеристиках этого отношения, подчеркнем основные черты когерентной теории истины:

Истинность высказывания определяется в терминах когерентности его с другими высказываниями: возможность квалификации высказывания как истинного зависит более всего или исключительно от его взаимосвязи, совместности с другими высказываниями в некотором специальном смысле;

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

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

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

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

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

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

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

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

Кроме того, возникает вопрос о роли субъекта и объективных и субъективных моментах семантического понятия истины, базирующегося на теории когерентности.

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

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

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

Литература

1. Войшвилло Е.К., Никифоров А.Л. Проблема взаимоотношения эмпирического и теоретического знаний// Диалектика научного познания. М., 1978. С. 415.

2. Ляшов В.В. Когерентная теория истинности и истинностно-значная семантика // Логико-философские исследования. М., 1991. Вып. 2.

3. Rescher N. The coherence theory oftruth. W., 1980.

4. Cohen L.J. The coherence Theory of Truth // Philosophical Studies. 1978. Vol. 34, № 4, P. 351 -360.

Блинов А.К.

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

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

Когерентная теория истины характеризна для великих рационалистических систем метафизики – Лейбница, Спинозы, Фихте, Гегеля, Брэдли; согласно Ральфу Уокеру , когерентные представления свойственны Декарту, Канту, Витгенштейну и даже Куайну ; большой вклад в развитие когерентной теории знания внесли Иоахим, Бланшар, Патнэм, Гилберт Харман, Дэвидсон, Николас Решер, Кит Лерер, Лоуренс Бонжур. Согласно этой теории, мера истинности высказывания определяется его ролью и местом в некоторой концептуальной системе; сказать, что то, что сказано (носитель истины, например утверждение или пропозиция) истинно или ложно значит сказать, что оно когерентно или не когерентно системе других утверждений или пропозиций, т.е. является или не является частью этой системы. Чем более связны, или согласованы между собой наши утверждения, тем в большей степени они истинны: истинность любого истинного утверждения состоит в его когерентности с некоторым определенным множеством утверждений. Элементы такой системы должны быть связаны друг с другом отношениями логической импликации или следования: в этой связи и состоит смысл отношения когерентности. Быть когерентным системе для утверждения значит быть связанным с остальными членами системы теми же логическими отношениями, какими те связаны между собой. Проверить истинность, таким образом, значит проверить, какими отношениями данное суждение связано с остальными в системе, совместимо ли оно с системой – например, с общепринятой научной картиной мира.

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

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

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

По мнению Р.Уокера, основных предпосылок, приводящих к когерентизму, три.

Когерентная теория дает способ избежать картезианского скептицизма. Если истина зависит не от отношений между нашей мыслью и потенциально непостижимой действительностью, но конституируется в пределах нашего мышления, то не остается никаких оснований для скептицизма в духе Декартова malin g e nie - никаких опасений, что мир не будет совпадать с нашим представлением о нем.

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

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

Как представляется, можно добавить еще минимум одну - возможно, наиболее важную:

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

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

Наиболее общие проблемы, связанные с пониманием истинности как когерентности, вытекают из фундаментального аргумента против когерентизма (в версии, соответственно, британских идеалистов), сформулированного Расселом:

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

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

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

Если P истинно, то не- P не истинно

должен быть справедлив. Если мы полагаем этот принцип конститутивным для нашей теории истины, то мы должны отвергнуть такой подход.

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

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

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

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

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

Поэтому отношение когерентности может пониматься как наличие некоторых вероятностных связей между P и другими утверждениями, полагаемыми S истинными. Как заметил Бонжур, логическая непротиворечивость - печально известный слабый вид когерентности, и теоретик когерентности истины наверняка захочет расширить трактовку когерентности, чтобы включить в нее по крайней мере вероятностные связи . P будет истинно для S только в том случае, если P логически непротиворечиво с остальными утверждениями, полагаемыми S истинными, и имеются содержательные вероятностные связи между другими утверждениями, полагаемыми S истинными, и P .

Отношение когерентности может быть также интерпретировано как некоторая форма логического следования (entailment), понимаемого здесь как строгое логическое следование или как следование в несколько более широком смысле. Согласно этой версии, предложение когерентно с некоторым множеством утверждений если, и только если оно связано отношениями следования с элементами этого множества. Однако этот подход будет требовать дальнейшего разъяснения понятия "следование", и так далее.

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

Теперь мы можем вернуться к вопросу о том, из чего состоит наше "определенное привилегированное множество утверждений"; каков, вообще говоря, его эпистемологический статус? Это не может быть множество всех утверждений, так как это множество будет содержать противоречащие пары утверждений и, таким образом, ничто не было бы истинно. И это не может быть подмножество только истинных утверждений, потому что мы еще не располагаем анализом истины, и здесь возник бы порочный круг.

Пустовит А. В.

Латинское слово cohaerentia означает «внутренняя связь» или «связность».

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

Более двух тысяч лет геометрия Евклида считалась образцом точной и строгой науки, в которой с безупречной отчетливостью истины отделены от лжи. В XIX в. ситуация изменилась, в истории математики произошло великое событие: четырьмя выдающимися математиками, – Гауссом, Больяем, Лобачевским и Риманом, – были построены неевклидовы геометрии.

До самого конца XVIII в. математики пытались доказать постулат о параллельных (см. Лекцию 2), т. е. вывести его из других постулатов и аксиом. Попытки оказались неудачными.

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

При своем появлении неевклидовы геометрии казались бессодержательными, хотя и изящными, формальными знаковыми построениями. Понадобилось около полувека, чтобы найти ту сферу действительности, где неевклидова геометрия применима [Берков В. Ф., Яскевич Я. С., Павлюкевич В. И. Логика. – Минск, 2002, с. 214] .

В 1868 г. итальянский математик Э. Бельтрами (1835 – 1900) в своей работе «Опыт интерпретации неевклидовой геометрии» показал, что существуют реальные тела, на поверхности которых выполняется геометрия Лобачевского: оказалось, что в евклидовом реальном мире имеются объекты неевклидовой природы, – это поверхности отрицательной кривизны, в частности, псевдосфера .

Аксиома параллельности играет в геометрии фундаментальную роль, определяя разделение геометрии на две логически непротиворечивые и взаимно исключающие друг друга системы: евклидову и неевклидову геометрии [Ильин В. А., Позняк Э. Г. Аналитическая геометрия. – М., 1971, с. 222] . Даже в математике, – этой образцово точной и строгой науке, – единственность доказанной истины оказалась утраченной!

Таким образом, в соответствии с двумя разными системами аксиом были построены две неевклидовы геометрии. Вполне понятно, что и теоремы этих двух геометрий оказались разными, отличающимися и друг от друга и от теорем геометрии Евклида: например, в геометрии Евклида сумма внутренних углов треугольника равна 180 градусам, у Римана она больше, у Лобачевского – меньше [Концепции современного естествознания. Под ред. проф. В. Н. Лавриненко и проф. В. П. Ратникова. – М., 2002, с. 148] .

Разумеется, встал вопрос об истинности трех различных геометрий.

Какова геометрия реального мира? Какой геометрией следует пользоваться при решении проблем прикладного знания, – например, физики и астрономии? Нельзя ли обратиться к практике для решения этого вопроса?

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

Согласно общей теории относительности, геометрические свойства пространства не самостоятельны: они обусловлены материей…

Из предшествующих рассуждений мы уже знаем, что поля тяготения, т. е. распределение материи, влияют на поведение часов и масштабов. Отсюда уже ясно, что не может быть и речи о точной применимости эвклидовой геометрии в нашем мире. Однако мыслимо, что наш мир мало отклоняется от эвклидова; это предположение допустимо, поскольку, согласно расчету, даже массы порядка массы нашего Солнца лишь совершенно незначительно влияют на метрику окружающего нас пространства. Можно представить себе, что наш мир по своим геометрическим свойствам подобен поверхности, неравномерно искривленной в некоторых частях, нигде, однако, не отклоняющейся значительно от плоскости, и похож на поверхность слабо волнующегося моря… [А. Эйнштейн . О специальной и общей теории относительности (Общедоступное изложение). В кн.: Эйнштейн А. Физика и реальность. – М., 1965. Стр.222 – 223]

Итак, наш мир, по Эйнштейну, является квазиэвклидовым.

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

Геометрия Евклида – это геометрия плоского (неискривленного) пространства; геометрия Лобачевского (гиперболическая геометрия) – геометрия пространства отрицательной кривизны; геометрия Римана – эллиптическая геометрия, она реализуется в пространстве положительной кривизны. Ей соответствуют построения на поверхности шара или эллипсоида [Гильберт Д., Кон-Фоссен С. Наглядная геометрия. – М., 1981, с. 235 – 242]

Геометрия Евклида – частный случай неевклидовой (римановой) геометрии.

Вот что пишет об особенностях римановой геометрии математик М. Клайн:

«Чтобы постичь геометрию Римана, нужно усвоить сначала, что вся геометрия определяется тем, что выбрано за расстояние между двумя точками. Это можно без труда показать. Рассмотрим три точки на поверхности Земли. За расстояние между любыми двумя из них можно принять длину обычного прямолинейного отрезка, который соединяет их под землей. В этом случае получится треугольник, обладающий всеми свойствами обычного евклидова треугольника. Сумма его углов, в частности, равна 180 градусам. Можно было бы, однако, взять за расстояние между любыми двумя из этих точек расстояние по поверхности Земли, понимая под ним длину дуги большого круга, проходящего через эти точки. В этом случае три наши точки определят так называемый сферический треугольник. Такие треугольники обладают уже совершенно иными свойствами. Сумма их углов, к примеру, может изменяться в пределах от 180 до 540 градусов. Этот результат относится к сферической геометрии» [Клайн М. Геометрия. – Математика в современном мире. – М., 1967, с. 58] .

«Общая теория относительности показала, что в основу рационального описания физической действительности должна быть положена не обычная евклидова геометрия, а более общая риманова геометрия» [Гильберт Д., Кон-Фоссен С. Наглядная геометрия. – М., 1981, с. 174] .

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

Это похоже на построения великого философа XV в. Николая Кузанского: прямое и кривое (дуга окружности и хорда) – это противоположности; прямое не есть кривое, кривое не есть прямое. Однако если окружность имеет бесконечно большой радиус, то дуга такой окружности превращается в отрезок прямой. (Более точно это можно сформулировать следующим образом: Чем больше радиус окружности и чем меньше взятый нами отрезок дуги, тем меньше этот отрезок дуги отличается от отрезка прямой ). Таким образом, прямое есть частный случай кривого .

Кривое превращается в прямое , когда в игру вступает бесконечность !

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

Итак, имеет место совершенно удивительная ситуация: теоретически евклидова и неевклидовы геометрии принципиально различны, основаны на различных системах аксиом и взаимно исключают друг друга, как прямое и кривое, как плоскость и сфера (прямое не есть кривое, плоскость не есть сфера). Однако практически , в аспекте эксперимента и вычислений, они приводят почти к одним и тем же результатам (формулы неевклидовой геометрии переходят в формулы евклидовой, когда кривизна пространства стремится к бесконечности [ Малая математическая энциклопедия. – Будапешт, 1976, с. 346] ): геометрия реального мира, по Эйнштейну, есть геометрия на сфере (эллиптическая, риманова геометрия), но радиус этой сферы так велик, что фрагмент ее поверхности почти неотличим от плоскости.

[Все это заставляет вспомнить армейский анекдот:

– Товарищ лейтенант, крокодилы летают?

– Нет.

– А товарищ генерал говорил, что летают!

………………………………………………

– Да, летают! Но очень низко!]

Это похоже на положение дел, например, в архитектуре. Планета Земля, на которой архитектор строит здание, – круглая . Ее поверхность близка к сфере. Однако радиус Земли так велик по сравнению с размерами здания, что архитектор вправе считать поверхность Земли плоской , – тот маленький участок земной поверхности, который нужен ему, практически неотличим от плоскости. Строго говоря, геометрия на сфере – риманова геометрия; но если нам нужен совсем маленький участок сферы, то вполне хорошо работает евклидова геометрия, являющаяся частным случаем римановой. Таким образом, и евклидова, и неевклидовы геометрии способны описывать действительность [Фрид Э., Пастор И., Рейман И., Ревес П., Ружа И. Малая математическая энциклопедия. – Будапешт, 1976, с. 347] .

Великий математик ХХв. А. Пуанкаре заключает:

«Если… мы обратимся к вопросу, является ли евклидова геометрия истинной, то найдем, что он не имеет смысла. Это было бы все равно, что спрашивать, какая система истинна – метрическая или же система со старинными мерами, или какие координаты вернее – декартовы или же полярные. Никакая геометрия не может быть более истинна, чем другая; та или иная геометрия может быть только более удобной » [Пуанкаре А. Наука и гипотеза. – Пуанкаре А. О науке. – М., 1990, с. 49]

Нечто подобное пишет и Б. Рассел:

«Один набор аксиом – эвклидов; другие такие же хорошие наборы аксиом ведут к другим результатам. Насколько эвклидовы аксиомы верны – это вопрос, к которому чистый математик безразличен. Более того, на этот вопрос теоретически невозможно дать определенный утвердительный ответ» [Рассел Б. Философский словарь разума, материи, морали. – К., 1996, с.59] .

Подведем итог сказанному. Осознав независимость аксиомы Евклида о параллельных от остальных аксиом евклидовой геометрии, математики сумели построить несколько неевклидовых геометрий: «работа над аксиомой о параллельных привела к расчленению единого потока развития геометрии на множество рукавов… Геометрия, дотоле единая, разделилась на несколько одинаково истинных геометрий. Дальнейшее развитие математики не только не отменило этот результат, но всесторонне подтвердило и обосновало его: существует не одна, а много математик», – формулирует М. Клайн [Клайн М. Математика. Утрата определенности. – М., 1984, с. 313-314] .

Вот как он характеризует современное состояние математики:

«Стало ясно, что представление о своде общепринятых, незыблемых истин – величественной математике начала XIX в., гордости человека – не более чем заблуждение. На смену уверенности и благодушию, царившим в прошлом, пришли неуверенность и сомнения в будущем математики. Разногласия по поводу оснований самой «незыблемой» из наук вызвали удивление и разочарование (чтобы не сказать больше). Нынешнее состояние математики – не более чем жалкая пародия на математику прошлого с ее глубоко укоренившейся и широко известной репутацией безупречного идеала истинности и логического совершенства… Один из величайших математиков ХХ в. Герман Вейль сказал в 1944 г.: „Вопрос об основаниях математики и о том, что представляет собой в конечном счете математика, остается открытым… „Математизирование” может остаться одним из проявлений творческой деятельности человека, подобно музицированию или литературному творчеству, ярким и самобытным, но прогнозирование его исторических судеб не поддается рационализации и не может быть объективным”» [Клайн М. Математика. Утрата определенности. – М., 1984, с. 15 – 16] .

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

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

Вот как характеризует структуру научного знания выдающийся мыслитель ХХ в. К. Поппер:

«В эмпирическом базисе объективной науки нет ничего «абсолютного». Наука не покоится на твердом фундаменте фактов. Жесткая структура ее теорий поднимается, так сказать, над болотом. Она подобна зданию, воздвигнутому на сваях. Эти сваи забиваются в болото, но не достигают никакого естественного или «данного» основания. Если же мы перестали забивать сваи дальше, то вовсе не потому, что достигли твердой почвы. Мы останавливаемся просто тогда, когда убеждаемся, что сваи достаточно прочны и способны, по крайней мере некоторое время, выдерживать тяжесть нашей структуры» [цит. по: Ивин А. А. Логика. – М., 2004, с. 252] .

Итак, когерентная концепция истины тоже не свободна от трудностей. Одной только логической связности, самосогласованности знания еще недостаточно для признания его истинным. Артур Конан Дойл, написавший цикл рассказов о Шерлоке Холмсе, создал целостный и непротиворечивый мир. Каждый новый рассказ добавлял в него еще больше достоверности. Однако не можем же мы в оценке истинности этого мира уподобляться тем простодушным читателям, которые посылали письма на Бейкер-стрит, полагая, что там живет реальный Шерлок Холмс! [Философия. Учебник. Под ред. В. Д. Губина, Т. Ю. Сидориной, В. П.Филатова. – М., 1998, с. 168] .

Доказательность возможна только в пределах системы аксиом, а таких систем может быть много, и, соответственно, доказанных истин тоже оказывается много.

Представим себе, что у нас имеется некая логически согласованная система знания. Если заменить в ней все суждения на противоположные, то опять можно получить логически связанную и целостную систему знания. Таким образом, окажется, что одинаково хорошо обоснованы истины, противоположные друг другу (см. напр.: Пустовит А. В. Этика и эстетика. С. 666 – 669).

Когерентная теория истины

Блинов А.К.

По мнению Р.Уокера, основных предпосылок, приводящих к когерентизму, три.

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