Софизм рогатый логическая ошибка

Краткость — сестра таланта Статья написана лаконично, да добавить мало что.

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

Оригинальная формулировка[]

Дошедшая до наших дней формулировка гласит:

«Что ты не потерял, ты имеешь. Рогов ты не терял. Стало быть, ты рогат»

Решение[]

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

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

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

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

Ошибки дедукции. Логические ошибки могут быть по отношению к тезису.

Если доказывается не то, что требовалось доказать, то такая подмена тезиса называется ignoratio elenchi (elenchus означает опровержение какого-либо аргумента, а ignoratio elenchi означает незнание того силлогизма, которым можно опровергнуть противника). Например, если нужно доказать, что что-либо несправедливо в моральном смысле, а кто-нибудь стал бы доказывать, что это несправедливо в юридическом смысле, то он вместо одного доказывал бы совсем иное, хотя и сходное. Если доказывается что-либо отличное по роду от того, что нужно доказать; это будет ошибкой μετάβασις είσ άλλο γένοζ или «переходом в другой род». Например, когда кто-нибудь хочет доказывать невиновность обвиняемого тем, что другие совершили то же самое преступление, но избегли наказания.

Уклонение от тезиса может происходить ещё и в том смысле, что доказывается слишком, мало, так что тезис частью остаётся недоказанным, или доказывается слишком много, так что из данных оснований следует не только тезис, но и какое-нибудь ложное положение. Такое ошибочное доказательство называют: qui nimium probat, nihil probat («кто доказывает чересчур, тот ничего не доказывает»). Например, для доказательства положения, что сумма углов треугольника равняется двум прямым, недостаточно было бы доказывать, что эта сумма будет не больше 180° (здесь доказывается слишком мало). Если бы мы хотели доказать, что кто-нибудь добродетелен, и при этом стали бы доказывать, что о нём ничего не известно дурного, то этим доказывалось бы слишком мало. Если бы кто-нибудь стал доказывать недозволительность самоубийства на том основании, что человек не может у себя отнимать того, что он сам себе не дал, то доказывал бы слишком много, потому что из его доказательства выходило бы, что он не может резать ногти, волосы, что он не может продавать унаследованное или полученное в подарок и т.п. Поэтому он тезиса, собственно, не доказывает. Как легко видеть, такое ошибочное доказательство получается в том случае, когда приводятся положения, которые оказываются ложными при данной степени общности, но которые могли бы быть истинными при меньшей степени общности.

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

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

Основная ошибка, error fundamentalis, – ложное основное положение, на котором строится какое-либо доказательство и из которого могут делаться различные выводы. Например, основной ошибкой в астрономических рассуждениях до Коперника был аргумент, что Солнце и звёзды вращаются вокруг Земли.

Ошибка petitio principii («предрешение; предвосхищение основания») бывает тогда, когда для доказательства какого-либо положения мы кладём в основу доказательства такое положение, которое предполагает истинным доказываемое положение. Положим, кто-нибудь хочет доказать тезис:

«Все частички материи имеют один и тот же вес».

На вопрос, почему он так думает, он мог бы привести следующее основание доказательства:

«Если мы возьмём два тела с одинаковым объёмом, то окажется, что то тело, которое тяжелее, имеет большее число частичек, т.е. больший вес зависит от количества частичек».

На вопрос, откуда же известно, что больший вес тела с одинаковым объёмом зависит именно от количества частичек, он ответит:

«Если принять в соображение, что все частички материи имеют одинаковый вес, то сделается вполне очевидным, что чем тело тяжелее, тем большее число частичек в нём содержится при одинаковом объёме».

В этом примере тезис доказывается при помощи положения, которое само может быть доказано при допущении истинности тезиса. Таким образом, в ошибке petitio principii мы принимаем за истинное то положение, которое должно быть доказано.

