«...Практическая деятельность человека миллиарды раз должна была приводить сознание человека к повторению разных логических фигур, дабы эти фигуры могли получить значение аксиом».
В. И. Ленин
«Свои способности человек может узнать, только шлифуя их».
Сенека
«Всякий неразвитый человек — карикатура на себя самого».
Ф. Шлегель
«Все жалуются на свою память, по никто не жалуется на свой разум».
Ларошфуко
«Логика — великий преследователь темного и запутанного мышления; она рассеивает туман, скрывающий от нас наше невежество и заставляющий нас думать, что мы понимаем предмет, в то время когда мы его не понимаем. Я убежден, что в современном воспитании ничто не приносит большей пользы для выработки точных мыслителей, остающихся верными смыслу слов и предложений и находящихся постоянно настороже против терминов неопределенных и двусмысленных, как логика».
Д. С. Милль
«Если не грешить против разума, нельзя вообще ни к чему прийти».
А. Эйнштейн
«Я жить хочу, чтоб мыслить и страдать...»
А. С. Пушкин
В комедии Ж.-Б. Мольера «Лекарь поневоле» есть такой диалог:
«Сганарель. Мы, великие медики, с первого взгляда определяем заболевание. Невежда, конечно, стал бы в тупик и нагородил бы вам всякого вздору, но я немедленно проник в суть вещей и заявляю вам: ваша дочь нема.
Жеронт. Так-то оно так, но я хотел бы услышать, отчего это случилось?
Сганарель. Сделайте одолжение. Оттого, что она утратила дар речи.
Жеронт. Хорошо, но скажите мне, пожалуйста, причину, по которой она его утратила.
Сганарель. Величайшие ученые скажут вам то же самое: оттого, что у нее язык не ворочается.
Жеронт. А в чем вы усматриваете причину того, что он не ворочается?
Сганарель. Аристотель сказал по этому поводу... много хорошего.
Жеронт. Охотно верю.
Сганарель. О, это был великий муж!
Жеронт. Не сомневаюсь.
Сганарель. Подлинно великий! Вот настолько (показывает рукой) больше меня. Но продолжим наше рассуждение...»
Смешно, конечно, наблюдать, как мнимый специалист пытается убедить окружающих в своем высоком профессионализме. Ясно, что здесь налицо «убедительность наизнанку». Но какие именно ошибки допускаются «лекарем поневоле»? Каждый ли из нас способен не только посмеяться над его неуклюжими рассуждениями, но и указать те конкретные нарушения правил аргументации, которые содержатся в них?
Даже неспециалисту бросаются в глаза три грубые ошибки.
Первая — двукратное использование т а в т о л о г и и, т. е. повторения с небольшой модификацией одного и того же вместо указания действительной причины («ваша дочь нема... оттого, что она утратила дар речи, ...оттого, что у нее язык не ворочается»). Этот прием довольно часто используется для придания иллюзии убедительности пустым, бессодержательным речам.
Вторая ошибка — подмена предмета обсуждения: сначала разговор идет о болезни, а затем он вдруг переключается на Аристотеля. Такой уход от темы беседы или спора — обычная хитрость тех, кто избегает высказываться по существу дела.
И наконец, третья ошибка — употребление слова «великий» в двух совершенно разных смыслах, выдаваемых за один и тот же: «великий муж» — это вначале «выдающийся муж», а затем — «высокий человек».
Для обнаружения таких, лежащих на поверхности, ошибок в общем-то не нужны специальные знания. Вполне достаточны те интуитивные представления о правильности рассуждений, которые складываются у нас в процессе повседневной практики мышления.
Тысячи и тысячи раз повторяющееся соединение разнообразных утверждений между собой, образование из них умозаключений приводит в конце концов к формированию более или менее устойчивого навыка рассуждать правильно и замечать свои и чужие ошибки. Этот навык вполне достаточен для простых практических целей. Но в более сложных случаях и особенно в сфере теоретических рассуждений становится сразу же заметно, что наше логическое чутье — вещь довольно туманная и расплывчатая. Простые примеры подтвердят это.
Правильно, ли рассуждает человек, когда говорит: «Если бы Земля вращалась, реки, текущие по меридиану, подмывали бы один из своих берегов; но она не вращается; значит, эти реки не подмывают берега?» Чаще всего отвечают: неправильно. Земля вращается, а рассуждающий утверждает противоположное.
Однако этот ответ неверен. И не потому, что составляющие его утверждения не верны, а потому что оно построено по неправильной схеме. Нельзя рассуждать по схеме: если первое, то второе; но первого нет; значит, нет и второго.
Это, конечно, ошибочное рассуждение. Но в чем именно заключается ошибка? Как убедить того, кто рассуждает так, в том, что он ошибается?
Другой пример: «Кто-то изобрел телегу; я видел чей-то портрет; значит, я видел портрет изобретателя телеги».
Еще похожий пример: «Мышь грызет книжку; мышь имя существительное; следовательно, имя существительное грызет книжку».
Заключение очевидно нелепое. Но в чем ошибка в самом ходе мысли, ведущем к такому заключению?
Стихийной логики для ответа на подобные вопросы явно не хватает. А ведь вопросы в принципе просты, и рассуждение идет о самых обычных вещах.
Интуитивная логика почти всегда недостаточна для критики неправильных рассуждений. К тому же сама она, как правило, беззащитна перед лицом критики.
Практика рассуждения при всей ее необходимости и важности не способна сама по себе привести к отчетливому пониманию природы доказательного и убедительного мышления. Опираясь только на собственный индивидуальный опыт, никто не открыл пока ни одной схемы правильного рассуждения.
«Все наше достоинство заключено в мысли, — писал французский математик и философ XVII в. Б.Паскаль. — Не пространство и не время, которых мы не можем заполнить, возвышают нас, а именно она, наша мысль. Будем же учиться хорошо мыслить...»
Этот призыв можно только поддержать, особенно если он адресован молодому человеку, мышление которого находится в процессе активного формирования.
«По одной капле воды... человек, умеющий мыслить логически, может сделать вывод о существовании Атлантического океана или Ниагарского водопада, даже если он не видал ни того, ни другого и никогда о них не слыхал... По ногтям человека, по его рукавам, обуви, сгибу брюк на коленях, по утолщениям кожи на большом и указательном пальцах, по выражению лица и обшлагам рубашки — по таким мелочам нетрудно угадать его профессию. И можно не сомневаться, что все это, вместе взятое, подскажет сведущему наблюдателю верные выводы». Узнаете эти строки?
Да, это цитата из программной статьи самого знаменитого в мировой литературе сыщика-консультанта Шерлока Холмса. Исходя из мельчайших деталей, он строил логически безупречные цепи рассуждений и раскрывал запутанные преступления, причем зачастую не выходя из своей квартиры на Бейкер-стрит. Холмс использовал созданный им самим дедуктивный метод, ставящий, как полагал его друг доктор Уотсон, раскрытие преступлений на грань точной науки.
Конечно, Холмс несколько преувеличивал значение дедукции в криминалистике, но его рассуждения о дедуктивном методе сделали свое дело. «Дедукция» из специального и известного только немногим термина превратилась в общеупотребительное и даже модное понятие. Популяризация искусства правильного рассуждения, и прежде всего дедуктивного рассуждения, — не меньшая заслуга Холмса, чем все раскрытые им преступления. Ему удалось «придать логике прелесть грезы, пробирающейся сквозь хрустальный лабиринт возможных дедукций к единственному сияющему выводу» (В.Набоков). Дедукция — это частный случай умозаключения. В широком смысле умозаключение — логическая операция, в результате которой из одного или нескольких принятых утверждений (посылок) получается новое утверждение — заключение (вывод, следствие).
В зависимости от того, существует ли между посылками и заключением связь логического следования, можно выделить два вида умозаключений.
В дедуктивном умозаключении эта связь опирается на логическое правило, в силу чего заключение с логической необходимостью вытекает из принятых посылок. Отличительная особенность такого умозаключения в том, что оно от истинных посылок всегда ведет к истинному заключению.
В индуктивном умозаключении связь посылок и заключения опирается не на правило логики, а на некоторые фактические или психологические основания, не имеющие чисто формального характера. Такое умозаключение не следует логически из посылок индуктивном умозаключении и может содержать информацию, отсутствующую в них. Достоверность посылок не означает поэтому достоверности выведенного из них индуктивно утверждения. Индукция дает только вероятные, или правдоподобные, заключения, нуждающиеся в дальнейшей проверке.
К дедуктивным относятся, к примеру, такие умозаключения:
Если идет дождь, земля является мокрой. Идет дождь.
------------------------------------------------------------
Земля мокрая.
Если гелий металл, он электропроводен. Гелий не электропроводен.
-----------------------------------------------------------—
Гелий не металл
Черта, отделяющая посылки от заключения, заменяет слово «следовательно».
Примерами индукции могут служить рассуждения:
Аргентина является республикой; Бразилия — республика;
Венесуэла — республика; Эквадор — республика.
Аргентина, Бразилия, Венесуэла, Эквадор — латиноамериканские государства.
-------------------------------------------------------------
Все латиноамериканские государства являются республиками.
Италия — республика; Португалия — республика;
Финляндия — республика; Франция — республика.
Италия, Португалия, Финляндия, Франция — западноевропейские страны.
----------------------------------------------------------------
Все западноевропейские страны являются республиками.
Индукция не дает полной гарантии получения новой истины из уже имеющихся. Максимум, о котором можно говорить, — это определенная степень вероятности выводимого утверждения. Так, посылки из первого и второго индуктивного умозаключения истинны, но заключение первого из них истинно, а второго — ложно. Действительно, все латиноамериканские государства — республики; но среди западноевропейских стран имеются не только республики, но и монархии, например Англия, Бельгия и Испания.
Особенно характерными дедукциями являются логические переходы от общего знания к частному. Во всех случаях, когда требуется рассмотреть какое-то явление на основании уже известного общего принципа и вывести в отношении этого явления необходимое заключение, мы умозаключаем в форме дедукции («Все люди смертны; Сократ — человек; следовательно, Сократ смертен»).
Рассуждения, ведущие от знания о части предметов к общему знанию обо всех предметах определенного класса, — это типичные индукции, поскольку всегда остается вероятность того, что обобщение окажется поспешным и необоснованным («Сократ — философ; Аристотель — философ; значит, все люди — философы»).
Нельзя вместе с тем отождествлять дедукцию с переходом от общего к частному, а индукцию — с переходом от частного к общему.
Дедукция — это логический переход от одной истины к другой, индукция — переход от достоверного знания к вероятному. К индуктивным умозаключениям относятся не одни обобщения, но и уподобления, или аналогии, о которых говорится далее, заключения о причинах явлений и др.
Дедукция играет особую роль в обосновании утверждений: если рассматриваемое положение логически следует из уже установленных положений, оно обосновано и приемлемо в той же мере, что и последние. Это — собственно логический способ обоснования утверждений, использующий чистое рассуждение и не требующий обращения к наблюдению, интуиции и т. д.
Подчеркивая важность дедукции в процессе обоснования, не следует, однако, отрывать ее от индукции или недооценивать последнюю. Почти все общие положения, включая, конечно, и научные законы, являются результатом индуктивного обобщения. В этом смысле индукция — основа нашего знания. Сама по себе она не гарантирует его истинности и обоснованности. Но она порождает предположения, связывает их с опытом и тем самым сообщает им определенное правдоподобие, более или менее высокую степень вероятности. Опыт — источник и фундамент человеческого знания. Индукция, отправляющаяся от того, что постигается в опыте, является необходимым средством его обобщения и систематизации.
Итак, дедукция — это выведение заключений, столь же достоверных, как и принятые посылки.
В обычных рассуждениях дедукция только в редких случаях предстает в полной и развернутой форме. Чаще всего мы указываем не все используемые посылки, а лишь некоторые. Общие утверждения, о которых можно предполагать, что они хорошо известны, как правило, опускаются. Не всегда явно формулируются и заключения, вытекающие из принятых посылок. Сама логическая связь, существующая между исходными и выводимыми утверждениями, лишь иногда отмечается словами, подобными «следовательно» и «значит».
Нередко дедукция является настолько сокращенной, что о ней можно только догадываться. Восстановить ее в полной форме, с указанием всех необходимых элементов и их связей бывает нелегко.
«Благодаря давней привычке, — заметил как-то Шерлок Холмс, — цепь умозаключений возникает у меня так быстро, что я пришел к выводу, даже не замечая промежуточных посылок. Однако они были, эти посылки».
Проводить дедуктивное рассуждение, ничего не опуская и не сокращая, довольно обременительно. Человек, указывающий все предпосылки своих заключений, создает впечатление мелкого педанта. И вместе с тем всякий раз, когда возникает сомнение в обоснованности сделанного вывода, следует возвращаться к самому началу рассуждения и воспроизводить его в возможно более полной форме. Без этого трудно или даже просто невозможно обнаружить допущенную ошибку.
Многие литературные критики полагают, что Шерлок Холмс был «списан» А.Конан Дойлом с профессора медицины Эдинбургского университета Джозефа Белла. Последний был известен как талантливый ученый, обладавший редкой наблюдательностью и отлично владевший методом дедукции. Среди его студентов был и будущий создатель образа знаменитого детектива.
Однажды, рассказывает в своей автобиографии Конан Дойл, в клинику пришел больной, и Белл спросил его:
— Вы служили в армии?
— Так точно! — став по стойке смирно, ответил пациент.
— В горно-стрелковом полку?
— Так точно, господин доктор!
— Недавно ушли в отставку?
— Так точно!
— Были сержантом?
— Так точно! — лихо ответил больной.
— Стояли на Барбадосе?
— Так точно, господин доктор!
Студенты, присутствовавшие при этом диалоге, изумленно смотрели на профессора. Белл объяснил, насколько просты и логичны его выводы.
Этот человек, проявив при входе в кабинет вежливость и учтивость, все же не снял шляпу. Сказалась армейская привычка. Если бы пациент был в отставке длительное время, то давно усвоил бы гражданские манеры. В осанке властность, по национальности он явно шотландец, а это говорит за то, что он был командиром. Что касается пребывания на Барбадосе, то пришедший болеет элефантизмом (слоновостью), — такое заболевание распространено среди жителей тех мест.
Здесь дедуктивное рассуждение чрезвычайно сокращено. Опущены, в частности, все общие утверждения, без которых дедукция была бы невозможной.
Шерлок Холмс сделался очень популярным персонажем. Появились даже анекдоты о нем и о его создателе.
К примеру, в Риме Конан Дойл берет извозчика, и тот говорит: «А, господин Дойл, приветствую вас после вашего путешествия в Константинополь и в Милан!» «Как мог ты узнать, откуда я приехал?» — удивился шерлокхолмсовской проницательности Конан Дойл. «По наклейкам на вашем чемодане», — хитро улыбнулся кучер.
Это еще одна дедукция, очень сокращенная и простая.
Индуктивное умозаключение, результатом которого является общий вывод обо всем классе предметов на основании знания лишь некоторых предметов данного класса, принято называть неполной или популярной индукцией.
Например, из того, что инертные газы гелий, неон и аргон имеют валентность, равную нулю, можно сделать общий вывод, что все инертные газы имеют эту же валентность. Это — неполная индукция, поскольку знание о трех инертных газах распространяется на все такие газы, включая не рассматривавшиеся специально криптон и ксенон.
Иногда перечисление является достаточно обширным, и тем не менее опирающееся на него обобщение оказывается ошибочным.
«Алюминий — твердое тело; железо, медь, цинк, серебро, платина, золото, никель, барий, калий, свинец — также твердые тела; следовательно, все металлы — твердые тела». Но этот вывод ложен, поскольку ртуть — единственный из всех металлов — жидкость.
Много интересных примеров, поспешных обобщений, встречавшихся в истории науки, приводит в своих работах русский ученый В. И. Вернадский.
До XVII в., пока в науку не вошло окончательно понятие «сила», некоторые формы предметов и по аналогии некоторые формы путей, описываемых предметами, считались, по существу, способными производить бесконечное движение. В самом деле, представим себе форму идеально правильного шара, положим этот шар на плоскость; теоретически он не может удержаться неподвижно и все время будет в движении. Это считалось следствием идеально круглой формы шара. Ибо чем ближе форма фигуры к шаровой, тем точнее будет выражение, что такой материальный шар любых размеров будет держаться на идеальной зеркальной плоскости на одном атоме, то есть будет больше способен к движению, менее устойчив. Идеально круглая форма, полагали тогда, по своей сущности способна поддерживать раз сообщенное движение.
Этим путем объяснялось чрезвычайно быстрое вращение небесных сфер, эпициклов. Эти движения были единожды сообщены им божеством и затем продолжались века как свойство идеально шаровой формы». Оценивая такого рода рассуждения, Вернадский пишет: «Как далеки эти научные воззрения от современных, а между тем, по существу, это строго индуктивные построения, основанные на научном наблюдении. И даже в настоящее время в среде ученых исследователей видим попытки возрождения, по существу, аналогичных воззрений».
Поспешное обобщение, т. е. обобщение без достаточных на то оснований, — обычная ошибка в индуктивных рассуждениях.
Индуктивные обобщения требуют определенной осмотрительности и осторожности. Многое здесь зависит от числа изученных случаев. Чем обширнее база индукции, тем более правдоподобным является индуктивное заключение. Важное значение имеет также разнообразие, разнотипность этих случаев.
Но наиболее существенным является анализ характера связей предметов и их признаков, доказательство неслучайности наблюдаемой регулярности, ее укорененности в сущности исследуемых объектов. Выявление причин, порождающих эту регулярность, позволяет дополнить чистую индукцию фрагментами дедуктивного рассуждения и тем самым усилить и укрепить ее.
Общие утверждения, и в частности научные законы, полученные индуктивным способом, не являются еще полноправными истинами. Им предстоит пройти длинный и сложный путь, пока из вероятностных предположений они превратятся в составные элементы научного знания. Некоторые детали этого пути рассматриваются далее.
Наряду с неполной индукцией принято выделять в качестве особого вида индуктивного рассуждения полную индукцию. В ее посылках о каждом из предметов, входящих в рассматриваемое множество, утверждается, что он имеет определенное свойство. В заключении говорится, что все предметы данного множества обладают этим свойством.
К примеру, учитель, читая список учеников какого-то класса, убеждается, что каждый названный им присутствует. На этом основании учитель делает вывод, что присутствуют все ученики.
В полной индукции заключение необходимо, а не с некоторой вероятностью вытекает из посылок. Эта индукция является, таким образом, разновидностью дедуктивного умозаключения.
К дедукции относится и так называемая математическая индукция, широко используемая в математике.
Ф. Бэкон, положивший начало систематическому изучению индукции, весьма скептически относился к популярной индукции, опирающейся на простое перечисление подтверждающих примеров. Он писал: «Индукция, которая совершается путем простого перечисления, есть детская вещь, она дает шаткие заключения и подвергнута опасности со стороны противоречащих частностей, вынося решение большей частью на основании меньшего, чем следует, количества фактов, и притом только тех, которые имеются налицо».
Этой «детской вещи» Бэкон противопоставлял описанные им особые индуктивные принципы установления причинных связей. Он даже полагал, что предлагаемый им индуктивный путь открытия знаний, являющийся очень простой, чуть ли не механической процедурой, «почти уравнивает дарования и мало что оставляет их превосходству...». Продолжая его мысль, можно сказать, что он надеялся едва ли не на создание особой «индуктивной машины». Вводя в такого рода вычислительную машину все предложения, относящиеся к наблюдениям, мы получали бы на выходе точную систему законов, объясняющих эти наблюдения.
Программа Бэкона была, разумеется, чистой утопией. Никакая «индуктивная машина», перерабатывающая факты в новые законы и теории, невозможна. Индукция, ведущая от частных утверждений к общим, дает только вероятное, а не достоверное знание.
Все это еще раз подтверждает простую в своей основе мысль: познание реального мира — всегда творчество. Стандартные правила, принципы и приемы, какими бы совершенными они ни были, не дают гарантии достоверности нового знания. Самое строгое следование им не предохраняет от ошибок и заблуждений.
Всякое открытие требует таланта и творчества. И даже само применение разнообразных приемов, в какой-то мере облегчающих путь к открытию, является творческим процессом.
Вот два примера дедуктивных выводов из рассказа русского юмориста начала века В. Билибина.
«Если бы на свете не существовало солнца, то пришлось бы постоянно жечь свечи и керосин.
Если бы пришлось постоянно жечь свечи и керосин, то чиновникам не хватало бы их жалованья и они брали бы взятки.
Следовательно, чиновники не берут взяток потому, что на свете существует солнце».
«Если бы быки и куры ходили зажаренными, то не нужно было бы разводить печи и, значит, было бы меньше пожаров.
Если бы было меньше пожаров, страховые общества не повысили бы так жестоко страховую премию.
Следовательно, страховые общества повысили так жестоко страховую премию потому, что быки и куры не ходят зажаренными».
Эти рассуждения пародировали обычные когда-то наивные объяснения того, почему чиновники берут взятки, а страховые компании завышают страховой процент.
Понятно, что оба эти рассуждения логически несостоятельны. Их заключения не вытекают из принятых посылок. Поэтому если бы даже посылки являлись истинными, это не означало бы, что и заключения верны.
Основной задачей логики является отделение правильных способов рассуждения (вывода, умозаключения) от неправильных. Правильные выводы называются также обоснованными или логичными.
Своеобразие формальной логики в подходе к анализу правильности рассуждения связано с ее основным принципом, в соответствии с которым правильность рассуждения зависит только от его формы, или схемы. Самым общим образом форму рассуждения можно определить как способ связи входящих в него содержательных частей.
В правильном рассуждении заключение вытекает из посылок с логической необходимостью, и общая схема такого рассуждения представляет собой логический закон.
Логические законы лежат, таким образом, в основе логически совершенного мышления, составляя тот невидимый железный каркас, на котором держится всякое последовательное рассуждение. Рассуждать логически правильно — значит рассуждать в соответствии с законами логики. Отсюда понятна вся важность данных законов.
Схем правильного рассуждения (логических законов) бесконечное число. Многие из них известны нам из практики рассуждения. Мы применяем их интуитивно, не отдавая себе отчета, что в каждом правильно проведенном умозаключении мы используем тот или иной логический закон.
Вот некоторые из наиболее часто используемых схем.
«Если есть первое, то есть второе; есть первое, следовательно, есть второе». Эта схема позволяет от утверждения условного высказывания и утверждения его основания, перейти к утверждению следствия. Для логически правильного перехода конкретное содержание посылок и заключения не имеет значения, важен только способ их связи. Поэтому в схеме вместо высказываний с определенным содержанием используются «бессодержательные» обороты «есть первое» и «есть второе». По рассматриваемой схеме протекает, в частности, рассуждение: «Если лед нагревается, он тает; лед нагревается; значит, он тает».
Это логически корректное движение мысли иногда путается со сходным, но логически неправильным ее движением от утверждения следствия условного высказывания к утверждению его основания: «если есть первое, то есть второе, есть второе; значит, есть первое». Последняя схема не является логическим законом, от истинных посылок она может привести к ложному заключению. Скажем, идущее по этой схеме рассуждение «Если у человека повышенная температура, он болен; человек болен; следовательно, у него повышенная температура» ведет к ошибочному заключению, что болезнь протекает всегда с повышением температуры.
«Если есть первое, то есть второе; но второго нет; значит, нет первого». Посредством этой схемы от утверждения условного высказывания и отрицания его следствия осуществляется переход к отрицанию основания высказывания. Например: «Если наступает день, то становится светло; но сейчас не светло; следовательно, день не наступил». Иногда эту схему смешивают с логически некорректным движением мысли от отрицания основания условного высказывания к отрицанию его следствия: «если есть первое, то есть второе; но первого нет; значит, нет и второго» («Если у человека повышенная температура, он болен; но у него нет повышенной температуры; значит, он не болен»).
Возвращаясь к двум рассуждениям о чиновниках, не берущих взятки, потому что светит солнце, и о страховых компаниях, завышающих страховой процент из-за того, что быки и куры не ходят зажаренными, можно отметить, что в основе этих рассуждений лежит данная неправильная схема.
«Если первое влечет второе, то если второе влечет третье, то первое влечет третье». Эта схема, кажущаяся на первый взгляд громоздкой, часто и без затруднений применяется в самых разнообразных рассуждениях. Например: «Если дело обстоит так, что с ростом знаний о человеке возрастает способность защитить его от болезней, то если с возрастанием этой способности растет средняя продолжительность человеческой жизни, то с ростом знаний о человеке растет средняя продолжительность его жизни».
«Если есть первое, то есть второе; следовательно, если нет второго, то нет и первого». Эта схема позволяет, используя отрицание, менять местами высказывания. К примеру, из высказывания «Если есть следствие, есть также причина» получается высказывание «Если нет причины, нет и следствия».
«Есть по меньшей мере первое или второе; но первого нет; значит, есть второе». Например: «Бывает день или ночь; сейчас ночи нет; следовательно, сейчас день».
«Либо имеет место первое, либо второе; есть первое; значит, нет второго». Посредством этой схемы от утверждения двух взаимоисключающих альтернатив и установления того, какая из них имеется налицо, осуществляется переход к отрицанию другой альтернативы. Например: «Достоевский родился либо в Москве, либо в Петербурге; он родился в Москве; значит, неверно, что он родился в Петербурге». В американском вестерне «Хороший, плохой и злой» можно услышать следующее великолепное разделение человеческих ролей. Бандит говорит: «Запомни, Однорукий, что мир делится на две части: тех, кто держит револьвер, и тех, кто копает. Револьвер сейчас у меня, так что бери лопату». Это рассуждение также опирается на рассматриваемую схему.
«Неверно, что есть и первое, и второе; следовательно, нет первого или нет второго»; «есть первое или есть второе; значит, неверно, что нет первого и нет второго». Эти и близкие им схемы позволяют переходить от утверждений с союзом «и» к утверждениям с союзом «или», и наоборот. Используя данные схемы, от утверждения «Неверно, что изучение логики трудно и бесполезно» можно перейти к утверждению «Изучение логики не является трудным или же оно не бесполезно» и от утверждения «Амундсен или Скотт был первым на Южном полюсе» перейти к утверждению «Неверно, что ни Амундсен, ни Скотт не является первым человеком, побывавшим на Южном полюсе».
Таковы некоторые из бесконечного множества имеющихся в нашем распоряжении схем правильного рассуждения.
Обычно мы применяем логические законы, не задумываясь о них, нередко не подозревая о самом их существовании. Но бывает, что использование даже простой схемы сталкивается с известными трудностями.
Эксперименты, проводившиеся психологами с целью сопоставления мышления людей разных культур, наглядно показывают, что чаще всего причина трудностей в том, что схема рассуждения, его форма не выделяется в чистом виде. Для решения вопроса о правильности рассуждения вместо этого привлекаются какие-то не относящиеся к делу содержательные соображения. Обычно они связаны с конкретной ситуацией, описываемой в рассуждении.
Вот как описывают ход одного из экспериментов, проводившихся в Африке, М.Коул и С.Скрибнер в книге «Культура и мышление».
Экспериментатор. Однажды паук пошел на праздничный обед. Но ему сказали, что прежде чем приступить к еде, он должен ответить на один вопрос. Вопрос такой: «Паук и черный олень всегда вместе едят. Паук ест. Ест ли олень?»
Испытуемый. Они были в лесу?
Экспериментатор. Да.
Испытуемый. Они вместе ели?
Экспериментатор. Паук и олень всегда вместе едят. Паук ест. Ест ли олень?
Испытуемый. Но меня там не было. Как я могу ответить на такой вопрос?
Экспериментатор. Не можете ответить? Даже если вас там не было, вы можете ответить на этот вопрос. (Повторяет вопрос.)
Испытуемый. Да, да, черный олень ест.
Экспериментатор. Почему вы говорите. что черный олень ест?
Испытуемый. Потому что черный олень всегда весь день ходит по лесу и ест зеленые листья. Потом он немного отдыхает и снова встает, чтобы поесть.
Здесь очевидная ошибка. У испытуемого нет общего представления о логической правильности вывода. Чтобы дать ответ, он стремится опереться на какие-то факты, а когда экспериментатор отказывается помочь ему в поисках таких фактов, он сам придумывает их.
Еще пример из этого же исследования.
Экспериментатор. Если Флюмо или Йакпало пьют сок тростника, староста деревни сердится. Флюмо не пьет сока тростника. Йакпало пьет сок тростника. Сердится ли староста деревни?
Испытуемый. Люди не сердятся на других людей.
Экспериментатор повторяет задачу.
Испытуемый. Староста деревни в тот день не сердился.
Экспериментатор. Староста деревни не сердился? Почему?
Испытуемый. Потому что он не любит Флюмо.
Экспериментатор. Он не любит Флюмо? Скажи почему?
Испытуемый. Потому что когда Флюмо пьет сок тростника, это плохо. Поэтому староста деревни сердится, когда Флюмо так делает. А когда Йакпало иногда пьет сок тростника, он ничего плохого не делает людям. Он идет и ложится спать. Поэтому люди на него не сердятся. Но тех, кто напьется сока тростника и начинает драться, — староста не может терпеть их в деревне».
Испытуемый имеет в виду скорее всего каких-то конкретных людей или просто выдумал их. Первую посылку задачи он отбросил и заменил ее другим утверждением: люди не сердятся на других людей. Затем он ввел в задачу новые данные, касающиеся поведения Флюмо и Йакпало. Ответ испытуемого на экспериментальную задачу был неправилен. Но он был результатом вполне логичных рассуждений на основе новых посылок.
Для анализа задачи, поставленной в первом эксперименте, переформулируем ее так, чтобы были выявлены логические связи утверждений: «Если ест паук, то ест также олень; если ест олень, то ест и паук; паук ест; следовательно, олень тоже ест». Здесь три посылки. Вытекает ли из двух из них: «Если ест паук, олень также ест» и «Паук ест» заключение «Олень ест»? Конечно. Рассуждение идет по упоминавшейся уже схеме: «если есть первое, то есть второе; есть первое; значит, есть второе». Она представляет собой логический закон. Правильность этого рассуждения не зависит, разумеется, от того, происходит ли все в лесу, присутствовал ли при этом испытуемый и т. п.
Несколько сложнее схема, по которой идет рассуждение во второй задаче: «Если Флюмо или Йакпало пьют сок тростника, староста деревни сердится. Флюмо не пьет сок тростника. Йакпало пьет сок тростника. Сердится ли староста деревни?» Отвлекаясь от конкретного содержания, выявляем схему рассуждения: «если есть первое или второе, то есть третье; первого нет, но есть второе; следовательно, есть третье». Эта схема является логическим законом, и, значит, рассуждение правильно. Схема близка указанной ранее схеме «если есть первое, то есть второе; есть первое; следовательно, есть второе». Различие только в том, что в качестве «первого» в более сложном рассуждении указываются две альтернативы, одна из которых тут же исключается.