Ибо его мозг занят другим, он создает и, конечно, не в силах в это же самое время еще и объяснять свои «поступки», следить, посредством каких именно операций добывается истина. Иначе ему надо было бы перестать творить и сосредоточиться на анализе процедур мышления.
Но хотя исследователь не знает, как он пришел к результату, не умеет тут же его обосновать, сам он тем не менее уверен в истинности полученного Для него правота добытой идеи вне всякого сомнения, и решение кажется самоочевидным уже в момент догадки. А. Эйнштейн, например, рассказывая о найденных им методах вычисления орбиты Меркурия, вспоминал, что он был совершенно убежден в очевидности результата еще до вычисления.
По этой причине некоторые вообще с полным пренебрежением относились к дальнейшей судьбе своего открытия. Их не заботило, как они будут приняты «У меня много таких пустяков», — заявил, например, Г. Лейбниц, когда друзья настояли на публикации метода дифференциального исчисления. О Ж. Фурье говорят, что он во многих выводах полагался на свою мощную интуицию и его мало смущала строгость найденного результата. Оттого в ряде случаев добытое им было впоследствии развито и обосновано другими математиками:
П. Дирихле, Г. Риманом, Г. Кантором, К. Вейерштрассом.
Но, как бы то ни было, поскольку открытие приносит новое, необычное знание, оно требует доказательств.
Пусть не для самого автора, для других. Тем более что любые глубокие перемены в науке чаще всего встречаются в штыки.
Фактически новая идея вначале не более чем гипотеза, которую еще надо отстоять, обосновать. И, лишь пройдя «чистку» через доказательство, она получает «прописку» в науке Эта процедура и называется доведением результата, или «логической подборкой» — заключительный аккорд на пути научного открытия. Здесь снова вступает в силу логика.
Доказательство представляет совокупность логических действий, призванных убедить в истинности родившейся идеи. Вначале формулируется тезис, то есть утверждение, которое хотят доказать. Затем выстраивается цепь аргументов — фактов, определений, законов или аксиом и теорем (в математике), истинность которых не вызывает сомнений. Опираясь на все это, последовательно, строго соблкпая правила логики, идут от одного утверждения к следующему (демонстрация), пока не будет получен вывод, составляющий суть открытия (тезис доказательства).
Важно установить, что получаемые из новой теории следствия не расходятся с имеющимися опытными данными, что нет буквально ни одноги «порочащего» теорию факта. И здесь, вообще говоря, существует определенная несправедливость, так сказать, «неравноправие». Пусть имеется тьма фактов, которые подтверждают вывод, но достаточно одного, что голосует против, как теория будет объявлена ошибочной. Впрочем, не всегда заслуженно, поскольку добытые наукой данные не безгрешны; ведь возможны ошибки измерения, неточность эксперимента и даже подтасовка данных.
Одним словом, доказательство проводится как система отчетливо осознаваемых логических операций, в которых исследователь вполне контролирует свои действия. Тут придется сделать небольшое отступление.
Научное открытие представляет, как уже мы отмечали, «логическое преступление», которое тем «возмутительнее», чем оно крупнее. Но тогда почему этот алогичный результат поверяется логикой?
Дело вот в чем. Когда мы говорим об отступлениях от логики, то имеем в виду логическую невыводимость новой идеи из старых законов науки, против которых и совершается «преступление». Однако открытие несет новые законы и положения. Если теперь эти положения принимаются в качестве истинных, налицо все основания оперировать с ними по правилам логики, проводить такие же логические действия, как и действия, осуществлявшиеся с ниспровергнутыми парадигмами. Короче, новая теория дает новые следствия, и никакого преступления в том, что мы выводим их, нет. «Преступление» же совершается в том смысле, что научное открытие отменяет прежние положения либо уточняет границы их применимости.
Чтобы усилить доказательность новой теории, полезно иногда попытаться ее… опровергнуть. Что представляет собой этот прием?
Вообще, опровержение — это логическая процедура доказательства ложности какого-либо рассуждения в целом (вместе с его тезисом, аргументами и демонстрацией). Но в логике разработано учение и о так называемом косвенном доказательстве. Оно, как и опровержение, предполагает те же логические операции, что проводятся в случае уже рассмотренного, прямого доказательства, только вместо отстаиваемого положения строится и доказывается его отрицание (вместо тезиса — антитезис). Смысл такого приема заключается в том, чтобы косвенным путем, то есть через попытку опровержения, подтвердить интересующую нас идею.
Если допущение антитезиса приводит к ложному выводу, то есть к выводу, который противоречит опыту, следовательно, отстаиваемое нами положение (тезис) истинно, и наша идея верна. Этот метод часто используется в математике и известен как доказательство от противного. Его применяют, когда прямое доказательство провести невозможно.
Еще один подход к опровержению как способу доказательства проводит австрийский методолог К. Поппер.
Он исходит из того, что любая научная теория имеет границы применимости, за которыми она перестает «работать». Нет таких теорий, которые объясняли бы все.
Так вот, доказательство мощи какой-либо концепции и состоит в том, чтобы прочертить линию, четко разделяющую области, где наша идея эффективна и где она оказывается ошибочной. К. Поппер в связи с этим заявляет: теория доказывается не столько тем, что подтверждается, сколько тем, что она опровергается (фальсифицируется).
Таким образом, доказательство и опровержение — два логических приема, которые в самых добросовестных случаях не лежат каждый на отдельной полочке, а вместе служат утверждению новых истин. Во всяком случае, такое совместное использование их усиливает логическую оснащенность рассматриваемою этапа научного поиска. Впрочем, иногда проводят еще и анализ доказательства, выясняя, что именно оно доказывает.
Обычно доказательство стремятся осуществить сразу же, как только найдено решение проблемы. Но это не всегда удается. Поэтому порой такая процедура растягивается надолго. Академик В. Глушков отмечал, например, что доказательство одной теоремы длилось у него три года, день за днем, буквально без передышки.
А над задачами посложнее, говорит В. Глушков, бьются и по 20, а то и по 30 лет.
Как видим, на этом заключительном этапе творчества снова царствует логика. Всматриваясь в характер осуществляемых здесь операций мысли, убеждаемся, что собственно поисковые действия на этапе «подборки» не проводятся. Ведь доказательство не может принести новых истин, оно лишь обосновывает добытое.
И вообще, логика не ставит перед собой иных целей, чем выполнять контрольные функции, служить аппаратом преобразования имеющегося знания из одних форм в другие. Поэтому к ней вполне применимо замечание, направленное известным немецким ученым Г. Вейлем по адресу математики, средствами которой производится количественная переработка любой по содержанию информации. Математика, говорит Г.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60
Но хотя исследователь не знает, как он пришел к результату, не умеет тут же его обосновать, сам он тем не менее уверен в истинности полученного Для него правота добытой идеи вне всякого сомнения, и решение кажется самоочевидным уже в момент догадки. А. Эйнштейн, например, рассказывая о найденных им методах вычисления орбиты Меркурия, вспоминал, что он был совершенно убежден в очевидности результата еще до вычисления.
По этой причине некоторые вообще с полным пренебрежением относились к дальнейшей судьбе своего открытия. Их не заботило, как они будут приняты «У меня много таких пустяков», — заявил, например, Г. Лейбниц, когда друзья настояли на публикации метода дифференциального исчисления. О Ж. Фурье говорят, что он во многих выводах полагался на свою мощную интуицию и его мало смущала строгость найденного результата. Оттого в ряде случаев добытое им было впоследствии развито и обосновано другими математиками:
П. Дирихле, Г. Риманом, Г. Кантором, К. Вейерштрассом.
Но, как бы то ни было, поскольку открытие приносит новое, необычное знание, оно требует доказательств.
Пусть не для самого автора, для других. Тем более что любые глубокие перемены в науке чаще всего встречаются в штыки.
Фактически новая идея вначале не более чем гипотеза, которую еще надо отстоять, обосновать. И, лишь пройдя «чистку» через доказательство, она получает «прописку» в науке Эта процедура и называется доведением результата, или «логической подборкой» — заключительный аккорд на пути научного открытия. Здесь снова вступает в силу логика.
Доказательство представляет совокупность логических действий, призванных убедить в истинности родившейся идеи. Вначале формулируется тезис, то есть утверждение, которое хотят доказать. Затем выстраивается цепь аргументов — фактов, определений, законов или аксиом и теорем (в математике), истинность которых не вызывает сомнений. Опираясь на все это, последовательно, строго соблкпая правила логики, идут от одного утверждения к следующему (демонстрация), пока не будет получен вывод, составляющий суть открытия (тезис доказательства).
Важно установить, что получаемые из новой теории следствия не расходятся с имеющимися опытными данными, что нет буквально ни одноги «порочащего» теорию факта. И здесь, вообще говоря, существует определенная несправедливость, так сказать, «неравноправие». Пусть имеется тьма фактов, которые подтверждают вывод, но достаточно одного, что голосует против, как теория будет объявлена ошибочной. Впрочем, не всегда заслуженно, поскольку добытые наукой данные не безгрешны; ведь возможны ошибки измерения, неточность эксперимента и даже подтасовка данных.
Одним словом, доказательство проводится как система отчетливо осознаваемых логических операций, в которых исследователь вполне контролирует свои действия. Тут придется сделать небольшое отступление.
Научное открытие представляет, как уже мы отмечали, «логическое преступление», которое тем «возмутительнее», чем оно крупнее. Но тогда почему этот алогичный результат поверяется логикой?
Дело вот в чем. Когда мы говорим об отступлениях от логики, то имеем в виду логическую невыводимость новой идеи из старых законов науки, против которых и совершается «преступление». Однако открытие несет новые законы и положения. Если теперь эти положения принимаются в качестве истинных, налицо все основания оперировать с ними по правилам логики, проводить такие же логические действия, как и действия, осуществлявшиеся с ниспровергнутыми парадигмами. Короче, новая теория дает новые следствия, и никакого преступления в том, что мы выводим их, нет. «Преступление» же совершается в том смысле, что научное открытие отменяет прежние положения либо уточняет границы их применимости.
Чтобы усилить доказательность новой теории, полезно иногда попытаться ее… опровергнуть. Что представляет собой этот прием?
Вообще, опровержение — это логическая процедура доказательства ложности какого-либо рассуждения в целом (вместе с его тезисом, аргументами и демонстрацией). Но в логике разработано учение и о так называемом косвенном доказательстве. Оно, как и опровержение, предполагает те же логические операции, что проводятся в случае уже рассмотренного, прямого доказательства, только вместо отстаиваемого положения строится и доказывается его отрицание (вместо тезиса — антитезис). Смысл такого приема заключается в том, чтобы косвенным путем, то есть через попытку опровержения, подтвердить интересующую нас идею.
Если допущение антитезиса приводит к ложному выводу, то есть к выводу, который противоречит опыту, следовательно, отстаиваемое нами положение (тезис) истинно, и наша идея верна. Этот метод часто используется в математике и известен как доказательство от противного. Его применяют, когда прямое доказательство провести невозможно.
Еще один подход к опровержению как способу доказательства проводит австрийский методолог К. Поппер.
Он исходит из того, что любая научная теория имеет границы применимости, за которыми она перестает «работать». Нет таких теорий, которые объясняли бы все.
Так вот, доказательство мощи какой-либо концепции и состоит в том, чтобы прочертить линию, четко разделяющую области, где наша идея эффективна и где она оказывается ошибочной. К. Поппер в связи с этим заявляет: теория доказывается не столько тем, что подтверждается, сколько тем, что она опровергается (фальсифицируется).
Таким образом, доказательство и опровержение — два логических приема, которые в самых добросовестных случаях не лежат каждый на отдельной полочке, а вместе служат утверждению новых истин. Во всяком случае, такое совместное использование их усиливает логическую оснащенность рассматриваемою этапа научного поиска. Впрочем, иногда проводят еще и анализ доказательства, выясняя, что именно оно доказывает.
Обычно доказательство стремятся осуществить сразу же, как только найдено решение проблемы. Но это не всегда удается. Поэтому порой такая процедура растягивается надолго. Академик В. Глушков отмечал, например, что доказательство одной теоремы длилось у него три года, день за днем, буквально без передышки.
А над задачами посложнее, говорит В. Глушков, бьются и по 20, а то и по 30 лет.
Как видим, на этом заключительном этапе творчества снова царствует логика. Всматриваясь в характер осуществляемых здесь операций мысли, убеждаемся, что собственно поисковые действия на этапе «подборки» не проводятся. Ведь доказательство не может принести новых истин, оно лишь обосновывает добытое.
И вообще, логика не ставит перед собой иных целей, чем выполнять контрольные функции, служить аппаратом преобразования имеющегося знания из одних форм в другие. Поэтому к ней вполне применимо замечание, направленное известным немецким ученым Г. Вейлем по адресу математики, средствами которой производится количественная переработка любой по содержанию информации. Математика, говорит Г.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60