Родственными с petitio principii являются ошибки: idem per idem («то же через то же») и circulus in demonstrando («круг в доказательстве»). Ошибка idem per idem – когда какое-либо положение доказывается посредством этого самого положения. Например, на вопрос, почему мы видим сквозь стекло, иногда отвечают: потому, что оно прозрачно; но очевидно, что назвать вещество прозрачным – значит, другими словами, сказать, что сквозь него можно видеть.

Ошибкой circulus in demonstrando называется тот случай, когда тезис A доказывается посредством аргумента B, который в свою очередь доказывается посредством аргумента A. Например, мы утверждаем, что сочинение того или иного писателя заслуживает доверия, потому что он правдив. Нас спрашивают:

«Откуда вам известно, что этот писатель правдив?», и мы отвечаем: «Это доказывается содержанием его сочинений». В этом случае мы делаем круг в доказательстве.

Особняком стоят следующие ошибки.

Ошибка a dicto secundum quid ad dictum simpliciter («от сказанного в относительном смысле к сказанному безотносительно») возникает в том случае, когда выражение, взятое в условном, относительном смысле, принимается затем в смысле безусловном. Например, мышьяк, стрихнин, синильная кислота, будучи введены в организм в значительном количестве, причиняют смерть. Мы в данном случае об этих веществах говорим в условном смысле, т.е. говорим об их ядовитости, когда они введены в организм «в значительном количестве». Но если бы мы сказали, что они всегда причиняют смерть, то мы допустили бы указанную ошибку, потому что в очень малых дозах они не смертельны и, как известно, употребляются в качестве лекарств. Во втором случае мы отбросили то условие, которое указывали в первом случае.

Ошибка fallacia a sensu composite ad sensum divisum («ошибка от собирательного смысла к смыслу разделительному») происходит вследствие смешения термина собирательного с термином общим. Когда мы употребляем общий термин, того, что справедливо относительно целого класса, обозначаемого общим термином, справедливо и относительно каждого индивидуума, входящего в этот класс; но когда мы употребляем собирательный термин, то это может быть несправедливо. То, что справедливо относительно целого, обозначаемого собирательным термином, то может быть несправедливо относительно частей, входящих в это целое. Например, какое-нибудь общество, в котором я состою членом, приняло решение, заслуживающее порицания. Если бы кто-нибудь стал и меня упрекать за это решение, то он допустил бы ошибку fallacia a sensu composite ad sensum divisum, ибо это утверждение, справедливое относительно общества, взятого в целом, может быть совершенно несправедливо относительно отдельных членов этого общества, которые могли подавать свой голос против указанного решения.

Fallacia a sensu diviso ad sensum compositum («ошибка от смысла разделительного к смыслу собирательному») получается в том случае, когда мы о собирательном целом утверждаем то, что справедливо только относительно частей этого целого. Здесь происходит также смешение между термином общим и собирательным. В общих понятиях то, чего мы не можем сказать относительно индивидуума того или другого класса, мы не можем утверждать и о самом классе. В собирательных понятиях, наоборот, мы о частях собирательного целого можем утверждать много такого, чего не можем утверждать относительно целого. Например, кто-нибудь, рассуждая о своих расходах, может сказать: «Этот расход меня не разорит», и о другом расходе скажет: «И этот расход меня не разорит». Если он будет рассуждать таким образом и обо всех остальных расходах, то он должен будет признать, что все расходы его не разорят, что будет ошибочно: то, что справедливо относительно каждого расхода, взятого в отдельности, может быть совсем несправедливо относительно всех расходов, взятых вместе. Другой пример. Больной хочет определить, смертельна ли его болезнь или нет. Рассмотрев каждый симптом в отдельности, он находит, что каждый симптом в отдельности не смертелен; отсюда он делает вывод, что его болезнь не смертельна. Но это рассуждение может оказаться неправильным, потому что каждый симптом в отдельности может быть не смертельным, а все в целом могут быть смертельны.

