Простая конструктивная дилемма. Деструктивная дилемма Последовательность элементов сложной деструктивной дилеммы

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

Формализация дилеммы

Дилеммы бывают двух видов: конструктивные и деструктив­ные; обе формы дилеммы в свою очередь могут быть простыми и сложными.

Простая конструктивная дилемма

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

В традиционной формальной логике простую конструктив­ную дилемму обычно представляют в виде следующей схемы:

Если А есть В, то С есть D ; если Е есть F , то С есть D .

А есть В или Е есть F .

________________

С есть D .

Приведем пример простой конструктивной дилеммы.

В романе В. Шукшина «Я пришел дать вам волю» написано так: «Давай думать, как быть. Две дороги домой: Кумой или Волгой. Обои закрыты. Там и тут надо пробиваться силой. Добром нас никакой дурак не пропустит. А раз такое дело, давай решим: где легче».

Простая конструктивная дилемма представлена в такой форме:

Если плыть Кумой (а), то надо пробиваться силой (Ь);

если плыть Волгой (с), то надо пробиваться силой (b ).

Можно плыть Кумой (а) или Волгой (с).

______________________________

Надо пробиваться силой (b ).

Выразим суждение «А есть В» переменной а, суждение «С есть D » - переменной b , суждение «Е есть F » - переменной с. Тогда схема простой конструктивной дилеммы выразится в виде следу­ющего правила вывода:

В данном случае формула указанного вида будет такова:

Доказательство тождественной истинности этой формулы мо­жно провести табличным методом. Приведем еще один пример простой конструктивной ди­леммы:

Если я пойду через речку по мосту, меня могут заметить враги;

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

Я могу идти через речку по мосту или вброд.

___________________________________

Меня могут заметить враги.

Сложная конструктивная дилемма

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

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

Т. Тэсс в рассказе «Поединок в море» описывает такую ситу­ацию. Танкер «Ростов» взял около десяти тысяч тонн автомо­бильного бензина и уже готовился в Туапсе к отплытию... Сейчас танкер должен сняться с якоря... Якорь уже вышел из воды... На лапе якоря висит авиабомба, пролежавшая на дне моря двадцать лет. Капитан танкера «Ростов» Александр Котляров думал не только о своем судне, а и о других танкерах, тоже залитых бензином и нефтью, стоящих неподалеку от причалов. «Сколько времени пройдет, пока из Севастополя в Туапсе придут минеры? Бомба может взорваться каждую минуту. Двадцать лет она пролежала под водой, а сейчас может взорваться от любой случайности».

Перед капитаном встала очень сложная дилемма:

Если я оставлю танкер в порту до прибытия минеров, то бомба может

взорваться и повредить много судов; если я уведу танкер в море,

то в случае взрыва пострадает только один танкер.

Я могу оставить танкер в порту до прибытия минеров или увести в море.

________________________________________

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

Капитан принимает такое решение: «Немедленно, не дожида­ясь прибытия из Севастополя минеров, уйти из порта в море. Уйти, чтобы обезопасить другие суда, отплыть на такое расстояние, чтобы в случае взрыва опасность грозила только одному его танкеру. Уйти в море и там утопить бомбу». Танкер ушел из порта, и со второй попытки бомбу удалось утопить в море, а танкер не пострадал.

Так как дилемма означает сложный выбор из двух альтер­натив одной, причем обе они нежелательны для субъекта (такая ситуация характеризуется выражением «из двух зол выбирать наименьшее»), то в древности о дилемме говорили: «Посадить на рога дилеммы». В нашей речи встречается выражение: «Передо мной стоит дилемма» (т. е. сложный выбор).

Схема сложной конструктивной дилеммы:

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

Простая деструктивная дилемма

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

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

У больного нет высокой температуры или нет сыпи.

____________________________________________

Этот человек не болен сыпным тифом.

Схема этой дилеммы:

Простая деструктивная дилемма может быть построена и по другой схеме:

Этой схеме соответствует формула

Сложная деструктивная дилемма

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

Если А есть В, то С есть D ; если Е есть F , то К есть М .

С не есть D или К не есть М.

___________________________

А не есть В или Е не есть F .

Примером рассуждения по форме сложной деструктивной дилем­мы может быть следующий вывод:

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

Но Петров не признался в том, что он сегодня не выполнилзадание, или не сделал его к следующему разу.

__________________________________________________

Петров не честен или не добросовестен 4 .

Схема сложной деструктивной дилеммы такая:

Этой схеме соответствует формула которая является законом логики.

В предыдущих схемах, соответствующих четырем видам ди­леммы, во второй (разделительной) посылке союз «или» взят в соединительно-разделительном смысле, т. е. взята нестрогая дизъюнкция (v). Будут ли формулы алгебры логики, соответст­вующие дилеммам (четыре вида), тождественно-истинными, если союз «или» употребляется в строго разделительном смысле, т. е. если взята строгая дизъюнкция (v)? Являются ли законами логики следующие формулы:

1) 2)

3) 4)

(Так как конъюнкция связывает «теснее», чем импликация, то скобки можно опустить.)

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

Некоторые логики под дилеммой понимают такое умозак­лючение:

Если А есть В, то С есть D ; если Е есть F , то G есть H .

Но С не есть D и G не есть H .

___________________________________

Следовательно, А не есть В и Е не есть F .

Если бы я был богат, то я бы купил автомобиль.

Если бы я был бесчестен, то я украл бы таковой.

Но я его не купил и не украду.

_______________________________

Я не богат и не бесчестен.

Но здесь вторая посылка и заключение являются конъюнктив­ными, а не дизъюнктивными суждениями (как это должно быть по правилам построения дилеммы), поэтому приведенное выше умозаключение не является дилеммой, так как в нем нет раз­делительной посылки, характерной для дилеммы. Это умозак­лючение есть простая сумма двух условно-категорических умоза­ключений, построенных по правилу modus tollens, который дает истинное заключение. Формула modus tollens такая:

1. Если бы я был богат, то я бы купил автомобиль.

Я не куплю автомобиль.

________________

Я не богат.

2. Если бы я был бесчестен, то я украл бы автомобиль.

Я не украду автомобиль.

