Текст книги "Философия науки. Учебное пособие"

Глава 4
Нормы и идеалы науки

1. Различие норм и идеалов науки

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

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

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

Норма является императивным, повелевающим представлением, идеал – это прежде всего ценностное представление, так как им утверждается определенное, положительное содержание научной деятельности.

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

2. Реализм и эмпиризм

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

Иногда вместо термина «реализм» используется термин «объективность»: «Краеугольным камнем научного метода является постулат о том, что природа объективна» (Ж. Моно). Однако, как отмечает К. Лоренц, в «постулате объективности» содержатся на самом деле два разных постулата, один из которых относится к объекту научного поиска, а другой имеет в виду самого ученого. Прежде всего, очевидно, следует допустить материальное существование самого объекта исследования, если исследование рассчитывает иметь какой-нибудь смысл. В то же время объективность предполагает определенные, лежащие на ученом обязанности, требующие непредвзятого анализа исследуемого объекта. Эти обязанности нелегко поддаются явному определению.

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

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

3. Обоснованность научного знания

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

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

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

Иногда утверждается, что требование обоснованности знания впервые сформулировал в ХVII в. Г. В. Лейбниц. Это неточное утверждение. Требование обоснованности знания в достаточно ясной форме обсуждалось еще Платоном и Аристотелем, хотя и не получило в древности никакого собственного имени.

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

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

Особенности научного обоснования

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

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

– ни одно положение и ни одна теория не принимаются в науке без обоснования;

– обоснование всегда направлено не только на подтверждение нового положения или теории, но и на его опровержение;

– процесс обоснования представляет собой преимущественно критику выдвинутого положения, поиск уязвимых его мест;

– только положения или теории, выдержавшие всесторонний критический натиск, имеют право быть принятыми в качестве научных;

– сколь бы очевидным не представлялось то или иное научное положение или теория, открытая или неявная критика никогда не прекращается;

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

– процесс обоснования научных положений является, в сущности, бесконечным;

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

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

– ключевую роль в научном обосновании играет опыт, или эмпирическое обоснование;

– не только теоретическое знание по своей природе гипотетично и никогда не станет абсолютно надежным, но и те эмпирические данные, что лежат в его основании, так же гипотетичны и периодически требуют пересмотра и нового подтверждения;

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

– не только теоретическое знание по своей природе гипотетично и никогда не станет абсолютно надежным, но и те эмпирические данные, что лежат в его основании, так же гипотетичны и периодически требуют пересмотра и нового подтверждения;

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

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

– не существует никаких особых, характерных только для науки способов обоснования;

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

– вместе с тем научный метод предполагает определенную систему способов обоснования: эмпирическое обоснование предпочтительнее обоснования путем ссылки на другие, уже принятые положения;

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

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

Иерархия способов обоснования научного знания

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

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

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

Абсолютное и сравнительное обоснование

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

Абсолютное обоснование — это приведение убедительных, или достаточных, оснований, в силу которых должно быть принято обосновываемое положение.

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

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

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

Например, выражение «Следует принять, что небо в обычных условиях голубое, поскольку в пользу этого говорит непосредственное наблюдение» – абсолютное обоснование, точнее, его результирующая часть. Выражение же «Лучше принять, что небо синее, чем принять, что оно красное, основываясь на положениях физики атмосферы», – это результирующая стадия сравнительного обоснования утверждения «Небо синее, а не красное».

Различие между абсолютным и сравнительным обоснованиями является принципиальным. В случае первого обоснованность приписывается отдельному утверждению и выступает как его свойство: «Обосновано положение А» или «Положение А является обоснованным». При сравнительном обосновании обоснованность оказывается уже отношением между утверждениями: «Положение А более обоснованно, чем положение В». Иными словами, абсолютное обоснование является абсолютной оценкой какого-то утверждения, взятого само по себе; сравнительное обоснование – это сравнительная оценка, связывающая между собой два утверждения.

Если мы говорим, к примеру, что розы – хорошие цветы, мы однозначно приписываем розам позитивную ценность. Но если утверждается, что розы лучше гладиолусов, это не означает, что розы считаются хорошими: и розы, и гладиолусы могут оцениваться нами негативно, и вместе с тем мы отдаем предпочтение розам. И ложь, и воровство являются предосудительными, негативно ценными. Но можно сказать, что лгать все-таки лучше, чем воровать, хотя и то, и другое плохо.

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

К примеру, если кто-то полагает, что лучше принять, что небо синее, чем принять, что оно зеленое, из этого не следует, что небо в самом деле синее, а не голубое.

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

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

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

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

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

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

4. Логическая последовательность

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

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

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

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

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

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

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

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

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

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

Из истории логики

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

История логики насчитывает около двух с половиной тысяч лет. Раньше логики возникли, пожалуй, только математика, философия и теория аргументации, называвшаяся в древности «риторикой».

Историю логики можно разделить на два основных этапа. Первый продолжался более двух тысяч лет, в течение которых логика развивалась очень медленно. Это дало повод И. Канту заявить, что логика, подобно геометрии, не имеет собственной истории и со времен Аристотеля не продвинулась ни на один шаг. Второй этап начался в XIX в., когда в логике произошла научная революция, в корне изменившая ее лицо. Это было обусловлено прежде всего проникновением в нее математических методов. На смену старой логике, обычно называемой традиционной, пришла современная логика, именуемая также математической, или символической. Эта новая логика не является, конечно, логическим исследованием исключительно математических доказательств. Она представляет собой современную теорию всякого правильного рассуждения, независимо от того, о каких объектах мы рассуждаем.

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

Закон противоречия

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

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

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

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

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

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

Доказательство

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

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

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

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

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

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

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

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

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

Широкое понимание доказательства

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

Как правило, широко понимается доказательство и в науке. Для подтверждения выдвинутой идеи активно привлекаются факты, типичные в определенном отношении явления и т. п.

Широкое употребление понятия доказательства само по себе не ведет к недоразумениям. Но только при одном условии. Нужно постоянно иметь в виду, что обобщение, переход от частных фактов к общим заключениям, дает не достоверное, а лишь вероятное знание.

Современная логика

Революция в логике в конце ХIХ – начале ХХ в. привела к возникновению на стыке таких двух разных наук, как философия и математика, современной, или математической, логики.

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

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