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

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

Конечно, Холмс несколько преувеличивал значение дедукции в криминалистике, но его рассуждения о дедуктивном методе сделали свое дело. «Дедукция» из специального и известного только немногим термина превратилась в общеупотребительное и даже модное понятие. Популяризация искусства правильного рассуждения, и прежде всего дедуктивного рассуждения, – не меньшая заслуга Холмса, чем все раскрытые им преступления. Ему удалось «придать логике прелесть грезы, пробирающейся сквозь хрустальный лабиринт возможных дедукций к единственному сияющему выводу» (В.Набоков).

Дедукция – это частный случай умозаключения.

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

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

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

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

К дедуктивным относятся, к примеру, такие умозаключения:

Если идет дождь, земля является мокрой.

Идет дождь.

Земля мокрая.

Если гелий металл, он электропроводен.

Гелий не электропроводен.

Гелий не металл.

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

Примерами индукции могут служить рассуждения:

Аргентина является республикой; Бразилия – республика;

Венесуэла – республика; Эквадор – республика.

Аргентина, Бразилия, Венесуэла, Эквадор – латиноамериканские государства.

Все латиноамериканские государства являются республиками.

Италия – республика; Португалия – республика; Финляндия – республика; Франция – республика.

Италия, Португалия, Финляндия, Франция – западноевропейские страны.

Все западноевропейские страны являются республиками.

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

Особенно характерными дедукциями являются логические переходы от общего знания к частному типа:

Все люди смертны.

Все греки люди.

Следовательно, все греки смертны.

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

Нельзя вместе с тем отождествлять дедукцию с переходом от общего к частному, а индукцию – с переходом от частного к общему. В рассуждении «Шекспир писал сонеты; следовательно, неверно, что Шекспир не писал сонетов» есть дедукция, но нет перехода от общего к частному. Рассуждение «Если алюминий пластичен или глина пластична, то алюминий пластичен» является, как принято думать, индуктивным, но в нем нет перехода от частного к общему. Дедукция – это выведение заключений, столь же достоверных, как и принятые посылки, индукция – выведение вероятных (правдоподобных) заключений. К индуктивным умозаключениям относятся как переходы от частного к общему, так и аналогия, методы установления причинных связей, подтверждение следствий, целевое обоснование и т.д.

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

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

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

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

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

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

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

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

Многие литературные критики полагают, что Шерлок Холмс был «списан» А. Конан Дойлом с профессора медицины Эдинбургского университета Джозефа Белла. Последний был известен как талантливый ученый, обладавший редкой наблюдательностью и отлично владевший методом дедукции. Среди его студентов был и будущий создатель образа знаменитого детектива.

Однажды, рассказывает в своей автобиографии Конан Доил, в клинику пришел больной, и Белл спросил его:

– Вы служили в армии?

– Так точно! – став по стойке смирно, ответил пациент.

– В горнострелковом полку?

– Так точно, господин доктор!

– Недавно ушли в отставку?

– Так точно!

– Были сержантом?

– Так точно! – лихо ответил больной.

– Стояли на Барбадосе?

– Так точно, господин доктор!

Студенты, присутствовавшие при этом диалоге, изумленно смотрели на профессора. Белл объяснил, насколько просты и логичны его выводы.

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

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

Шерлок Холмс сделался очень популярным персонажем.Появились даже анекдоты о нем и о его создателе.

К примеру, в Риме Конан Доил берет извозчика, и тот говорит: «А, господин Доил, приветствую вас после вашего путешествия в Константинополь и в Милан!» «Как мог ты узнать, откуда я приехал?» – удивился шерлокхолмсовской проницательности Конан Доил. «По наклейкам на вашем чемодане», – хитро улыбнулся кучер.

Это еще одна дедукция, очень сокращенная и простая.

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

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

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

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

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

Понятие дедукции является общеметодологическим понятием. В логике ему соответствует понятие доказательства.

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

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

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

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

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

Например, нужно доказать, что сумма углов четырехугольника равна 360°. Из каких утверждений можно было бы вывести этот тезис? Отмечаем, что диагональ делит четырехугольник на два треугольника. Значит, сумма его углов равна сумме углов двух треугольников. Известно, что сумма углов треугольника составляет 180°. Из этих положений выводим, что сумма углов четырехугольника равна 360°. Еще пример. Нужно доказать, что космические корабли подчиняются действию законов космической механики. Известно, что эти законы универсальны: им подчиняются все тела в любых точках космического пространства. Очевидно также, что космический корабль есть космическое тело. Отметив это, строим соответствующее дедуктивное умозаключение. Оно является прямым доказательством рассматриваемого утверждения.

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

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

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

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

Это опять-таки косвенное доказательство. Вместо прямого обоснования тезиса выдвигается антитезис, что у пациента в самом деле грипп. Из антитезиса выводятся следствия, но они опровергаются объективными данными. Это говорит, что допущение о гриппе неверно. Отсюда следует, что тезис «Гриппа нет» истинен.

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

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

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

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

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

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

Индукция (от лат. inductio - наведение) - это логический прием построения общего вывода на основе частных посылок.