_________________

Я не бесчестен.

Итак, перед нами условно-конъюнктивное, а не условно-дизъюн­ктивное (лемматическое) умозаключение.

Трилемма

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

У данного больного или грипп, или острое респираторное заболевание, или ангина.

__________________________________________________

В сложной конструктивной трилемме первая посылка состоит из трех различных оснований и трех различных вытекающих из них следствий, т. е. содержит три условных суждения. Вторая посылка является дизъюнктивным суждением, в котором утверж­дается (по крайней мере) одно из трех оснований. В заключении утверждается (по крайней мере) одно из трех следствий.

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

Кто поедет прямо, будет в холоде и голоде; кто поедет направо, тот сам останется цел, а конь будет убит; кто поедет налево, тот сам будет убит, а конь останется цел.

Человек может поехать либо прямо, либо направо, либо налево.

_____________________________________________________________

Он или будет в холоде и голоде, или сам останется цел, а конь будет убит, или сам будет убит, а конь останется цел.

Приведем еще пример трилеммы.

В своих воспоминаниях о Великой Отечественной войне Л. И. Баркович пишет об истории Ладожской дороги. Ладожс­кая дорога, Дорога жизни, была фронтом. Направляясь в Ленин-

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

Леонид Баркович рассуждает:

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

Поехать вперед, сообщить, что тут стоит машина? Но по­мощь может прийти поздно...

Взять на буксир его машину - лед мог не выдержать».

Леонид принял решение: «Давай трос! На буксире у меня войдешь!» Добрались благополучно.

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

Приведем пример простой деструктивной трилеммы.

Если в ближайшее время погода ухудшится» то у него будут болеть суставы, повысится артериальное давление и будет ломить поясница.

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

__________________________________________

В ближайшее время погода не ухудшится.

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

Сокращенные условные, разделительные и условно-разделительные умозаключения

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

1. В умозаключении заключение в явном виде может не формулироваться. «Если данное тело - металл, то оно при на­ревании расширяется. Данное тело - металл». Заключение Данное тело при нагревании расширяется» не формулируетсяв явном виде, а просто подразумевается в этом условно-катего­рическом умозаключении.

В приводимом ниже разделительно-категорическом умозак­лючении также пропущено заключение. «Многоугольники делят­ся на правильные и неправильные. Данный многоугольник непра­вильный». Заключение «Данный многоугольник не является пра­вильным» опущено; оно легко может быть восстановлено.

В дилеммах и трилеммах заключение также может явно не формулироваться, а подразумеваться. Например, в приведенной ниже сложной деструктивной дилемме заключение явно не при­сутствует:

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

2. В умозаключении пропущена одна из посылок. В умозак­лючениях может быть пропущена первая посылка; она может подразумеваться, если выражает известное положение, теорему, закон и т. д.

В условно-категорическом умозаключении «Сумма цифр дан­ного числа делится на 3, следовательно, данное число делится на 3» опущена первая посылка, формулирующая известную матема­тическую закономерность: «Если сумма цифр данного числа делится на 3, то все число делится на 3».

В приводимом ниже разделительно-категорическом умозак­лючении также пропущена первая посылка: «Существительное в русском языке может быть женского, мужского или среднего рода», а все умозаключение сокращенно формулируется так: «Данное существительное русского языка не является сущест­вительным ни женского рода, ни среднего рода. Следовательно, данное существительное мужского рода».

В приведенном ниже примере сложной конструктивной дилем­мы: «Если я пойду через болото, то могу попасть в трясину, а если я пойду в обход, то не успею вовремя доставить донесение. Следовательно, я могу попасть в трясину или не успею вовремя доставить донесение» - вторая посылка не формулируется, а лишь подразумевается: «Я могу идти через болото или в обход».

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

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

Прямые выводы кроме рассмотренных выше форм включают и такие виды:

1. Простая контрапозиция.

Правило простой контрапозиции имеет следующий вид:

а имплицирует b , то отрица­ние b имплицирует отрицание а ». Здесь а и b - переменные, обозначающие произвольные высказывания, или пропозицио­нальные переменные.

1. Если данный треугольник равносторонний, то он равноугольный.

____________________________________________________________________

Если данный треугольник не равноугольный, то он не равносторонний.

2. Если это вещество фосфор, то оно непосредственно с водородом не сое­диняется.

_____________________________________________________________________________________

Если вещество непосредственно с водородом соединяется, то это вещество не является фосфором.

Заметим, что в логике высказываний

Формуланазывается законом простой контрапозиции.

2. Сложная контрапозиция.

- правило сложной контрапозиции.

Пример рассуждения по правилу сложной контрапозиции:

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

________________________________________________________________________

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

3. Правило импортации (конъюнктивного объединения условий). П. С. Новиков называет его правилом соединения посылок:

Это правило читается так: «Если а имплицирует, что b имп­лицирует с, то а и b имплицируют с».

В. А. Сухомлинский писал: «Если учитель стал другом ребен­ка, если эта дружба озарена благородным увлечением, порывом к чему-то светлому, разумному, в сердце ребенка никогда не появится зло». На основании правила соединения посылок (пра­вила конъюнктивного объединения условий) мы можем это вы­сказывание В. А. Сухомлинского записать иначе, но оно будет эквивалентно прежнему его высказыванию. Заключение: «Если учитель стал другом ребенка и эта дружба озарена благородным увлечением, порывом к чему-то светлому, разумному, то в сердце ребенка никогда не появится зло».

4. Правило экспортации (разъединения условий):

Это правило читается так: «Если а и b имплицируют с, то а имплицирует, что b имплицирует с. Правило это обратно предыдущему. Поэтому в качестве иллюстрации можно взять те же мысли В. А. Сухомлинского, только сначала прочитать наше полученное заключение, из которого можно прийти к высказыва­нию самого В. А. Сухомлинского.

Условно-разделительным (лемматическим , лат. lemma - «предположение») умозаключением называется такое, в котором

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

Альтернативное определение лемматического силлoгизма

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

Важно! Следует иметь ввиду, что:

  • Каждый случай уникален и индивидуален.
  • Тщательное изучение вопроса не всегда гарантирует положительный исход дела. Он зависит от множества факторов.

