Войти в систему
Войти с помощью соц. сетей:
Ничто в мире, ни объекты, ни события, не были бы истинным или ложным, если бы не существовали мы, существа, способные размышлять.
Дональд Дэвидсон
Во многом проблема достоверности наших знаний о мире определяется ответом на фундаментальный вопрос теории познания: «Что есть истина?». Что истина являет собой? Этот вопрос, пожалуй, можно назвать одним из самых основных в философии и науке, которые постоянно находятся в поисках истины. Наука ищет правду. Искусство ищет красоту. Общество ищет справедливости. Истина главенствует над этими тремя объектами поиска.
Можно сказать, что синонимом термина «истина» является слово «правда». В значении «истина» слово «правда» употребляется условно, хотя этот термин обусловлен субъективным восприятием самой правды. В языке у этих двух понятий сформировались следующие основные значения: правда – это знание конкретного, фактического эпизода действительности. Это знание, скорее всего, является неполным, так как перед человеком в данном случае открывается лишь часть, а не целое. Истина же – всеобъемлющее знание интеллектуальной сферы. Истина близка, скорее, к общемировым законам бытия. Правда – понятие более приземленное, в то время как истина – возвышенное, всеобъемлющее.
Правда субъективна, истина объективна. Как правило, в научном сообществе употребляется термин «истина» и, несмотря на то, что понятие «правда» тоже используется в значении «истина», оно является более бытовым.
Истина – определенная философская характеристика мышления в отношении к предмету. Мысль является истиной, если она соответствует предмету. В общем понимании истина – это знание, соответствующее своему предмету, совпадающее с ним. В философии, общественно-гуманитарных и естественных, технических науках под истиной подразумевается соответствие положений некоторому критерию проверяемости. Как правило, ученые выделяют абсолютную и относительную истины, а также ряд критериев, удостоверяющих ее и позволяющих отличить от заблуждения. Эти критерии включают в себя соответствие законам логики, ранее открытым законам науки, фундаментальным законам; простоту, экономичность формулы, парадоксальность идеи, практику.
Истина находится там же, где начинается нечеткая логика. Проблема рассоединения, которую мы рассмотрели ранее, – проблема серого мира, но черно-белого его описания и характеристик, сводится к проблеме поиска истины, проблеме поиска серой истины. Двухвалентность современной науки игнорирует или же вовсе отрицает серую истину. Такая научная тактика приводит лишь к парадоксам и различного рода недоразумениям и внутринаучным противостояниям. Нечеткая логика придерживается мнения и гласит, что истина – серая, нечеткая. Это позволяет математическим истинам, так или иначе, придерживаться своих крайних оттенков серого – черного и белого.
Повторимся, сторонники нечеткой логики утверждают, что научные истины серы. Двухвалентная же наука утверждает, что это не так, выступая за то, что научные истины – неопределенные и колеблющиеся величины, а также, что они, в любой момент разрушенные новыми данными и доказательствами, могут превратиться из истинных в ложные. Сторонники нечеткой логики не имеют ничего против того, что научные истины неопределенны, но при этом продолжают быть твердо уверенными в том, что они расплывчаты и нечетки. Именно в этом и заключается основной конфликт, касающийся научных истин. Серость. Нечеткость. Существует она или нет? И, если она действительно имеет место, то до какой степени?.. Чтобы лучше разобраться в данном вопросе, для начала нам стоит углубиться в философские концепты истины.
В современной философии поиски правды сводятся к ее свойствам и тому как она себя ведет и какую тень отбрасывает на математику. Здесь, непременно, возникает сразу два вопроса: к чему восходит истина и какие именно вещи или предметы истинны или ложны? Ответ на эти вопросы прозвучит одинаково: утверждения. Истина восходит и ссылается на утверждения, которые мы делаем, записываем или провозглашаем. В связи с тем, что мы фокусируемся на утверждениях, рамки анализа истины сужаются: мы видим истину как систему показателей, систему серых показателей.
Заявления в любом случае заключают в себе истину. Что же такое заявления? Заявления утверждают конкретные факты или констатируют состояние дел. Заявления предлагают описания объектов или явлений. На практике наши заявления превращаются в разговорные фразы, описывающие конкретное событие, например, если кто-то рядом с вами разобьет стакан, вы воскликнете: «Стакан разбился!» или же «Там разбился стакан!».
Когда девочка-подросток внезапно перекрашивает свои волосы в ярко-зеленый цвет, политик надевает кроссовки или знаменитость появляется в солнечных очках в закрытом помещении, мы комментируем это: «Серьезное заявление с его/ее стороны!». Но здесь слово «заявление» употребляется несколько в другом значении, нежели в том, о котором говорим мы в данном контексте. Мы говорим о заявлениях, претендующих на то, чтобы сделать конкретные утверждения. Иными словами, сделать заявление будет означать то же самое, что и сделать утверждение, в то время, как сделать утверждение – это просто-напросто что-либо сказать.
Представьте себе обычный камень, лежащий на дороге. Сам по себе камень не является истиной, он просто существует, лежит на дороге. Но если мы скажем, что «камень твердый», то это уже будет истиной. Мы пользуемся подходящими средствами и источниками для того, чтобы убедиться в том, что камни – твердые, и с уверенностью делаем заявление, что этот камень – твердый. Заявление о том, что камни твердые, описывает возможный факт, гипотезу, претендующую на признание. То же самое относится ко всем заявлениям об объектах, находящихся во временно-пространственном континууме. Мы соглашаемся с гипотезой в том случае, если наш прошлый или настоящий опыт доказывает ее правдивость и состоятельность; если наш опыт подтверждает то, что выдвинутое заявление полностью верно, то мы доверяем ему и используем его.
На практике заявление и предложение можно смело считать одним и тем же, важно лишь их содержание. Предложение в речи можно считать просто средством для выражения заявления.
Заявления описывают мир. Помимо этого заявления могут описывать возможные существующие миры. Более того, заявления могут содержать в себе утверждение или отрицание существования одного из возможных описываемых миров. Заявление – это утверждение и описание одновременно. Если кто-то сказал: «Сегодня шел дождь», то он утверждал, что в этот день на улице прошел ливень. Картина, написанная художником и изображающая этот самый ливень, делает своеобразное заявление в художественном смысле, но никак не в научном, имеющем дело непосредственно с самой истиной; само собой, так происходит, потому что картина несет в себе качественно другой посыл зрителю, скорее эстетический, нежели информативный, призванный удостоверить наблюдателей, что в конкретный день в городе прошли ливневые дожди. Картина лишь описывает событие, но не делает утверждения о нем.
Большинство современных ученых – бихевиористы. Именно поэтому они определяют заявления как то, что мы либо утверждаем, либо отрицаем. Мы соглашаемся либо не соглашаемся с заявлением, когда слышим его. Бихевиористский подход рассматривает мысль как беззвучную речь, молчаливые заявления.
Заявления обладают большим количеством свойств помимо истинности или ложности. Им присущи различные свойства, например, такие, как длина и количество слов внутри них, пунктуация, модальность и временное отношение. Также заявления могут обладать такими свойствами, как ясность, ирония.
Подход, рассматривающий истину как систему показателей, игнорирует значение заявлений. Он просто-напросто приписывает заявлению тот или иной показатель.
Философы выделяют логическую истину и фактическую истину. Логическая относится к заявлениям и утверждениям, которые описывают логические или математические взаимоотношения, например, такие, как «Факт А или не факт А», «1 + 1 = 2». Предложение «1 = 2» – логического типа, но логически неверно, соответственно, оно является противоречием. Логическая истина происходит из символов и их формальных отношений и абсолютно никак не зависит от внешнего мира.
Фактическая истина восходит к заявлениям, которые описывают возможные факты или случаи в пространственно-временном континууме. Эти утверждения включают в себя такое утверждение, как «Сегодня шел дождь», но при этом утверждение «Дождь является дождем» фактом считаться не будет, поскольку будет являться логической истиной, тавтологией, правдой, но правдой лишь потому, как расположены слова в данном предложении.
Философы последовали за мыслью Аристотеля и стали заявлять, что фактические истины в некоторых случаях верны, в некоторых случаях ложны. Аристотель называл фактическую истину случайностью, а логическую истину необходимостью. Логические истины правдивы в любых случаях. Логические ошибки неверны в любых случаях. Философы часто используют «возможные миры» для определения логической и фактической истин. Возможный мир – это возможный пространственно-временной континуум, расположение атомов и молекул, математический мир.
Наш пространственно-временной континуум, все, что мы знаем о пространстве и времени, определяет один возможный мир, фактический существующий мир – наш мир. Тогда логически истинное заявление является истинным утверждением во всех возможных мирах. Фактические заявления являются утверждениями истинными в каком-то возможном мире, возможно, только в этом. С этой точки зрения способ добавления и умножения чисел должен работать во всех возможных мирах. «Законы» логики и математики должны распространяться на все миры. Но могут существовать миры, в которых нет радио и телевизионных сигналов, потому что физические «законы» электромагнетизма не должны иметь места во всех мирах.
Раскол между логической истиной и фактической истиной основан на двух широко известных теориях истины, теории когерентности и корреспондентской теории истины. Например, логическая истина относится к теории когерентности истины. Утверждение «1 + 1 = 2» истинно, потому что мы когерентно, т. е. соотнесенно, применяем правила математики.
Все теории можно разделить на дающие реальное определение истине и устанавливающие правила употребления слова «истина». Корреспондентская теория истины гласит, что истина – это соответствие мысли или высказывания и действительности – представление, предельно адекватное или совпадающее с реальностью (согласно Аристотелю, средневековой философии, философии Нового времени).
Согласно когерентной теории, истина – это характеристика непротиворечивого сообщения, свойство согласованности знаний. Истина требует, чтобы элементы должным образом соответствовали всей системе. Поэтому необходимо, чтобы суждения в когерентной, т. е. целостной системе, поддерживали друг друга. Поэтому полнота и всесторонность основного набора понятий является критически важным фактором в оценке достоверности и полезности целостной системы. Важным принципом когерентной теории является идея о том, что истина – это прежде всего собственность системы утверждений, и может быть присвоена отдельным утверждениям только при условии их согласованности с целой системой. В сущности, когерентная теория исходит из рациональной интуиции.
Математика сама по себе не истинна и не ложна. Математика – формальная система. Мы можем манипулировать математическими символами и не понимать, что они означают. Мы можем просто применять правила, как компьютер, когда он прибавляет числа или доказывает теорему. Компьютер дает нам верное понимание теоремы, но не «понимает» ее смысл.
Все формальные системы работают таким образом. Вам не нужно их интерпретировать для того, чтобы применять. Пропозициональная логика и такое заявление, как «Сократ – человек», является формальным языком. Синтаксические правила управляют своими утверждениями или «правильно сформированными формулами». Логика с таким утверждением, как «Все люди смертны», также является формальным языком. Компьютерные языки Ada, Basic, С, Fortran, Pascal – это все формальные языки, хотя они, как правило, развиваются неформальными способами для удовлетворения нужд программистов. Утверждения верны на официальном языке, если они подчиняются правилам, если они совпадают с правилами.
Корреспондентская теория истины гласит, что утверждение верно, если оно соответствует факту. «Земля вращается» – это верно, потому что Земля вращается. Это заявление было бы неверным, если бы планета Земля не вращалась, так как в один прекрасный день она может перестать вращаться. Польско-американский математик, логик, основатель формальной теории истинности Альфред Тарский известен своей цитатой-формулой истины: утверждение истинно и правдиво только в том случае, если заявляемый факт имеет точно определенный смысл». Также он отмечал, что «рассуждение, которое кажется вполне убедительным одному лицу, другому лицу даже непонятно».
Изречения Альфреда Тарского подчеркивают утвержденное описание. То есть, например, утверждение «трава зеленая» будет считаться верным, только когда трава действительно зеленая.
Корреспондентская и когерентная теории истинности отражают математику и науку, логику и факты, необходимость и возможность. Философы, лингвисты и ученые-программисты написали тысячи статей и книг о разделении логики и факта.
Эрнест Хемингуэй утверждал, что цель литератора – написать одно истинное предложение. Конечно же, он вовсе не подразумевал бивалентную фактическую правду, как могли бы интерпретировать его слова современные философы и ученые; в таком случае Хемингуэй мог бы достичь своей цели, еще будучи ребенком, написав предложение «Меня зовут Эрнест Хемингуэй». Он также не подразумевал под сказанным им двухвалентную логическую истину. Что же хотел сказать Хемингуэй?
Хемингуэй имел в виду точность описания. Он имел в виду точное соответствие, точное совпадение слова с объектом, теорию с фактом. Он имел в виду сферу нечеткой фактической истины, в рамках которой мы думаем, пишем и занимаемся наукой.
Нечеткая логика рассматривает истину как точность. А точность, в свою очередь, – понятие относительное, понятие степеней. Точные математические заявления либо на 100 % верны, либо абсолютно неверны. Заявления и утверждения о мире находятся между 100 % и 0 %. На протяжении десятилетий сторонники нечеткой логики разрабатывали огромную математическую машину, которая оперирует этими степенями точности. Нечеткая математика всегда приходит к черно-белым границам в крайних случаях.
Истина, как и точность, снова отсылает нас к проблеме рассогласования описания серого мира черно-белым путем. Эйнштейн был прав: логические доказательства идут вразрез с научными исследованиями. Если мы можем доказать заявление на 100 %, то оно не способно описать мир. И, если оно описывает мир, то мы не можем абсолютно доказать это заявление. Мы можем доказать только математические и логические вещи. Доказательные техники плохо применимы к реальному миру: математика точна, в то время как мир неточен.
Описания делятся на группы: логические и фактические; математические и научные; корреспондентные и последовательные. Это разделение зависит от точности. Логические заявления либо абсолютно неточны, либо абсолютно точны. Все или ничего. Фактические заявления частично точны или частично неточны.
Логическое и фактическое не пересекается. Это привело к тому, что философы видят логические истины лишь как крайности на гранях фактических истин точно так же, как черное и белое может выражать крайние степени серого оттенка.
Выглядит иронично, но неточность занимает важное место в науке. Ни одна научная гипотеза и ни одна научная теория не может быть на 100 % точной. Статус 100 %-ной истины присущ только математике, логике и тавтологии. Неточность пронизывает науку насквозь. Цель науки – максимально исключить неточность, исключить ее настолько, насколько возможно. Даже если бы мы исключили всю нечеткость и размытость из утверждений, проблема бы все равно имела место. Ученые постоянно стремятся к точности и четкости.
Итак, «премия Хемингуэя» могла быть присуждена тому кто сделает такое утверждение о факте, которое на 100 % истинно или на 100 % ложно. Чтобы получить эту награду, ученый должен доказать точное соответствие между словами, объектами и даже их молекулами. Затем он должен подтвердить, что факт соответствует заявлению. После этого ученому будет необходимо доказать, что факт ровно на 100 % точно соответствует заявленному им. Это означает, что необходимо применить научный метод для проверки гипотезы.
Западные философы стали большими энтузиастами в конкуренции за так называемую «премию Хемингуэя» с первых дней появления философии. Впрочем, вся философия сводится к тому, чтобы делать «определенные» утверждения о мире, делая логические заявления о фактах, пытаясь «доказать» немотивированные умозаключения. Идеализм и эмпиризм проистекают из попыток доказать утверждение «мир реальный» или «мир существует». Как вы проверите данную гипотезу? Мыслительные доказательства составляют идеалистическую категорию тестовых процедур: «Только идеи реальны, и у меня есть идеи», – как сказал однажды Платон.
Войти с помощью соц. сетей: