Реферат: Определение логики

Испытуемый . Они были в лесу?

Экспериментатор . Да.

Испытуемый . Они вместе ели?

Экспериментатор . Паук и олень всегда едят вместе. Паук ест. Ест ли олень?

Испытуемый . Но меня там не было. Как я могу ответить на такой вопрос?

Экспериментатор . Не можете ответить? Даже если вас там не было, вы можете ответить на этот вопрос. (Повторяет вопрос.)

Испытуемый . Да, да, черный олень ест.

Экспериментатор . Почему вы говорите, что черный олень ест?

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

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

Еще пример из этого же исследования.

Экспериментатор . Если Флюмо или Йакпало пьют сок тростника, староста деревни сердится. Флюмо не пьет сока тростника. Йакпало пьет сок тростника. Сердится ли староста деревни?

Испытуемый . Люди не сердятся на других людей.

Экспериментатор повторяет задачу.

Испытуемый . Староста деревни в тот день не сердился.

Экспериментатор . Староста деревни не сердился? Почему?

Испытуемый . Потому что он не любит Флюмо.

Экспериментатор . Он не любит Флюмо? Скажи почему?

Испытуемый . Потому что, когда Флюмо пьет сок тростника, это плохо. Поэтому староста деревни сердится, когда Флюмо так делает. А когда Йакпало иногда пьет сок тростника, он ничего плохого не делает людям. Он идет и ложится спать. Поэтому люди на него не сердятся. Но тех, кто напьется сока тростника и начинает драться, староста не может терпеть в деревне".

Испытуемый имеет в виду, скорее всего каких-то конкретных людей или просто выдумал их. Первую посылку задачи он отбросил и заменил ее другим утверждением: люди не сердятся на других людей. Затем он ввел в задачу новые данные, касающиеся поведения Флюмо и Йакпало. Ответ испытуемого на экспериментальную задачу был неправилен. Но он был результатом вполне логичных рассуждений на основе новых посылок.

Для анализа задачи, поставленной в первом эксперименте, переформулируем ее так, чтобы были выявлены логические связи утверждений: "Если ест паук, то ест и олень; если ест олень, то ест и паук; паук ест; следовательно, олень тоже ест". Здесь три посылки. Вытекает ли из двух ("Если ест паук, олень также ест" и "Паук ест") заключение "Олень ест?". Конечно. Рассуждение идет по упоминавшейся уже схеме: "Если есть первое, то есть второе; есть первое; значит, есть второе". Она представляет собой логический закон. Правильность этого рассуждения не зависит, разумеется, от того, происходит ли все в лесу, присутствовал ли при этом испытуемый и т.п.

Несколько сложнее схема, по которой идет рассуждение во второй задаче: "Если Флюмо или Йакпало пьют сок тростника, староста деревни сердится. Флюмо не пьет сок тростника. Йакпало пьет сок тростника. Сердится ли староста деревни?" Отвлекаясь от конкретного содержания, выявляем схему рассуждения: "Если есть первое или второе, то есть третье; первого нет, но есть второе; следовательно, есть третье". Эта схема является логическим законом, и, значит, рассуждение правильно. Схема близка указанной ранее схеме: "Если есть первое, то есть второе; есть первое; следовательно, есть второе". Различие только в том, что в качестве "первого" в более сложном рассуждении указываются две альтернативы, одна из которых тут же исключается.

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

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

3. ТРАДИЦИОННАЯ И СОВРЕМЕННАЯ ЛОГИКА

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

В длинной и богатой событиями истории развития логики отчетливо выделяются два основных этапа. Первый – от древнегреческой логики до возникновения во второй половине прошлого века современной логики. Второй – с этого времени до наших дней.

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

Эта идея связана главным образом с именем немецкого философа и математика Г.Лейбница (1646-1716). По Лейбницу, вычисление суммы или разности чисел осуществляется на основе простых правил, принимающих во внимание только форму чисел, а не их смысл. Результат вычисления однозначно предопределяется этими, не допускающими разночтения правилами, и его нельзя оспорить. Лейбниц мечтал о времени, когда умозаключение будет преобразовано в вычисление. Когда это случится, споры, обычные между философами, станут так же невозможны, как невозможны они между вычислителями. Вместо спора они возьмут в руки перья и скажут: "Будем вычислять".

Идеи Лейбница не оказали, однако, заметного влияния на его современников. Энергичное развитие логики началось позже, в XIX в.