Данные опыта «наводят» на общее, или индуцируют общее, поэтому полученные обобщения обычно рассматривают как опытные (эмпирические) истины.

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

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

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

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

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

Изучая различные химические элементы, ученый делал акцент на выделение их свойств. На этом этапе он использует прием индукции. Сравнивая различные элементы, Менделеев подметил зависимость их свойств от величины атомных весов, что позволило ему вывести основной закон химии.

Опираясь на этот закон и следуя дедукции, Д. И. Менделеев делает ряд открытий, предсказывая еще неизвестные химические элементы.

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

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

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

К дедуктивным относятся, например, такие умозаключения:

Если данное число делится на 6, то оно делится на 3.

Данное число делится на 6.

Данное число делится на 3.

Если гелий металл, он электропроводен.

Гелий не электропроводен.

Гелий не металл.

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

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

Примерами индукции могут служить рассуждения:

Аргентина является республикой; Бразилия - республика; Венесуэла - республика;

Эквадор - республика.

Аргентина, Бразилия, Венесуэла, Эквадор - латиноамериканские государства.

Все латиноамериканские государства являются республиками.

Италия - республика; Португалия - республика; Финляндия - республика;

Франция - республика.

Италия, Португалия, Финляндия, Франция - западноевропейские страны.

Все западноевропейские страны являются республиками.

Индукция не даёт полной гарантии получения новой истины из уже имеющихся. Максимум, о котором можно говорить, это определённая степень вероятности выводимого утверждения. Так, посылки и первого и второго индуктивного умозаключения истинны, но заключение первого из них истинно, а второго - ложно. Действительно, все латиноамериканские государства - республики; но среди западноевропейских стран имеются не только республики, но и монархии, например, Англия, Бельгия и Испания.

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

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

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

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

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

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

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

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

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

Многие литературные критики полагают, что Шерлок Холмс был «списан» А.Конан-Дойлом с профессора медицины Эдинбургского университета Джозефа Белла. Последний был известен как талантливый учёный, обладавший редкой наблюдательностью и отлично владевший методом дедукции. Среди его студентов был и будущий создатель образа знаменитого детектива.

Однажды, рассказывает в своей автобиографии Конан-Дойл, в клинику пришёл больной, и Белл спросил его:

Вы служили в армии?

Так точно! - став по стойке смирно, ответил пациент.

В горно-стрелковом полку?

Так точно, господин доктор!

Недавно ушли в отставку?

Так точно!

Были сержантом?

Так точно! - лихо ответил больной.

Стояли на Барбадосе?

Так точно, господин доктор!

Студенты, присутствовавшие при этом диалоге, изумлённо смотрели на профессора. Белл объяснил, насколько просты и логичны его выводы.

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

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

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

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

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

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

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

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

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

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

Как методы исследования, выделяются индукция и дедукция.

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

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

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

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

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

В структуре эксперимента можно выделить следующие элементы:

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

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

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

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

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

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

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

Дополнительная информация:

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

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

Основные требования к научному наблюдению:

- однозначность замысла;

- наличие системы методов и приемов;

- объективность, т.е. возможность контроля путём либо повторного наблюдения, либо с помощью других методов (например, эксперимента).

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

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

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

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

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

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

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

Становление научной теории осуществляется следующим образом.

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

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

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

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

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

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

Виды форм познания .

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

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

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

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

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

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

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

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

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

Рост научного знания. Научные революции и смены типов рациональности .

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

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

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

Дополнительная информация:

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

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

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

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

Особенно активно проблему роста (развития, изменения знания) разрабатывали, начиная с 60-х гг. XX в., сторонники постпозитивизма К. Поппер, Т. Кун, И. Лакатос.

Дополнительная информация:

И. Лакатос (1922-1974) - венгерско-британский философ и методолог науки, ученик Поппера, уже в ранней своей работе «Доказательства и опровержения» четко заявил о том, что «догматы логического позитивизма гибельны для истории и философии математики». История математики и логика математического открытия, т.е. «филогенез и онтогенез математической мысли», не могут быть развиты без критицизма и окончательного отказа от формализма.

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

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

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

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

П. Фейерабенд, Ст. Тулмин.

Дополнительная информация:

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

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

Известная книга К.А. Попператак и называется: "Логика и рост научного знания". Необходимость роста научного знания становится очевидной тогда, когда использование теории не дает искомого эффекта.

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

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

Т. Кун, П. Фейерабенд.

Дополнительная информация:

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

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

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

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

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

Длительные этапы нормальной науки в концепции Куна прерываются краткими, однако, полными драматизма периодами смуты и революциив науке - периодами смены парадигм.

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

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

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

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

Научные революции знаменуют смену типов научной рациональности. Ряд авторов (В. С. Степин, В. В. Ильин) в зависимости от соотношения объекта и субъекта познания выделяют три основных типа научной рациональности и соответственно три крупных этапа эволюции науки:

1) классическая (XVII-XIX вв.);

2) неклассическая (первая половина XX в.);

3) постнеклассическая (современная) наука.

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

1. Дедукция и индукция

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

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