Ошибки индукции. К ошибкам, связанным с индукцией, относятся прежде всего поспешные обобщения (fallacia fictae universalitatis). Когда путешественники после поверхностного знакомства с каким-либо народом делают попытки характеризовать его, например когда они произносят: «греки лживы», «турки жестоки» и т.п., то они впадают именно в ошибку поспешного обобщения. Ошибка post hoc ergo propter hoc («после этого значит по причине этого») называется также ошибкой): non causa pro causa («от того, что не является причиной, к причине»). Если кто-нибудь заметил, что после какого-либо события возникает какое-либо действие, то он считает первое событие причиной, хотя в действительности, может быть, есть события, от которых данное событие находится в большей зависимости и которое собственно является истинной причиной данного действия. Когда после появления кометы возникали какие-либо несчастья, то обыкновенно комету считали причиной несчастий. Когда в трубке возникала пустота и вода в ней поднималась, то думали, что пустота есть причина поднятия воды. Если после введения какой-нибудь формы правления возникают какие-нибудь события, то обыкновенно эти формы правления считаются причиной их, между тем как истинные причины, может быть, заключаются в чём-нибудь другом, например в определённой степени умственного или нравственного развития общества.

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

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

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

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

1. Софизм «лгун». Вполне возможно, что лгун сознается в том, что он лгун. В таком случае он скажет правду. Но тот, который говорит правду, не есть лгун. Следовательно, возможно, что лгун не есть лгун. (Какая ошибка?)

2. Софизм «рогатый». То, чего ты не потерял, ты имеешь; ты не потерял рогов. Следовательно, ты имеешь рога. (Какая ошибка?)

3. Софизм «куча». Будет ли куча песку, из которой мы взяли одну песчинку, считаться кучей? Да, будет. А если взять ещё одну песчинку? Будет. Так как при последовательном отнятии по одной песчинке куча не перестаёт быть кучей, то одна песчинка должна называться кучей. (Какая ошибка?)

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

Вопросы для повторения

На какие два класса делятся логические ошибки? Что такое homonymia? Что такое ignoratio elenchi? Что такое qui nimium probat nihil probat? Что называется доказательством ad hominem? Что называется основной ошибкой? Что такое petitio principii? Что такое idem per idem? Что называется circulus in demonstrando? Какая ошибка называется fallacia a dicto secundum quid ad dictum simpliciter? Какая ошибка называется fallacia a sensu composite ad sensum divisum? Какая ошибка называется fallacia a sensu diviso ad sensum compositum? Перечислите, какие существуют ошибки индукции, и объясните их. Какое различие между софизмами и паралогизмами?

Ну что, коллеги, настал праздник и на еврейской улице. Учебник логики Челпанова прочитан и осознан. Сегодня будет последняя глава, для которой Георгий Иванович приберёг самое интересное: логические ошибки. Правда, я взял на себя смелость заменить примеры ошибок на немного более современные.

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

Глава 26. О логических ошибках

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

Из ошибок выражения мысли мы разберём только одну, с говорящим названием гомонимия:

Homonymia

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

«Все российские бизнесмены — кровопийцы, так как ни одно состояние в России не было заработано честным путём. Следовательно, честный человек, живущий в России, не может заниматься бизнесом».

Гомонимия заключается в том, что слово «бизнесмен» употребляется в двух разных значениях:

1. Владелец крупного состояния.
2. Человек, занимающийся бизнесом.

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

Ошибки дедукции

Ignoratio elenchi (Незнание выдвинутого)

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

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

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

Ещё пример:

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

Здесь капиталист выдвинул тезис: «Приезжие могут устроиться в Москве на работу водителями или бухгалтерами». Коммунист опровергает другой тезис: «Каждый, кто хочет работать в Москве, должен работать именно водителем».

Ещё примеры:

Пётр: Я считаю, что люди, которые бьют ремнём своих детей — преступники.
Павел: Вы неправы. В уголовном кодексе нет статьи «за порку собственных детей».

Пётр, очевидно, употребляет слово «преступник» в смысле «наносящий вред обществу человек», а не в юридическом смысле. Павел допускает ошибку.

μετάβασις είσ άλλο γένοζ (Метабасис эйс алло генос) (Переход в другой род)

