Теория истины

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

Для того, кто  понимает единство абсолютного и  относительного в человеческих знаниях, одинаково неприемлемы как догматизм, возводящий относительные истины в абсолют, превращающий их в незыблемые, не подлежащие никаким изменениям догмы, так и релятивизм, провозглашающий, что все наши знания только относительны и не содержат в себе ничего абсолютного (следовательно, и объективного).

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

К размышлению. Бывают времена, когда догматизм или скептицизм входят в моду и становятся чуть ли не само собой разумеющимися установками общественного сознания. Религиозные догмы долгое время казались незыблемыми абсолютными истинами. В Советском Союзе считалось недопустимым какое бы то ни было сомнение в абсолютной правильности марксизма-ленинизма. Сейчас в нашей стране стало модным скептическое отношение к любым истинам, а свободу слова многие понимают как право требовать, чтобы любые мнения и точки зрения считались равноценными: ведь если все знания относительны, то утверждения современной науки ничем не лучше древних мифов и бредовых вымыслов насчет «снежного человека», «сглаза» или «венца безбрачия». Но истина не похожа на гоголевскую «даму, приятную во всех отношениях». Познание ее -- нелегкое дело. Для открытия истины нередко нужен особый талант, для понимания ее -- специальное образование и упорные размышления, а для ее зашиты и отстаивания перед догматиками, не воспринимающими никаких доводов, брюзжащими скептиками и просто невеждами требуются воля и мужество. Гораздо легче поддаться заблуждению, чем докапываться до истины.

3. Проблема критериев истины

Как отличить истину от заблуждения или лжи? Это -- вопрос о критериях истины.

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

Необходимо  различать определение истины и критерий истины. Определение указывает, что такое истина. Но, зная ее определение, мы должны еще уметь ее находить, т. е. каким-то образом устанавливать, что некоторая информация является (или не является) истиной.

Чтобы пояснить, в чем состоит разница между определением какой-либо вещи и критериями (методами, признаками, тестами) для ее узнавания, обратимся к аналогии. Врач, зная, что такое СПИД, не всегда может распознать его. Потому что одно дело -- понимать сущность болезни, а другое -- владеть способом, методом ее диагностики, уметь установить, есть ли у больного ее признаки, симптомы.

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

Поскольку истинность знания означает его соответствие предмету, постольку для установления истинности необходимо сопоставить, сличить знание с этим предметом (подобно тому, как сравнивают копию с оригиналом). Решение этой задачи наталкивается на ряд трудностей.

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

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

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

Существуют  и иные подходы к преодолению  указанной трудности, но они также  не решают ее.

Главной гносеологической проблемой является то, что «напрямую», непосредственно, сличить знание с  его предметом можно только тогда, когда дело касается идеальных объектов, представленных в нашем сознании (Предмет-2 и Предмет-3 на рис. 8.7). Если же предметом знания служит материальный объект, то ситуация существенно меняется: непосредственное сопоставление знания с объектом представляется невозможным -- по той причине, что знание находится в нашем уме, а материальный объект -- вне его. В самом деле, мы воспроизводим объект в сознании только в том виде, в каком мы его знаем, и сопоставляем лишь одно знание о нем с другим.

Кант по этому  поводу замечает: «Ведь так как  объект находится вне меня, а знание во мне, то я могу судить лишь о том, согласуется ли мое знание об объекте с моим же знанием об объекте».

Математик и  философ К. Пирсон (1857-1936) иллюстрирует эту ситуацию, сравнивая мозг человека с телефонистом, который никогда не покидал телефонной станции, никогда не видел своих абонентов и никогда вообще не имел контактов с внешним миром помимо телефонного провода. По мнению Пирсона, «такой телефонист никогда не в состоянии был бы составить себе непосредственное впечатление об этом "действительном" мире вне его; действительный мир сводился бы для него к совокупности конструктов, созданных им на основании полученных по проводам сообщений».

С таких позиций  даже не столь уж важно, как толкуется  соответствие между знанием и его предметом: все равно в процессе познания приходится сопоставлять одно знание о нем с другим, т. е. устанавливать соответствие не между знанием и предметом «самим по себе», взятом вне нашего знания о нем, а лишь между знаниями (образами, мыслями, суждениями и пр.).

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

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

4. Логический критерий

Для того чтобы  увидеть путь преодоления рассмотренных выше трудностей, примем во внимание следующее соображение (называемое принципом наблюдаемости): «Если объект наблюдается, по крайней мере, двумя различными и притом независимыми друг от друга способами, то закономерная зависимость результатов наблюдения друг друга при независимости самих наблюдений может быть рационально понята только при допущении существования некоторого объекта, независимого от этих наблюдений». И более того, если полученные разными путями знания о достаточно сложном объекте согласуются, то «их случайное совпадение практически невероятно», и раз они все же совпадают, то есть основания полагать, что это обусловлено их соответствием объекту.

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

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

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

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

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

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

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

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

Например, суждение «Все карлики имеют малый рост» -- аналитическое: свойство низкорослости подразумевается в самом понятии «карлик». Достаточно проанализировать смысл данного понятия, чтобы убедиться в этом. Суждение «Все карлики любят сладости» -- синтетическое: понятие «карлик» не предполагает любви к сладостям. Этот признак синтезируется с содержанием данного понятия, присоединяется к нему.

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

В самом деле, высказывание «Все карлики низкорослы»  истинно «по определению», но отсюда еще не вытекает, что на свете есть хотя бы один карлик.

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

Аналитическое знание извлекает информацию из содержания уже имеющихся у нас понятий. Аналитические суждения часто тривиальны и просто выражают то, что вытекает из самого определения этих понятий («электрон имеет отрицательный заряд», «в квадрате диагонали взаимно перпендикулярны»). Если понятия достаточно сложны, то путем их логического анализа можно получить и далеко не тривиальные выводы (как это делается в математике, например: sin 2 ? = 2 sin ?·cos ?). Но в любом случае аналитическое знание не выходит за рамки имеющихся понятий и не вносит принципиальных изменений в их содержание.

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