Конечно, Холмс несколько преувеличивал значение дедукции в криминалистике, но его рассуждения о дедуктивном методе сделали свое дело. «Дедукция» из специального и известного только немногим термина превратилась в общеупотребительное и даже модное понятие. Популяризация искусства правильного рассуждения, и прежде всего дедуктивного рассуждения, – не меньшая заслуга Холмса, чем все раскрытые им преступления. Ему удалось «придать логике прелесть грезы, пробирающейся сквозь хрустальный лабиринт возможных дедукций к единственному сияющему выводу» (В.Набоков).

Определения дедукции и индукции

Дедукция – это частный случай умозаключения.

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

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

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

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

К дедуктивным относятся, к примеру, такие умозаключения:

Если идет дождь, земля является мокрой.

Идет дождь.

Земля мокрая.

Если гелий металл, он электропроводен.

Гелий не электропроводен.

Гелий не металл.

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

Примерами индукции могут служить рассуждения:

Аргентина является республикой; Бразилия – республика;

Венесуэла – республика; Эквадор – республика.

Аргентина, Бразилия, Венесуэла, Эквадор – латиноамериканские государства.

Все латиноамериканские государства являются республиками.

Италия – республика; Португалия – республика; Финляндия – республика; Франция – республика.

Италия, Португалия, Финляндия, Франция – западноевропейские страны.

Все западноевропейские страны являются республиками.

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

Особенно характерными дедукциями являются логические переходы от общего знания к частному типа:

Все люди смертны.

Все греки люди.

Следовательно, все греки смертны.

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

Нельзя вместе с тем отождествлять дедукцию с переходом от общего к частному, а индукцию – с переходом от частного к общему. В рассуждении «Шекспир писал сонеты; следовательно, неверно, что Шекспир не писал сонетов» есть дедукция, но нет перехода от общего к частному. Рассуждение «Если алюминий пластичен или глина пластична, то алюминий пластичен» является, как принято думать, индуктивным, но в нем нет перехода от частного к общему. Дедукция – это выведение заключений, столь же достоверных, как и принятые посылки, индукция – выведение вероятных (правдоподобных) заключений. К индуктивным умозаключениям относятся как переходы от частного к общему, так и аналогия, методы установления причинных связей, подтверждение следствий, целевое обоснование и т.д.

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

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

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

Обычные дедукции

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

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

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

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

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

Многие литературные критики полагают, что Шерлок Холмс был «списан» А. Конан Дойлом с профессора медицины Эдинбургского университета Джозефа Белла. Последний был известен как талантливый ученый, обладавший редкой наблюдательностью и отлично владевший методом дедукции. Среди его студентов был и будущий создатель образа знаменитого детектива.

Однажды, рассказывает в своей автобиографии Конан Дойл, в клинику пришел больной, и Белл спросил его:

– Вы служили в армии?

– Так точно! – став по стойке смирно, ответил пациент.

– В горнострелковом полку?

– Так точно, господин доктор!

– Недавно ушли в отставку?

– Так точно!

– Были сержантом?

– Так точно! – лихо ответил больной.

– Стояли на Барбадосе?

– Так точно, господин доктор!

Студенты, присутствовавшие при этом диалоге, изумленно смотрели на профессора. Белл объяснил, насколько просты и логичны его выводы.

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

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

Шерлок Холмс сделался очень популярным персонажем. Появились даже анекдоты о нем и о его создателе.

К примеру, в Риме Конан Дойл берет извозчика, и тот говорит: «А, господин Дойл, приветствую вас после вашего путешествия в Константинополь и в Милан!» «Как мог ты узнать, откуда я приехал?» – удивился шерлокхолмсовской проницательности Конан Дойл. «По наклейкам на вашем чемодане», – хитро улыбнулся кучер.

Это еще одна дедукция, очень сокращенная и простая.

Дедуктивная аргументация

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

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

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

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

Понятие дедукции является общеметодологическим понятием. В логике ему соответствует понятие доказательства.

Понятие доказательства

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

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

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

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

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

Например, нужно доказать, что сумма углов четырехугольника равна 360°. Из каких утверждений можно было бы вывести этот тезис? Отмечаем, что диагональ делит четырехугольник на два треугольника. Значит, сумма его углов равна сумме углов двух треугольников. Известно, что сумма углов треугольника составляет 180°. Из этих положений выводим, что сумма углов четырехугольника равна 360°. Еще пример. Нужно доказать, что космические корабли подчиняются действию законов космической механики. Известно, что эти законы универсальны: им подчиняются все тела в любых точках космического пространства. Очевидно также, что космический корабль есть космическое тело. Отметив это, строим соответствующее дедуктивное умозаключение. Оно является прямым доказательством рассматриваемого утверждения.

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

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

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

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

Это опять-таки косвенное доказательство. Вместо прямого обоснования тезиса выдвигается антитезис, что у пациента в самом деле грипп. Из антитезиса выводятся следствия, но они опровергаются объективными данными. Это говорит, что допущение о гриппе неверно. Отсюда следует, что тезис «Гриппа нет» истинен.

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

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

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

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

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