Эта ошибка — насколько мне удалось понять Челпанова и Аристотеля — ошибка смены единиц измерения. Например:

«Альберт богат, так как ездит на BMW».

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

«Советские пенсионеры жили счастливо, так как у них была большая пенсия».

Ошибка в том, что счастье не измеряется деньгами.

«Выдача взятки инспектору ГАИ не является дурным поступком, так как все так делают».

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

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

Qui nimium probat, nihil probat (Кто доказывает чересчур, тот ничего не доказывает)

Пример недостаточного доказательства:

Никто ни разу не заснял Геннадия Зюганова в сауне с проститутками, следовательно, Зюганов — примерный семьянин.

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

Пример избыточного доказательства:

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

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

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

Argumentum ad hominem (Переход на личности)

Встречается в спорах очень часто. Вариант первый, простой и понятный:

«Фашизм — порочная идеология, так как Гитлер был зоофилом».

Вариант второй, куда как более хитроумный:

«Этот закон вреден для общества, так как выдвинувший его депутат Жириновский получил взятку за лоббирование закона».

Ошибка в том, что мотивы Жириновского не имеют никакого отношения к качеству выдвинутого им закона. Продолжу пример: допустим Жириновский выступает за этот закон, а Зюганов — против. Достоверно известно, что оба получили взятки за свои выступления.

Но ведь оба одновременно не могут иметь неверную точку зрения на этот вопрос, верно?

Ещё примеры подобных манипуляций:

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

Про последний пример, кстати, я не так давно написал небольшую статью: «Где мерилом работы служит усталость».

Ошибки по отношению к аргументам

Error fundamentalis (Ошибка в основании)

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

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

В Голландии число наркоманов не увеличивалось с 1980-х годов, в отличие от других европейских стран. Причём, что важно, в Голландии гораздо меньше процент неучтённых наркоманов.

Пример: никто не будет учить математику по доброй воле, так как это довольно скучный предмет.

Ошибка: для многих детей математика является интересным предметом.

Пример: если бы не было школ, не было бы и учёных, так как каждый учёный учился в школе.

Ошибка: существуют крупные учёные, которые не учились в школах.

Petitio principii (Предвосхищение основания)

Проще говоря, это зацикливание.

— Откуда у Вас деньги?
— Из тумбочки беру.
— А в тумбочке откуда?
— Жена кладёт.
— А у жены откуда?
— Я ей даю.

Ещё пример:

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

Circulus in demonstrando (Круг в доказательстве)

Это упрощённый вариант предыдущей ошибки. Например:

Коммунист: Все бизнесмены — воры, так как ни одно состояние не было нажито честным путём.
Капиталист: Почему Вы думаете, что ни одно состояние не было нажито честным путём?
Коммунист: Ни одно состояние не было нажито честным путём, так как все бизнесмены — воры.

Idem per idem (То же через то же)

Это ещё один вариант зацикливания. Примеры:

«Ваш менеджер — придурок, потому что он не умеет думать».
«Лукьяненко ворует чужие идеи, так как он плагиатор».
«Вода мокрая, так как она влажная».

A dicto secundum quid ad dictum simpliciter (Отбрасывание условия)

Примерный перевод с латинского: «от сказанного с оговорками к сказанному просто». Эту ошибку допускают, когда зажёвывают какое-нибудь важное условие.

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

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

Дальше, из суждения «Сдать на права в ГАИ с первого раза практически невозможно, если инспектор настроен Вас завалить» часто делается ошибочный вывод «Сдать на права в ГАИ без взятки невозможно» и, далее, «Все, кто сдавал на права последние несколько лет, купили их».

Здесь ошибающийся отбрасывает сразу два существенных условия: «с первого раза» и «инспектор настроен завалить».

Fallacia a sensu composite ad sensum divisum (Ошибка от собирательного смысла к смыслу разделительному)

«Сотрудники КГБ» — это собирательный термин. «Владимир Путин» — это разделительный термин. Поэтому будет ошибкой следующее построение:

Сотрудники КГБ избивали невинных людей ногами. Владимир Путин — сотрудник КГБ. Следовательно, Владимир Путин избивал невинных людей ногами.

Ещё пример.

Одна рюмка водки не сделает меня пьяным. Следовательно, я всегда могу выпить ещё одну рюмочку.

Ошибка в том, что выпитые рюмки, складываясь вместе, таки приводят к опьянению. И ещё.

Человек может видеть без левого глаза. Человек может видеть и без правого глаза. Следовательно, человеку не нужны глаза, чтобы видеть.

Ошибки индукции

Fallacia fictae universalitatis (Иллюзия обобщения)

Эта ошибка индукции — поспешное обобщение — встречается чаще всего. «Все менты берут взятки». «Все евреи расчётливы». «Все негры имеют длинный член». «Все православные — фанатики».

Post hoc ergo propter hoc (После значит вследствие)

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

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

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

Если вспомнить нашу недавнюю истории жертвой этой ошибки (post hoc ergo propter hoc) стал Сергей Кириенко. Которого, как Вы помните, назначили премьером непосредственно перед дефолтом. Сейчас значительная часть жителей России уверена, что именно Кириенко и устроил дефолт.

То же самое касается, например, Михаила Горбачёва. Народная логика проста: «Раз Горбачёв был последним правителем СССР, значит именно он и довёл страну до развала».

Индукция по простому перечислению

Раньше эту ошибку даже разбирали в школах. Примерно так:

Учительница: Как полагаете дети, негры глупее белых?
Вовочка: Конечно, Марь Иванна! Мы же не знаем ни одного великого негра-учёного или негра-писателя!
Учительница: Вовочка, ты допускаешь логическую ошибку, «индукцию по простому перечислению». Среди негров действительно нет учёных, но отнюдь не потому, что они глупы, а потому что негров эксплуатировали подлые колонизаторы. Поэтому, как только негры добьются равных прав с белыми, среди них тут же появятся великие учёные и писатели.

Другими, из того, что «всегда было так» не следует, что «всегда будет так». Например, довольно долго все президенты США были белыми мужчинами. Однако из этого ещё не следует, что президент США обязательно должен быть белым и мужчиной.

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

Ошибка аналогии

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

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

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

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

На самом деле, сотрудники — люди, а не собаки. И ждать верности в обмен на «миску хлеба» неразумно.

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

На самом деле, далеко не все чиновники являются ворами.

Софизмы

Софизмы — это ошибки, которые совершаются намеренно. Сделаю небольшой экскурс в историю, и процитирую Энциклопедию Кругосвет:

СОФИСТЫ (от греч. «софос» – мудрый) – представители интеллектуального течения в общественной и культурной жизни Древней Греции сер. V — 1-й пол. IV вв. до н.э., платные
преподаватели красноречия и различных знаний, считавшихся необходимыми для деятельного и успешного участия в гражданской жизни…

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

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

Софизм «Лгун»Вполне возможно, что лгун сознается, что он лгун. В таком случае он скажет правду. Но тот, кто говорит правду, не есть лгун. Следовательно, возможно, что лгун не есть лгун.

Софизм «Рогатый»

То, чего ты не потерял, ты имеешь. Ты не терял рогов. Следовательно, ты имеешь рога.

Софизм «Куча»

Будет ли куча песка, из которой мы взяли одну песчинку считаться кучей? Да, будет. А если взять ещё одну песчинку? Будет. Так как при последовательном изъятии песчинок куча не перестаёт быть кучей, то и одна песчинка должна считаться кучей.

Софизм Эватла

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

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

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

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

Ошибки дедукции. Логические ошибки могут быть по отношению к тезису.

Если доказывается не то, что требовалось доказать, то такая подмена тезиса называется ignoratio elenchi (elenchus означает опровержение какого-либо аргумента, а ignoratio elenchi означает незнание того силлогизма, которым можно опровергнуть противника). Например, если нужно доказать, что что-либо несправедливо в моральном смысле, а кто-нибудь стал бы доказывать, что это несправедливо в юридическом смысле, то он вместо одного доказывал бы совсем иное, хотя и сходное. Если доказывается что-либо отличное по роду от того, что нужно доказать; это будет ошибкой μετάβασις είσ άλλο γένοζ или «переходом в другой род». Например, когда кто-нибудь хочет доказывать невиновность обвиняемого тем, что другие совершили то же самое преступление, но избегли наказания.