Чтобы получить максимально подробную консультацию по своему вопросу, вам достаточно выбрать любой из предложенных вариантов:

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

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

Виды дилемм:

    1. конструктивная (созидательная):
      • простая;
      • сложная.
    2. деструктивная (разрушительная):
      • простая;
      • сложная.

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

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

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

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

Простая деструктивная дилемма

В простой деструктивной дилемме:

    • условная посылка содержит одно основание , из которого вытекает два возможных следствия ;
    • заключение отрицает основание.

Рассуждение направлено от отрицания истинности следствий к отрицанию истинности основания.

Если Н. совершил умышленное преступление (р), значит, в его действиях был прямой (q) или косвенный (r).

Но в действиях Н не было ни прямого (q), ни косвенного умысла (r).

________________________________________________________________
Преступление, совершенное Н., не является умышленным (р).

Ещё пример:

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

У меня нет ни того, ни другого.

________________________________________________

Значит, квартиру не куплю.

а → в а → с
не-в V не-c

_________________________

Сложная деструктивная дилемма

В сложной деструктивной дилемме:

    • условная посылка содержит два основания и два следствия;
    • разделительная посылка отрицает оба следствия;
    • заключение отрицает оба основания.

Рассуждение направлено от отрицания истинности следствий к отрицанию истинности оснований.

Если предприятие является арендным (р), то оно осуществляет предпринимательскую деятельность на основе взятого им в аренду имущественного комплекса (q); если оно является коллективным (r), то осуществляет такую деятельность на основе находящегося в его собственности имущества (s).
Данное предприятие не осуществляет свою деятельность ни на основе взятого в аренду имущественного комплекса (не-q), ни на основе находящегося в его собственности имущества (не-s).

____________________________________________________________
Данное предприятие не арендное (не-р) или не коллективное (не-r).

Ещё пример:

Если бы я был богат, я бы купил автомобиль. Если бы я был бесчестен, я бы его украл.

Я не куплю и не украду.

Значит, я не богат и не бесчестен.

а → в с → d

не-в Λ не-d

___________________

не-а Λ не-с

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

Двумя альтернативами часто невозможно исчерпать всего возможного числа случаев. Например:

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

Но студент может или любить учение, или чувствовать к нему отвращение.

_______________________________________________________________

Значит, поощрение либо излишне, либо бесполезно в деле обучения.

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


§ 9. УСЛОВНО-РАЗДЕЛИТЕЛЬНЫЕ (ЛЕММАТИЧЕСКИЕ) УМОЗАКЛЮЧЕНИЯ
Условно-разделительное умозаключение - это такое умоза­ключение, в котором одна посылка состоит из двух или более условных суждений, а другая является разделительным суждени­ем. В зависимости от числа членов в разделительной посылке это умозаключение может быть дилеммой (если разделительная по­сылка содержит два члена), трилеммой (если разделительная посылка содержит три члена) и вообще полилеммой (число раз­делительных членов больше двух).
Формализация дилеммы

Дилеммы бывают двух видов: конструктивные и деструктив­ные; обе формы дилеммы в свою очередь могут быть простыми и сложными.


Простая конструктивная дилемма

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

В традиционной формальной логике простую конструктив­ную дилемму обычно представляют в виде следующей схемы:
Если А есть В, то С есть D ; если Е есть F , то С есть D .

А есть В или Е есть F .

________________

С есть D .
Приведем пример простой конструктивной дилеммы.

В романе В. Шукшина «Я пришел дать вам волю» написано так: «Давай думать, как быть. Две дороги домой: Кумой или Волгой. Обои закрыты. Там и тут надо пробиваться силой. Добром нас никакой дурак не пропустит. А раз такое дело, давай решим: где легче».

Простая конструктивная дилемма представлена в такой форме:
Если плыть Кумой (а), то надо пробиваться силой (Ь);

если плыть Волгой (с), то надо пробиваться силой (b ).

Можно плыть Кумой (а) или Волгой (с).

______________________________

Надо пробиваться силой (b ).
Выразим суждение «А есть В» переменной а, суждение «С есть D » - переменной b , суждение «Е есть F » - переменной с. Тогда схема простой конструктивной дилеммы выразится в виде следу­ющего правила вывода:

В данном случае формула указанного вида будет такова:

Доказательство тождественной истинности этой формулы мо­жно провести табличным методом. Приведем еще один пример простой конструктивной ди­леммы:


Если я пойду через речку по мосту, меня могут заметить враги;

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

Я могу идти через речку по мосту или вброд.

___________________________________

Меня могут заметить враги.
Сложная конструктивная дилемма

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

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

Т. Тэсс в рассказе «Поединок в море» описывает такую ситу­ацию. Танкер «Ростов» взял около десяти тысяч тонн автомо­бильного бензина и уже готовился в Туапсе к отплытию... Сейчас танкер должен сняться с якоря... Якорь уже вышел из воды... На лапе якоря висит авиабомба, пролежавшая на дне моря двадцать лет. Капитан танкера «Ростов» Александр Котляров думал не только о своем судне, а и о других танкерах, тоже залитых бензином и нефтью, стоящих неподалеку от причалов. «Сколько времени пройдет, пока из Севастополя в Туапсе придут минеры? Бомба может взорваться каждую минуту. Двадцать лет она пролежала под водой, а сейчас может взорваться от любой случайности».

Перед капитаном встала очень сложная дилемма:
Если я оставлю танкер в порту до прибытия минеров, то бомба может

взорваться и повредить много судов; если я уведу танкер в море,

то в случае взрыва пострадает только один танкер.

Я могу оставить танкер в порту до прибытия минеров или увести в море.

________________________________________

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


Капитан принимает такое решение: «Немедленно, не дожида­ясь прибытия из Севастополя минеров, уйти из порта в море. Уйти, чтобы обезопасить другие суда, отплыть на такое расстояние, чтобы в случае взрыва опасность грозила только одному его танкеру. Уйти в море и там утопить бомбу». Танкер ушел из порта, и со второй попытки бомбу удалось утопить в море, а танкер не пострадал.

