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