Уклонение от тезиса может происходить ещё и в том смысле, что доказывается слишком, мало, так что тезис частью остаётся недоказанным, или доказывается слишком много, так что из данных оснований следует не только тезис, но и какое-нибудь ложное положение. Такое ошибочное доказательство называют: qui nimium probat, nihil probat («кто доказывает чересчур, тот ничего не доказывает»). Например, для доказательства положения, что сумма углов треугольника равняется двум прямым, недостаточно было бы доказывать, что эта сумма будет не больше 180° (здесь доказывается слишком мало). Если бы мы хотели доказать, что кто-нибудь добродетелен, и при этом стали бы доказывать, что о нём ничего не известно дурного, то этим доказывалось бы слишком мало. Если бы кто-нибудь стал доказывать недозволительность самоубийства на том основании, что человек не может у себя отнимать того, что он сам себе не дал, то доказывал бы слишком много, потому что из его доказательства выходило бы, что он не может резать ногти, волосы, что он не может продавать унаследованное или полученное в подарок и т.п. Поэтому он тезиса, собственно, не доказывает. Как легко видеть, такое ошибочное доказательство получается в том случае, когда приводятся положения, которые оказываются ложными при данной степени общности, но которые могли бы быть истинными при меньшей степени общности.

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

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

Основная ошибка, error fundamentalis, – ложное основное положение, на котором строится какое-либо доказательство и из которого могут делаться различные выводы. Например, основной ошибкой в астрономических рассуждениях до Коперника был аргумент, что Солнце и звёзды вращаются вокруг Земли.

Ошибка petitio principii («предрешение; предвосхищение основания») бывает тогда, когда для доказательства какого-либо положения мы кладём в основу доказательства такое положение, которое предполагает истинным доказываемое положение. Положим, кто-нибудь хочет доказать тезис:

«Все частички материи имеют один и тот же вес».

На вопрос, почему он так думает, он мог бы привести следующее основание доказательства:

«Если мы возьмём два тела с одинаковым объёмом, то окажется, что то тело, которое тяжелее, имеет большее число частичек, т.е. больший вес зависит от количества частичек».

На вопрос, откуда же известно, что больший вес тела с одинаковым объёмом зависит именно от количества частичек, он ответит:

«Если принять в соображение, что все частички материи имеют одинаковый вес, то сделается вполне очевидным, что чем тело тяжелее, тем большее число частичек в нём содержится при одинаковом объёме».

В этом примере тезис доказывается при помощи положения, которое само может быть доказано при допущении истинности тезиса. Таким образом, в ошибке petitio principii мы принимаем за истинное то положение, которое должно быть доказано.

Родственными с petitio principii являются ошибки: idem per idem («то же через то же») и circulus in demonstrando («круг в доказательстве»). Ошибка idem per idem – когда какое-либо положение доказывается посредством этого самого положения. Например, на вопрос, почему мы видим сквозь стекло, иногда отвечают: потому, что оно прозрачно; но очевидно, что назвать вещество прозрачным – значит, другими словами, сказать, что сквозь него можно видеть.

Ошибкой circulus in demonstrando называется тот случай, когда тезис A доказывается посредством аргумента B, который в свою очередь доказывается посредством аргумента A. Например, мы утверждаем, что сочинение того или иного писателя заслуживает доверия, потому что он правдив. Нас спрашивают:

«Откуда вам известно, что этот писатель правдив?», и мы отвечаем: «Это доказывается содержанием его сочинений». В этом случае мы делаем круг в доказательстве.

Особняком стоят следующие ошибки.