Так как дилемма означает сложный выбор из двух альтер­натив одной, причем обе они нежелательны для субъекта (такая ситуация характеризуется выражением «из двух зол выбирать наименьшее»), то в древности о дилемме говорили: «Посадить на рога дилеммы». В нашей речи встречается выражение: «Передо мной стоит дилемма» (т. е. сложный выбор).

Схема сложной конструктивной дилеммы:

Формула:


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

Простая деструктивная дилемма

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

Пример:
Если человек болен сыпным тифом, то на 4-6-й день болезни у него будет высокая температура и появится сыпь.

У больного нет высокой температуры или нет сыпи.

____________________________________________

Этот человек не болен сыпным тифом.


Схема этой дилеммы:

Простая деструктивная дилемма может быть построена и по другой схеме:

Этой схеме соответствует формула

Сложная деструктивная дилемма

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

Если А есть В, то С есть D ; если Е есть F , то К есть М .

С не есть D или К не есть М.

___________________________

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

Но Петров не признался в том, что он сегодня не выполнилзадание, или не сделал его к следующему разу.

__________________________________________________

Петров не честен или не добросовестен 4 .


Схема сложной деструктивной дилеммы такая:

Этой схеме соответствует формула которая является законом логики.


В предыдущих схемах, соответствующих четырем видам ди­леммы, во второй (разделительной) посылке союз «или» взят в соединительно-разделительном смысле, т. е. взята нестрогая дизъюнкция (v). Будут ли формулы алгебры логики, соответст­вующие дилеммам (четыре вида), тождественно-истинными, если союз «или» употребляется в строго разделительном смысле, т. е. если взята строгая дизъюнкция (v)? Являются ли законами логики следующие формулы:

1) 2)

3) 4)

(Так как конъюнкция связывает «теснее», чем импликация, то скобки можно опустить.)

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

Некоторые логики под дилеммой понимают такое умозак­лючение:
Если А есть В, то С есть D ; если Е есть F , то G есть H .

Но С не есть D и G не есть H .

___________________________________

Следовательно, А не есть В и Е не есть F .


Пример:

Если бы я был богат, то я бы купил автомобиль.

Если бы я был бесчестен, то я украл бы таковой.

Но я его не купил и не украду.

_______________________________

Я не богат и не бесчестен.


Но здесь вторая посылка и заключение являются конъюнктив­ными, а не дизъюнктивными суждениями (как это должно быть по правилам построения дилеммы), поэтому приведенное выше умозаключение не является дилеммой, так как в нем нет раз­делительной посылки, характерной для дилеммы. Это умозак­лючение есть простая сумма двух условно-категорических умоза­ключений, построенных по правилу modus tollens, который дает истинное заключение. Формула modus tollens такая:

1. Если бы я был богат, то я бы купил автомобиль.

Я не куплю автомобиль.

________________

Я не богат.


2. Если бы я был бесчестен, то я украл бы автомобиль.

Я не украду автомобиль.

_________________

Я не бесчестен.


Итак, перед нами условно-конъюнктивное, а не условно-дизъюн­ктивное (лемматическое) умозаключение.
Трилемма

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


Если у больного грипп, то рекомендуется обратиться к врачу; если у больного

У данного больного или грипп, или острое респираторное заболевание, или ангина.

__________________________________________________

Данному больному рекомендуется обратиться к врачу.
В сложной конструктивной трилемме первая посылка состоит из трех различных оснований и трех различных вытекающих из них следствий, т. е. содержит три условных суждения. Вторая посылка является дизъюнктивным суждением, в котором утверж­дается (по крайней мере) одно из трех оснований. В заключении утверждается (по крайней мере) одно из трех следствий.

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


Кто поедет прямо, будет в холоде и голоде; кто поедет направо, тот сам останется цел, а конь будет убит; кто поедет налево, тот сам будет убит, а конь останется цел.

Человек может поехать либо прямо, либо направо, либо налево.

_____________________________________________________________

Он или будет в холоде и голоде, или сам останется цел, а конь будет убит, или сам будет убит, а конь останется цел.


Приведем еще пример трилеммы.
В своих воспоминаниях о Великой Отечественной войне Л. И. Баркович пишет об истории Ладожской дороги. Ладожс­кая дорога, Дорога жизни, была фронтом. Направляясь в Ленин-

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

Леонид Баркович рассуждает:

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

Поехать вперед, сообщить, что тут стоит машина? Но по­мощь может прийти поздно...

Взять на буксир его машину - лед мог не выдержать».

Леонид принял решение: «Давай трос! На буксире у меня войдешь!» Добрались благополучно.

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

Приведем пример простой деструктивной трилеммы.


Если в ближайшее время погода ухудшится» то у него будут болеть суставы, повысится артериальное давление и будет ломить поясница.

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

__________________________________________

В ближайшее время погода не ухудшится.


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

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

1. В умозаключении заключение в явном виде может не формулироваться. «Если данное тело - металл, то оно при на­ревании расширяется. Данное тело - металл». Заключение Данное тело при нагревании расширяется» не формулируетсяв явном виде, а просто подразумевается в этом условно-катего­рическом умозаключении.

В приводимом ниже разделительно-категорическом умозак­лючении также пропущено заключение. «Многоугольники делят­ся на правильные и неправильные. Данный многоугольник непра­вильный». Заключение «Данный многоугольник не является пра­вильным» опущено; оно легко может быть восстановлено.

В дилеммах и трилеммах заключение также может явно не формулироваться, а подразумеваться. Например, в приведенной ниже сложной деструктивной дилемме заключение явно не при­сутствует:

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

2. В умозаключении пропущена одна из посылок. В умозак­лючениях может быть пропущена первая посылка; она может подразумеваться, если выражает известное положение, теорему, закон и т. д.

В условно-категорическом умозаключении «Сумма цифр дан­ного числа делится на 3, следовательно, данное число делится на 3» опущена первая посылка, формулирующая известную матема­тическую закономерность: «Если сумма цифр данного числа делится на 3, то все число делится на 3».

В приводимом ниже разделительно-категорическом умозак­лючении также пропущена первая посылка: «Существительное в русском языке может быть женского, мужского или среднего рода», а все умозаключение сокращенно формулируется так: «Данное существительное русского языка не является сущест­вительным ни женского рода, ни среднего рода. Следовательно, данное существительное мужского рода».