Ошибка a dicto secundum quid ad dictum simpliciter («от сказанного в относительном смысле к сказанному безотносительно») возникает в том случае, когда выражение, взятое в условном, относительном смысле, принимается затем в смысле безусловном. Например, мышьяк, стрихнин, синильная кислота, будучи введены в организм в значительном количестве, причиняют смерть. Мы в данном случае об этих веществах говорим в условном смысле, т.е. говорим об их ядовитости, когда они введены в организм «в значительном количестве». Но если бы мы сказали, что они всегда причиняют смерть, то мы допустили бы указанную ошибку, потому что в очень малых дозах они не смертельны и, как известно, употребляются в качестве лекарств. Во втором случае мы отбросили то условие, которое указывали в первом случае.

Ошибка fallacia a sensu composite ad sensum divisum («ошибка от собирательного смысла к смыслу разделительному») происходит вследствие смешения термина собирательного с термином общим. Когда мы употребляем общий термин, того, что справедливо относительно целого класса, обозначаемого общим термином, справедливо и относительно каждого индивидуума, входящего в этот класс; но когда мы употребляем собирательный термин, то это может быть несправедливо. То, что справедливо относительно целого, обозначаемого собирательным термином, то может быть несправедливо относительно частей, входящих в это целое. Например, какое-нибудь общество, в котором я состою членом, приняло решение, заслуживающее порицания. Если бы кто-нибудь стал и меня упрекать за это решение, то он допустил бы ошибку fallacia a sensu composite ad sensum divisum, ибо это утверждение, справедливое относительно общества, взятого в целом, может быть совершенно несправедливо относительно отдельных членов этого общества, которые могли подавать свой голос против указанного решения.

Fallacia a sensu diviso ad sensum compositum («ошибка от смысла разделительного к смыслу собирательному») получается в том случае, когда мы о собирательном целом утверждаем то, что справедливо только относительно частей этого целого. Здесь происходит также смешение между термином общим и собирательным. В общих понятиях то, чего мы не можем сказать относительно индивидуума того или другого класса, мы не можем утверждать и о самом классе. В собирательных понятиях, наоборот, мы о частях собирательного целого можем утверждать много такого, чего не можем утверждать относительно целого. Например, кто-нибудь, рассуждая о своих расходах, может сказать: «Этот расход меня не разорит», и о другом расходе скажет: «И этот расход меня не разорит». Если он будет рассуждать таким образом и обо всех остальных расходах, то он должен будет признать, что все расходы его не разорят, что будет ошибочно: то, что справедливо относительно каждого расхода, взятого в отдельности, может быть совсем несправедливо относительно всех расходов, взятых вместе. Другой пример. Больной хочет определить, смертельна ли его болезнь или нет. Рассмотрев каждый симптом в отдельности, он находит, что каждый симптом в отдельности не смертелен; отсюда он делает вывод, что его болезнь не смертельна. Но это рассуждение может оказаться неправильным, потому что каждый симптом в отдельности может быть не смертельным, а все в целом могут быть смертельны.

Ошибки индукции. К ошибкам, связанным с индукцией, относятся прежде всего поспешные обобщения (fallacia fictae universalitatis). Когда путешественники после поверхностного знакомства с каким-либо народом делают попытки характеризовать его, например когда они произносят: «греки лживы», «турки жестоки» и т.п., то они впадают именно в ошибку поспешного обобщения. Ошибка post hoc ergo propter hoc («после этого значит по причине этого») называется также ошибкой): non causa pro causa («от того, что не является причиной, к причине»). Если кто-нибудь заметил, что после какого-либо события возникает какое-либо действие, то он считает первое событие причиной, хотя в действительности, может быть, есть события, от которых данное событие находится в большей зависимости и которое собственно является истинной причиной данного действия. Когда после появления кометы возникали какие-либо несчастья, то обыкновенно комету считали причиной несчастий. Когда в трубке возникала пустота и вода в ней поднималась, то думали, что пустота есть причина поднятия воды. Если после введения какой-нибудь формы правления возникают какие-нибудь события, то обыкновенно эти формы правления считаются причиной их, между тем как истинные причины, может быть, заключаются в чём-нибудь другом, например в определённой степени умственного или нравственного развития общества.

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

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

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

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