В приведенном ниже примере сложной конструктивной дилем­мы: «Если я пойду через болото, то могу попасть в трясину, а если я пойду в обход, то не успею вовремя доставить донесение. Следовательно, я могу попасть в трясину или не успею вовремя доставить донесение» - вторая посылка не формулируется, а лишь подразумевается: «Я могу идти через болото или в обход».

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

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

Прямые выводы кроме рассмотренных выше форм включают и такие виды:

1. Простая контрапозиция.

Правило простой контрапозиции имеет следующий вид:

а имплицирует b , то отрица­ние b имплицирует отрицание а ». Здесь а и b - переменные, обозначающие произвольные высказывания, или пропозицио­нальные переменные.

1. Если данный треугольник равносторонний, то он равноугольный.

____________________________________________________________________

Если данный треугольник не равноугольный, то он не равносторонний.


2. Если это вещество фосфор, то оно непосредственно с водородом не сое­диняется.

_____________________________________________________________________________________

Если вещество непосредственно с водородом соединяется, то это вещество не является фосфором.
Заметим, что в логике высказываний

Формуланазывается законом простой контрапозиции.

2. Сложная контрапозиция.

- правило сложной контрапозиции.

Пример рассуждения по правилу сложной контрапозиции:


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

________________________________________________________________________

Если у меня были деньги и я не поехала на каникулы домой, то, следовательно, а не была здорова.
3. Правило импортации (конъюнктивного объединения условий). П. С. Новиков называет его правилом соединения посылок:

Это правило читается так: «Если а имплицирует, что b имп­лицирует с, то а и b имплицируют с».

В. А. Сухомлинский писал: «Если учитель стал другом ребен­ка, если эта дружба озарена благородным увлечением, порывом к чему-то светлому, разумному, в сердце ребенка никогда не появится зло». На основании правила соединения посылок (пра­вила конъюнктивного объединения условий) мы можем это вы­сказывание В. А. Сухомлинского записать иначе, но оно будет эквивалентно прежнему его высказыванию. Заключение: «Если учитель стал другом ребенка и эта дружба озарена благородным увлечением, порывом к чему-то светлому, разумному, то в сердце ребенка никогда не появится зло».

4. Правило экспортации (разъединения условий):

Это правило читается так: «Если а и b имплицируют с, то а имплицирует, что b имплицирует с. Правило это обратно предыдущему. Поэтому в качестве иллюстрации можно взять те же мысли В. А. Сухомлинского, только сначала прочитать наше полученное заключение, из которого можно прийти к высказыва­нию самого В. А. Сухомлинского.


§ 10. НЕПРЯМЫЕ (КОСВЕННЫЕ) ВЫВОДЫ
К ним относятся: рассуждение по правилу введения имплика­ции; сведение «к абсурду»; рассуждение «от противного» (проти­воречащего).

1. Рассуждение по правилу введения импликации.

Правило вывода сформулировано так:

Данное правило читается так: «Если из посылок гамма (Г) и посылки а выводится заключение b , то из одних посылок Г выводится, что а имплицирует b ». Это правило вывода имеет и другое название: «Теорема о дедукции». Здесь «Г» может быть и пустым множеством посылок.

Приведем пример рассуждения студента, поясняющий приве­денное правило. Пусть Г содержит следующие посылки: 1) «Я сдал экзамен по педагогике на «отлично»; 2) «Я сдал экзамен по логике на «отлично»; 3) «Я сдал экзамен по математике на отлично». Посылка а означает: «Я успешно выполнил всю порученную мне работу на факультете». Заключение b означает: «Я получу повышенную стипендию». То, что записано над чертой, будет содержательно прочитано так: «Если я сдал экзамены по педагогике, логике и математике на «отлично» и успешно выполнил всю порученную мне работу на факультете, то из этого последует заключение: «Я получу повышенную стипендию». То, что записано под чертой, содержательно можно прочитать так: Я сдал экзамены по педагогике, логике и математике на «отлич­но». Отсюда следует заключение: «Если я успешно выполню всю порученную мне работу на факультете, то я получу повышенную стипендию».

2. Правило сведения к абсурду. Это правило иначе называется правилом введения отрицания.

Правило читается так: «Если из посылок Г и посылки а выво­дится противоречие, т. е. b и не- b , то из одних Г выводится не-а». Метод сведения к абсурду широко применяется в мышлении, как научном, так и в полемическом и в обыденном.

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

Эта формула говорит о том, что суждение а надо отрицать (считать ложным), если из а вытекает противоречие.

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

3. Правило непрямого вывода - рассуждение «от противно­го» (противоречащего). Доказательство «от противного» приме­няется тогда, когда нет аргументов для прямого доказательства. Методом «от противного» нередко доказываются математичес­кие теоремы.

Суть рассуждения «от противного» подробно будет показана в теме «Доказательство», в разделе «Косвенное доказательство».

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


§ 11. ИНДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ И ИХ ВИДЫ
Логическая природа индукции

Дедуктивные умозаключения позволяют выводить из истин­ных посылок при соблюдении соответствующих правил истинные заключения. Индуктивные умозаключения обычно дают нам не достоверные, а лишь правдоподобные заключения.

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

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

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

Заключение может быть сделано из единичных суждений, как это видно из приведенного ниже умозаключения. Явление, о ко­тором пойдет речь, образно называют «парадом» планет. Один раз в 179 лет все планеты располагаются вместе по одну сторону от Солнца в секторе с углом примерно в 95 градусов. В послед­ний раз это явление наблюдалось в 1982 г.

Земля в 1982 г. была расположена вместе с другими планетами по одну сторону от Солнца в секторе с углом приблизительно в 95 градусов.

Марс в 1982 г. был расположен вместе с другими планетами по одну сторону от Солнца в секторе с углом приблизительно 95 градусов

………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………

Меркурий в 1982 г. был расположен вместе с другими планетами по одну сторону от Солнца в секторе с углом приблизительно 95 градусов.