1. Софизм «лгун». Вполне возможно, что лгун сознается в том, что он лгун. В таком случае он скажет правду. Но тот, который говорит правду, не есть лгун. Следовательно, возможно, что лгун не есть лгун. (Какая ошибка?)

2. Софизм «рогатый». То, чего ты не потерял, ты имеешь; ты не потерял рогов. Следовательно, ты имеешь рога. (Какая ошибка?)

3. Софизм «куча». Будет ли куча песку, из которой мы взяли одну песчинку, считаться кучей? Да, будет. А если взять ещё одну песчинку? Будет. Так как при последовательном отнятии по одной песчинке куча не перестаёт быть кучей, то одна песчинка должна называться кучей. (Какая ошибка?)

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

Вопросы для повторения

На какие два класса делятся логические ошибки? Что такое homonymia? Что такое ignoratio elenchi? Что такое qui nimium probat nihil probat? Что называется доказательством ad hominem? Что называется основной ошибкой? Что такое petitio principii? Что такое idem per idem? Что называется circulus in demonstrando? Какая ошибка называется fallacia a dicto secundum quid ad dictum simpliciter? Какая ошибка называется fallacia a sensu composite ad sensum divisum? Какая ошибка называется fallacia a sensu diviso ad sensum compositum? Перечислите, какие существуют ошибки индукции, и объясните их. Какое различие между софизмами и паралогизмами?

Ошибки, «прячущиеся» в софизмах

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

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

• Деление
  на 0;

• Неправильные
  выводы из равенства дробей;

• Неправильное
  извлечение квадратного корня из квадрата
  выражения;

• Нарушения
  правил действия с величинами;

• Проведение
  преобразований над математическими
  объектами, не имеющими смысла;

• Неравносильный
  переход от одного неравенства к другому;

• Выводы и вычисления
  по неверно построенным чертежам;

Софизмы в Древней Греции.

«Людям,
которые желают идти верной дорогой,
важно также знать и об отклонениях».
Аристотель

Софистов
в Древней Греции называли мудрецами,
но это были мудрецы особого рода. Их
истина не интересовала. Они были, как
правило, платными “учителями мудрости”.
Их нанимали политики для того, чтобы, в
частности, переспорить оппонентов на
собрании, а также для того, чтобы выиграть
судебное дело. Софисты славились своим
умением представить черное белым, белое
черным. Они могли сегодня упорно
доказывать какой-либо тезис, а уже завтра
с таким же рвением антитезис.

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

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

• Вот
  один из древних софизмов («рогатый»): «Что
  ты не терял, то имеешь. Рога ты не терял.
  Значит, у тебя рога».

Так все ли утверждения математики верны?

Вот
один из наиболее известных софизмов:
«Дважды два — пять!»

Рассмотрим
верное равенство:
16 — 36 = 25 — 45   
   

Прибавим
к левой и правой части 81/4:
16 — 36 + 81/4 = 25
— 45 + 81/4        

Преобразуем
выражение:
4*4 — 2*4*9/2 + (9/2)*(9/2) = 5*5 — 2*5*9/2 +
(9/2)*(9/2)       

Теперь
можно заметить, что в левой и правой
части выражения записаны произведения
вида:
a²-2ab+b², то есть, квадрат разности:
(a-b) ². В нашем случае слева a=4, b=9/2, а справа
a=5, b=9/2.

Поэтому
перепишем выражение в виде квадратов
разности:
(4 — 9/2) ² = (5 — 9/2) ²    

А
следовательно,
4 — 9/2 = 5 — 9/2       

И
наконец, получаем долгожданное равенство:

4
= 5 или, 2*2 = 5

Где
ошибка?

Разбор
софизма:

Если
равны квадраты чисел,то не факт что
равны сами числа.

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]

• #
• #
• #
• #
• #
• #
• #
• #
• #
• #
• #