Земля, Марс, Венера, Нептун, Плутон, Сатурн, Уран, Юпитер, Меркурий - планеты Солнечной системы.

________________________________________________________________________________________________________

Все планеты Солнечной системы в 1982 г. были расположены вместе по одну сторону от Солнца в секторе с углом приблизительно 95 градусов.
Заключение по полной индукции может быть сделано не только из единичных, но и из общих суждений.

К полной индукции относится доказательство по случаям. Много примеров доказательства по случаям предоставляет математика, в том числе ее школьный курс. Пример дока­зательства разбором случаев дает теорема: «Объем прямо­угольного параллелепипеда равен произведению трех его из­мерений» (v - abc ). При доказательстве этой теоремы рас­сматриваются особо следующие три случая: 1) измерения вы­ражаются целыми числами; 2) измерения выражаются дроб­ными числами; 3) измерения выражаются иррациональными числами.

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

1. Точно знать число предметов или явлений, подлежащих рассмотрению.

2. Убедиться, что признак принадлежит каждому элементу этого класса.
Математическая индукция

Один из важнейших методов доказательства в математике основан на аксиоме (принципе) математической индукции. Пусть 1) свойство А имеет место при n - 1; 2) из предположения о том, что свойством А обладает какое-либо натуральное число л, сле­дует, что этим свойством А обладает и число n +1. Тогда делаем заключение, что свойством А обладает любое натуральное число.

Математическая индукция используется при выведении ряда формул арифметической и геометрической прогрессии, формул бинома Ньютона и др.
§ 12. ВИДЫ НЕПОЛНОЙ ИНДУКЦИИ
Неполная индукция применяется в тех случаях, когда мы, во-первых, не можем рассмотреть все элементы интересующего нас класса явлений; во-вторых, если число объектов либо бес­конечно, либо конечно, но достаточно велико; в-третьих, рас­смотрение уничтожает объект (например, «Все деревья имеют корни»). Тогда мы рассматриваем не все случаи изучаемого явления, а заключение делаем для всех. Например, при нагрева­нии мы наблюдаем расширение азота, кислорода, водорода и де-аем заключение, что все газы при нагревании расширяются. Один из видов неполной индукции - научная индукция - имеет очень большое значение, так как позволяет формулировать общие суждения.

По способам обоснования заключения неполная индукция делится на три вида.


I вид. Индукция через простое перечисление (популярная индукция)

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

На основе популярной индукции народ вывел немало полез­ных примет: ласточки низко летают - быть дождю; если крас­ный закат солнца, то завтра будет ветреный день, и др.
II вид. Индукция через анализ и отбор фактов

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

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

Различаются два вида понятия «вероятность» - объективная и субъективная вероятность. Объективная вероятность - понятие, характеризующее количественную меру возможности появ­ления некоторого события при определенных условиях. Этот вид вероятности дает характеристику объективным свойствам и отношениям массовых явлений случайного характера. Объективная вероятность выражается с помощью математической теории ве­роятностей. Например, вероятность выпадения «орла» при бро­сании монеты равна 1/2, а вероятность выпадения той или иной грани при бросании куба равна 1/6. Понятие математической вероятности можно плодотворно применять лишь к массовым явлениям, т. е. происходящим много раз. К таким событиям относится появление ребенка определенного пола, появление определенной буквы в большом тексте, выпадение дождя, появ­ление дефектного изделия в отдельных видах массовой продук­ции и т. д.

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

Условия повышения степени вероятности выводов посред­ством индукции через анализ и отбор фактов таковы:

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

2) элементы класса должны быть отобраны планомерно и быть более разнообразными;

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

4) изучаемый признак должен быть существенным для пред­метов рассматриваемого класса.

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

Все множество социальных объектов, изучаемое в пределах, очерченных программой социологического исследования и территориалыю-временными границами, образует генеральную со­вокупность. Возможно сплошное обследование, но оно является примером полной индукции (например, всесоюзные переписи, проводившиеся ЦСУ при Совете Министров СССР в 1959 г. и 1979 г., или, например, изучение всех объектов в пределах данного региона, города, учреждения, школы и т. д.). Здесь же мы рассматриваем неполную индукцию. Примером ее является эмпирическое социологическое исследование, которое проводит­ся на некоторой части генеральной совокупности. Часть социа­льных объектов генеральной совокупности, выступающих в каче­стве объектов наблюдения, называется выборочной совокупно­стью. Модель (т. е. выборочная совокупность) по размеру, разу­меется, меньше, чем моделируемая (генеральная) совокупность. Чтобы лучше изучить все целое, надо более четко и правильно выбрать для изучения его часть, тогда будет меньше ошибок в заключениях о целом.

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

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

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

При соответствующем виде выборки и выполнении условий ее осуществления повышается степень вероятности заключений по­средством индукции через анализ и отбор фактов.


III вид. Научная индукция

Научной индукцией называется такое умозаключение, в кото­ром на основании познания необходимых признаков или необ­ходимой связи части предметов класса делается общее заключе­ние обо всех предметах этого класса. Научная индукция, так же как полная индукция и математическая индукция, дает достоверное заключение. Достоверность (а не вероятность) заключений научной индукции, хотя она охватывает и не все предметы изуча­емого класса, а лишь их часть (и притом небольшую), объясняет­ся тем, что учитывается важнейшая из необходимых связей - причинная. С помощью научной индукции делается заключение: Всем людям для их жизнедеятельности необходима влага». I частности, Ю. С. Николаев и Е. И. Нилов в книге «Голодание ради здоровья» пишут, что человек без пищи (при полном голодании) может прожить 30-40 дней, а воду он должен пить ежедневно: без воды человек не может жить, ибо процесс обезвоживания организма человека ведет к нарушению внутриклеточ­ного обмена веществ, что приводит к гибели человека. Голодание же, проводимое под наблюдением врачей, наоборот, способствуют при многих заболеваниях (например, хроническом нефрите, гипертонической болезни, стенокардии, атеросклерозе, нейродер­мите, бронхиальной астме, шизофрении, общем ожирении и мно­гих других болезнях) выздоровлению при одноразовом или по­вторном длительном голодании. Этот вывод тоже был получен путем научной индукции.

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

Применение научной индукции позволило сформулировать научные законы, например физические законы Архимеда, Кеп­лера, Ома и др. Так, закон Архимеда есть проявление свойства всякой жидкости оказывать давление снизу вверх на погруженное в нее тело.

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

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

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

Необходима четкая фиксация существенного различия клас­сического и современного понимания индукции, что важно для решения таких вопросов методологии, как индукция и проблема открытия научных законов, индукция и ее роль в жизни и др. Для различения двух смыслов индукции предполагают классическое понимание обозначить термином «индукция!» (сокращенноИ 1), а современное -- «индукция 2 » (И 2) 6 .
§ 13. ИНДУКТИВНЫЕ МЕТОДЫ УСТАНОВЛЕНИЯ ПРИЧИННЫХ СВЯЗЕЙ
Понятие причины и следствия

Причина - явление или совокупность явлений, которые непо­средственно обусловливают, порождают другое явление (следст­вие).

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

Причинная связь является необходимой, ибо при наличии причины действие (следствие) обязательно наступит. Например, хорошая подготовка и музыкальные способности являются при­чиной того, что этот человек станет хорошим музыкантом. Но причину нельзя смешивать с условиями. Ребенку можно создать все условия: купить инструмент и ноты, пригласить учителя, купить книги по музыке и т. д., но если нет способностей, то не выйдет из ребенка хорошего музыканта. Условия способствуют или, наоборот, мешают действию причины, но условия и причина не тождественны.
Методы установления причинной связи

Причинная связь между явлениями определяется посредством ряда методов, описание и классификация которых восходит к Ф. Бэкону и которые были развиты Дж. Ст. Миллем.

Метод сходства. Допустим, требуется выяснить причину ка­кого-то явления а. Исходя из определения причины как явления или совокупности явлений, которые предшествуют другому явле­нию и вызывают его, в данном случае явление а, будем анализи­ровать предшествующие а явления (табл. 11). В первом случае появления а ему предшествовали обстоятельства ABC , во втором случае - ADE , в третьем случае - АКМ. Что могло быть при­чиной а? Так как во всех трех случаях общим обстоятельством было А, а все остальные обстоятельства были различны, то делается вывод, что, вероятно, А является причиной или частью причины явления а.
Таблица 11

Вероятно, А есть причина а.

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

Если наблюдаемые случаи какого-либо явления имеют общим лишь одно обстоятельство, то, очевидно, оно и есть причина данного явления.

Метод этот связан с наблюдением.

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

Вероятно, А есть причина а.

Метод различия в большей степени связан с экспериментом, чем с наблюдением, так как нам приходится произвольно отделять то или другое обстоятельство от других обстоя­тельств. Например, в аэропорту, чтобы выяснить, нет ли у пас­сажиров крупных металлических предметов, им предлагают пройти через устройство, снабженное электромагнитом и подсо­единенным к нему электрическим звонком. Когда один из туристов группы проходил через данное устройство, зазвенел звонок. Ему предложили вынуть из карманов все металлические предметы. После удаления им связки ключей и металлических денег, когда он повторно прошел через данное устройство, звонок не зазвенел. Следовательно, причиной звонка было наличие именно данных металлических предметов у этого пас­сажира. Все остальные предшествующие обстоятельства были теми же самыми.

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

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

Метод сопутствующих изменений. Если при изменении пред­шествующего обстоятельства А изменяется и изучаемое нами явление а, а все остальные предшествующие обстоятельства, например В, С, D , Е, остаются неизменными, то А является причиной а.

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

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

S - υ t - формула равномерного движения, устанавливающая, что при изменении υ или t (скорости движения или времени движения) прямо пропорционально изменяется и путь (величинаS ).

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

Если изменение одного обстоятельства всегда вызывает изме­нение другого, то первое обстоятельство есть причина второго.

Метод остатков. Пусть изучаемое явление К распадается на несколько однородных частей: а, b , с, d . Установлено, что ему предшествуют обстоятельства: А, В, С. При этом известно, что А является причиной а, В - причиной b , С - причиной с. Долж­но быть сходное с А, В, С обстоятельство D , которое является причиной остающегося необъясненным явления d .

Примером, иллюстрирующим этот метод, является открытие планеты Нептун. Наблюдая за величинами отклонения планеты Уран от вычисленной для нее орбиты, ученые пришли к выводу, что отклонения на величины а, b , с, вызванные наличием влияния планет А, В, С, не исчерпывают реального отклонения от расчет­ной орбиты. Оставалась еще величина d . На основании этого был сделан вывод, что должна существовать неизвестная планета D , которая и вызывает это отклонение. У. Леверье рассчитал поло­жение этой неизвестной планеты, а в 1846 г. И. Галле, построив телескоп, нашел ее на небесной сфере. Так была открыта планета Нептун.

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

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


§ 14. ДЕДУКЦИЯ И ИНДУКЦИЯ В УЧЕБНОМ ПРОЦЕССЕ
Как в любом процессе мышления (научного или обыденного), так и в процессе обучения дедукция и индукция взаимосвязаны. «Индукция и дедукция связаны между собой столь же необ­ходимым образом, как синтез и анализ. Вместо того чтобы односторонне превозносить одну из них до небес за счет другой, надо стараться применять каждую на своем месте, а этого можно добиться лишь в том случае, если не упускать из виду их связь между собой, их взаимное дополнение друг друга» 7 .В индукции мы идем от посылок, выражающих знания меньшей степени общности, к новому суждению большей степени общности, от отдельных конкретных явлений к обобщению. В дедукдии ход рассуждения противоположный, т. е. от обобщений, выводов мы идем к отдельным конкретным фактам или суждениям меньшей степени общности.

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

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

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

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

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

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

1+3 + 5 + 7 + ... + (2n -1) 12 .

Обозначив эту сумму через S (n ), положим n = 1, 2, 3, 4, 5; тогда будем иметь:

S (1)=1,

S (2)= 1+3=4,

S (3)=1+3 + 5 = 9,

S (4)=1+3 + 5 + 7 = 16,

S (5)=1 + 3 + 5+ 7 + 9=25.

Мы наблюдаем интересную закономерность: при n = 1, 2, 3, 4, 5 сумма л последовательных нечетных чисел равна n 2 . Но заклю­чение по аналогии, что это имеет место при любом л, сделать нельзя, ибо оно может оказаться ошибочным. Применим метод математической индукции, т. е. предположим, что для какого-то числа л наша формула верна, и попытаемся доказать, что Тогда она верна и для следующего числа n +1. Итак, мы полагаем, что S (n )-1 + 3 + 5 + ... + (2n -1)=n 2 . Вычислим S (n +1)=1+3 + 4+ 5 + ... +(2n - 1) + (2n +1). Но по предположению сумма n первых слагаемых равна л 2 , следовательно, S (n +1) = n 2 + (2n + 1) = (n +1) 2 .Итак, предположив, что S (n ) - n 2 , мы доказали, чтo S (n + 1) = (n +1) 2 . Но мы выше проверили, что эта формула верна для n = 1, 2, 3, 4, 5, следовательно, она будет верна и для n =6) и для n =7 и т. д. Формула считается доказанной для любого числа слагаемых.

Этим же методом доказывается, что сумма n первых натура­льных чисел, обозначенная S 1 (n ), равнат. е.

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

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

В ходе обучения математике учащиеся приобретают способ­ность к свертыванию процесса математического рассуждения при решении задач знакомого типа - об этом писали еще известные русские методисты С. И. Шохо-Троцкий (в 1916 г.) и Ф. А. Эрн (в 1915 г.). Они отмечали, что «при многократном решении однотипных задач учащимися отдельные этапы мыслительного процесса сокращаются и перестают осознаваться, но когда нуж­но, учащийся может вернуться к полному развернутому рассуж­дению» 16 . Методисты-математики П. А. Шеварев и Н. А. Менчинская в начале 40-х годов также установили соответственно на алгебраическом и арифметическом материале, что «наряду с развернутыми умозаключениями в умственной деятельности школьников при решении задач занимают определенное место и сверну­тые умозаключения, когда ученик не осознает правила общего положения, в соответствии с которыми он фактически действу­ет... не выполняет всей той цепи соображений и умозаключений, которые образуют полную, развернутую систему решения» 17 . Сокращение процесса рассуждения возникает благодаря упра­жнениям, причем способные к математике учащиеся переходят к свернутым рассуждениям быстро, средние - медленнее, у не­способных же не замечалось сколько-нибудь заметного свертыва­ния даже в результате многих упражнений. В. А. Крутецкий высказывает такую гипотезу: «Вообще никогда и нигде, вероят­но, человек не мыслит до конца развернутыми структурами» 18 . Однако способные ученики мыслят свернутыми структурами, сокращенными умозаключениями при решении не только одно­типных, но и новых задач; при этом по просьбе экспериментатора эти учащиеся восстанавливали свернутые структуры до полной (с их точки зрения) структуры. «Свернутые» мыслительные струк­туры способствуют более быстрой переработке информации, ускорению процесса решения задач, упрощают выполнение сложных операций.

Изучая компоненты структуры математических способностей школьников, В. А. Крутецкий проанализировал высказывания ряда ученых-математиков и преподавателей математики средних школ по этому вопросу. Приблизительно 38% опрошенных това­рищей обратили внимание на свертывание процесса рассуждения у способных учащихся. Приведем эти высказывания. «Процесс рассуждения у способных учащихся сокращен и никогда не раз­вернут до полной логической структуры. Это очень экономно, и в этом его значение»; «Я часто наблюдал, как мыслят способ­ные ученики, - для учителя и класса это развернутый и последо­вательный во всех звеньях процесс, а для себя - это отрывоч­ный, беглый, сокращенный, прямо стенограмма мысли» 19 .

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

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

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

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


ч. 1 ... ч. 2 ч. 3 ч. 4 ч. 5 ч. 6 ... ч. 8 ч. 9

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

Если А есть В, то С есть D ; если Е есть F, то К есть М.

С не есть D или К не есть М.

___________________________

А не есть В или Е не есть F.

Примером рассуждения по форме сложной деструктивной дилем­мы может быть следующий вывод:

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

Но Петров не признался в том, что он сегодня не выполнилзадание, или не сделал его к следующему разу.

__________________________________________________

Петров не честен или не добросовестен 4 .

Схема сложной деструктивной дилеммы такая:

Этой схеме соответствует формула которая является законом логики.

В предыдущих схемах, соответствующих четырем видам ди­леммы, во второй (разделительной) посылке союз «или» взят в соединительно-разделительном смысле, т. е. взята нестрогая дизъюнкция (v). Будут ли формулы алгебры логики, соответст­вующие дилеммам (четыре вида), тождественно-истинными, если союз «или» употребляется в строго разделительном смысле, т. е. если взята строгая дизъюнкция (v)? Являются ли законами логики следующие формулы:

1) 2)

3) 4)

(Так как конъюнкция связывает «теснее», чем импликация, то скобки можно опустить.)

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

Некоторые логики под дилеммой понимают такое умозак­лючение:

Если А есть В, то С есть D; если Е есть F, то G есть H .

Но С не есть D и G не есть H .

___________________________________

Следовательно, А не есть В и Е не есть F.

Если бы я был богат, то я бы купил автомобиль.

Если бы я был бесчестен, то я украл бы таковой.

Но я его не купил и не украду.

_______________________________

Я не богат и не бесчестен.

Но здесь вторая посылка и заключение являются конъюнктив­ными, а не дизъюнктивными суждениями (как это должно быть по правилам построения дилеммы), поэтому приведенное выше умозаключение не является дилеммой, так как в нем нет раз­делительной посылки, характерной для дилеммы. Это умозак­лючение есть простая сумма двух условно-категорических умоза­ключений, построенных по правилу modus tollens, который дает истинное заключение. Формула modus tollens такая:

1. Если бы я был богат, то я бы купил автомобиль.

Я не куплю автомобиль.

________________

Я не богат.

2. Если бы я был бесчестен, то я украл бы автомобиль.

Я не украду автомобиль.

_________________

Я не бесчестен.

Итак, перед нами условно-конъюнктивное, а не условно-дизъюн­ктивное (лемматическое) умозаключение.