Логические ошибки википедия

From Wikipedia, the free encyclopedia

In computer programming, a logic error is a bug in a program that causes it to operate incorrectly, but not to terminate abnormally (or crash). A logic error produces unintended or undesired output or other behaviour, although it may not immediately be recognized as such.

Logic errors occur in both compiled and interpreted languages. Unlike a program with a syntax error, a program with a logic error is a valid program in the language, though it does not behave as intended. Often the only clue to the existence of logic errors is the production of wrong solutions, though static analysis may sometimes spot them.

Debugging logic errors[edit]

One of the ways to find this type of error is to put out the program’s variables to a file or on the screen in order to determine the error’s location in code. Although this will not work in all cases, for example when calling the wrong subroutine, it is the easiest way to find the problem if the program uses the incorrect results of a bad mathematical calculation.

Examples[edit]

This example function in C to calculate the average of two numbers contains a logic error. It is missing parentheses in the calculation, so it compiles and runs but does not give the expected answer due to operator precedence (division is evaluated before addition).

float average(float a, float b)
{
    return a + b / 2;  // should be (a + b) / 2
}

See also[edit]

• Syntax error
• Off-by-one error

Виды логических ошибокПравить

Словесные уловкиПравить

См. такжеПравить

ПримечанияПравить

СсылкиПравить

Часть тематической серии
Каталоги с аргументами
Логика и методология
Логические ошибки
Псевдонаука
Креационизм Отрицание ТО Душа vs. мозг
Религия
Контрапологетика Анализ Библии п — о — р

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

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

Типы ошибок

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

Формальные ошибки

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

Неформальные ошибки

Неформальные ошибки — это ошибки встречающиеся в недоказательной (вероятностной) аргументации, то есть при осуществлении индукции. Являются аргументами, которые, хотя и не нарушают законов исчисления высказываний, являются неверными по своей сути. Неформальные логические ошибки часто характеризуются тем, что даже корректно построенные на их основе рассуждения — на практике будут содержать некий разрыв между посылками и выводами. Сверхобобщение и аргумент к незнанию (лат. argumentum ad ignorantiam) являются примерами неформальных ошибок. Эти ошибки многочисленнее и разнообразнее.

Словесная эквилибристика

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

Перечень примеров

Примеры формальных ошибок

• Взаимоисключающие параграфы (также «противоречие», «несоответствие») — поддержка или отстаивание противоречащих друг другу тезисов. Буквально и по сути является нарушением второго закона формальной логики.

• Подмена понятий (неоднозначность) — замена значения некоторого термина при переходе из одного контекста в другой с целью отклонения предъявленного аргумента.
  • Чучело — подмена позиции оппонента с целью облегчения её опровержения.

• Порочный круг (круговая аргументация, логический круг, лат. circulus vitiosus) — наличие заключения среди предпосылок.
  • Бесконечная редукция — объяснение некоего явления через само себя, вследствие чего требуется его повторение бесконечное количество раз («Земля стоит на черепахе, та — на другой черепахе и т. д.»).
  • Побег в будущее — данная ошибка происходит в случаях, когда утверждающий обращается к своим ожиданиям в отношении возможных будущих свидетельств в пользу его позиции.

• Non sequitur (то есть «не следствие») — рассуждение, содержащее пробел между предпосылками и следствием.
  • Подтверждение консеквента — «если А верно, то и Б верно; поскольку Б верно, то А — верно».
  • Отрицание антецедента — «если А верно, то и Б верно; поскольку А ложно, то Б — ложно».
  • Аргумент от ошибки — признание утверждения ложным на основании того, что оно было получено путём ошибочных умозаключений.
  • Тенденциозность (скользкий уклон) — если событие А произойдёт, то произойдут дальнейшие ещё менее желательные события.

Примеры неформальных ошибок

• Ad hoc — использование внешаблонных объяснений без дополнительного обоснования.
  • Argumentum ex culo — «умножение сущностей». Безосновательное выдумывание чего-либо из головы, как правило вообще без попыток критического отношения к собственным заявлениям, как правило с целью казаться более убедительным для самого себя или окружающих. Совершающий эту ошибку ни к логике ни к статистике в достаточной степени не апеллирует, полагаясь лишь на иррациональную привлекательность собственных слов.
  • Это другое («двойные стандарты») — обращение к исключительности некоторой ситуации и неприменимости к ней общих соображений без надлежащего обоснования правомерности такого действия.
    • Ситуативная надстройка (англ. special pleading, на русском также «специальные требования») исключение из класса с неудобными особенностями некоторых объектов, без надлежащего обоснования правомерности такого действия. Применяется с целью «защиты» исключенных объектов.
    • Ненастоящий шотландец (например, «неистинный христианин») — исключение из класса некоторых объектов с неудобными особенностями без надлежащего обоснования правомерности такого действия. Применяется с целью «защиты» всего класса.
  • Подмена цели — попытка необоснованного изменения изначальной цели рассуждений.
    • Ошибка техасского снайпера — заблуждение анализа данных и ошибка распознавания, состоящая в том, что делается ситуативное ad hoc-заключение на основании совокупности несвязанных данных без рассмотрения подтверждающих данных; объявление первоначальной целью уже достигнутое лишь после того, как оно было достигнуто.
    • Синдром отодвигания ворот — изменение требований относительно доказательств, как только их начальный вариант оказался выполненным. Обычно, употребляется в виде: «то, что я в действительности имел в виду — это…»; объявление первоначальной целью чего-то, что не было достигнуто, после того как изначальная цель была достигнута.

• Сверхобобщение — принятие во внимание нескольких нетипичных случаев и осуществление выводов о наличии целого закона на их основании без принятия во внимание случаев, представляющих группу адекватно.
  • Систематическая ошибка выжившего — построение вывода, основывающегося на группе явных случаев, с игнорированием случаев, оставшихся в тени от ошибающегося
    • Ошибка наблюдателя — предоставление данных, подтверждающих связь между источником и посылкой, но не учитывающих невольного влияния наблюдателя или сборщика статистики. Классические примеры: семафор — все железнодорожные переезды, наблюдаемые из окна вагона, закрыты, а светофоры на них горят красным светом.
    • Ошибка Карго-культа — составление рассуждения на основании ничем не подкреплённых домыслов без рассмотрения предмета по существу
    • Обратная ошибка Карго-культа — составление рассуждения на основании глубоких познаний о стороннем предмете без рассмотрения исходного предмета по существу
    • Желаемое за действительное (также, англ. wishful thinking, «мышление желаниями», мотивированное мышление) — попытка утверждения того, что некоторое положение вещей имеет место лишь потому, что так будет лучше для утверждающего.
      • Аргумент к последствиям — «если A приводит к (не)благоприятным последствиям, то A (не)верно».
      • Аргумент к неблагоприятным последствиям — если утверждение приводит к негативным последствиям, то оно неверно.
    • Случай из жизни — использование личного опыта или известного случая в качестве аргумента в споре, особенно для опровержения статистики. «Да что вы мне рассказываете о вреде курения? — спорил 15-летний Паша. — Мой прадед курил по две пачки в день, и дожил до 97 лет». К сожалению, в 22 года у Паши диагностировали серьёзные проблемы с легкими.
  • Ошибка составления — приписывание целому свойства, которым обладают все его компоненты.
    • Ошибка части и целого — ошибка, суть которой состоит в неумении соотнести истинность некоторого утверждения для целого и для его части. Каждое зерно в куче почти ничего не весит. Следовательно, куча также почти ничего не весит.
      • Ошибка концентрации внимания — распространение свойств на всю группу, установленных лишь относительно некоторой её части.
  • Ассоциативная ошибка — связывание одной группы с другой ввиду наличия поверхностных либо случайных общих признаков. В простонародье также известна как «навешивание ярлыков» и «сведение к нацизму» благодаря своей идеальности для политических споров.
    • Ложная аналогия — создание аналогии либо метафоры с последующим распространением построенных оттуда выводов на первоначальную проблему.
    • Ассоциативное обвинение — утверждение, что нечто является нежелательным, поскольку это также является свойством группы либо персоны с плохой репутацией.
    • Ассоциативное возвышение — утверждение, что нечто является желательным, поскольку это также является свойством уважаемой группы либо персоны.
    • Уловка Галилея — утверждение, что если кто-то выступает против общепринятого мнения, то он обязательно прав, поскольку прав был Галилей, выступивший против ещё более внушительного большинства. Разумеется, Галилей был прав по совсем иным причинам.
    • Изображение жертвы — защита, строящаяся на предположении, что критику объекта следует игнорировать из-за возможной неприязни критикующего к нему.

• Ошибки оценки — неверная оценка доказательной силы как аргументов так и их отсутствия.
  • Балансовая ошибка — приписывание равной доказательной силы аргументам которые противоречат друг другу, даже если одна из аргументаций на проверку не выдерживает критики.
  • Аргумент к утверждению — вера в то, что истинность чего-либо доказывается лишь утверждением этой истинности, вместо предоставления данных наблюдений и логического обоснования.
  • Аргумент к недоверию — признание тезиса неверным на основе личного недоверия, буквально «это невероятно, следовательно это неверно». Этот тип мышления быстро положил бы конец всей квантовой физике.
  • Аргумент к незнанию — признание тезиса неверным на основе его недоказанности или на основе субъективных взглядов на то каким должен быть сам формат доказательства, из-за наличия убеждения у утверждающего, что лишь то является истиной, что было удовлетворительно для него доказано.
  • Аргумент к бездействию («непринятие потерь») — утверждение о невозможности либо отсутствии необходимости/выгоды каких-либо действий, с игнорированием аргументов о возможности/выгоде этих действий. Обобщенный пример: «Лучше ничего не делать, все равно ничего не получится». Суть ошибки в том что бездействие иррационально оценивается как более привлекательное, несмотря на проверяемую выгоду неких, рассматриваемых в процессе рассуждения, действий.
    • Аргумент к неявному долгу — утверждение о необходимости выполнения неким лицом какого-либо действия, при отсутствии информации о явном согласии/намерении лица выполнять это действие. Обобщенный пример: «Лучше ничего не делать, третье лицо должно сделать это (и тогда я достигну своих целей)».
      • Негативное доказательство (бремя доказательства) — утверждение, что некоторое высказывание верно, поскольку нет доказательств того, что оно неверно, с последующим требованием от оппонента доказательства неверности утверждения, если оппонент с утверждением не согласен.
        • Аргумент к интерпретации — утверждение о том, что интерпретации могут восприниматься как достоверные или имеющие особое значение только из-за наличия неоднозначности.
        • Бог белых пятен — ошибка, состоящая в том, что всем феноменам, которые на текущий момент не имеют научного объяснения, приписывают сверхъестественное происхождение.
  • Одно единственное доказательство (подавленное доказательство) — полное игнорирование важных косвенных доказательств, под предлогом отсутствия прямого доказательства.
  • Солипсизм — отрицание существования какого-либо достоверного научного знания. В том числе отрицание работоспособности четко определенных правил формальной логики и, следовательно, возможности достоверно доказать что-либо в принципе.
    • Дениализм — отрицание только той части достоверного научного знания, которая неудобна в каком-либо контексте, но не достоверности научных знаний вообще. Непосредственно ошибка заключается в отказе принять эмпирически проверяемую точку зрения.
  • Теория заговора — стремление объяснять происходящие события, как сговор группы лиц или отдельных лиц, ради своих корыстных интересов, не имея для этого достаточных объективных оснований.
  • Ошибка золотого молота — употребление шаблонной аргументации независимо от её уместности. «Для того, у кого есть только молоток, всё будет казаться гвоздями».
  • Аргументы к времени — предположение что количество (не)прошедшего времени обязательно что-то доказывает.
    • Апелляция к традиции — убеждение в том, что если некое положение считалось верным всегда, то это значит, что оно верно.
    • Аргумент к новизне (лат. argumentum ad novitatem) — «чем новее, тем точнее (ближе к истине)».
    • Аргумент к тишине — попытка представить временное отсутствие ответа на некий вопрос или аргумент как принципиальную неспособность ответить и/или как доказательство силы и истинности данного аргумента. («Никто из дарвинистов никак не прокомментировал креационистский аргумент Х, следовательно: 1) им в принципе нечего ответить; 2) аргумент Х — сильный».)
    • После этого значит вследствие этого (лат. post hoc, ergo propter hoc) — утверждение, что если событие А произошло раньше Б, то А необходимым образом повлекло Б.
      • Отождествление корреляции и причинности — ошибка, состоящая в убеждении, что наличие корреляции означает причинно-следственную связь.
  • Апелляция к авторитету — утверждение о том, что, поскольку некто знаменитый, влиятельный либо уважаемый убеждён в чём-то, то это что-то обязано быть верным.
    • Отравление источника — попытка опровержения аргумента, основанная на изменении представлений о достоверности его автора.
    • Обращение к большинству (лат. argumentum ad populum) — использование в качестве аргумента того, что ошибка большинства якобы всегда наименее вероятна.
    • Анонимный авторитет — утверждения с этой ошибкой содержат ссылку к определённому весьма широкому кругу лиц, которые обычно пользуются авторитетом; конкретика (например, фамилия, место работы и пр.) при этом не указывается. «Ученые считают, что…», «есть мнение, что…» и т. д.
      • Слух — использование информации, прошедшей через многих людей, и отличающейся от своей первоначальной формы.
    • Непогрешимый авторитет — обращение к авторитету и утверждение, что лишь этого авторитета достаточно для выяснения истины.
    • Обращение к уверенности — позиционирование себя как светоча истинного знания. «Верьте мне, я знаю, о чём говорю!»
      • Апелляция к очевидности — демагог использует в аргументации выражения типа «каждому известно, что…», «очевидно…», «абсолютно понятно, что…», «все специалисты в этой области знают, что…» и так далее, в то время как бездоказательность утверждения стремится замаскировать, ссылаясь на распространенные стереотипы. При этом эксплуатируется ложная гордость слушателя (если что-то по форме подаётся как «общеизвестное», «не вызывающее у здравомыслящего человека вопросов», то, из страха выглядеть невеждой, слушателю бывает сложно признаться даже себе, что он о чем-либо никогда не слышал, или, что допускает наличие нарушения какого-либо закона формальной логики в аргументации оппонента).

• Ложная дилемма (также «ложная дихотомия») — изображение двух решений как единственно возможных, исключая промежуточные (см. например, пари Паскаля).
  • Plurium interrogationum — провокационный вопрос, позволяющий либо за счёт ложной дилеммы ставить оппонента при любом варианте ответа в проигрышное положение, либо вообще не имеющий какого-либо возможного точного ответа, что позволяет бесконечно требовать ответа на него и обвинять в игнорировании вопроса. В самом своём простом виде представляет постоянный вопрос «да или нет?», игнорирующий любые попытки упомянуть невозможность подобного решения вопроса.
  • Рыцари и лжецы — данная ошибка имеет место, если информация, приходящая от других людей, оценивается, исходя из установки, что либо данный человек всегда врёт, либо он всегда говорит правду.

• Пресуппозиция — наличие неявного предположения в качестве части фразы.

• Реификация (овеществление, конкретизация) — интерпретация абстракции как реальной вещи. Например, интерпретация результатов тестов на интеллект как имманентное свойство личности.

Примеры словесной эквилибристики

• Аргумент к тошноте (argumentum ad nauseam) — убеждение в том, что нечто станет истинным, если оно будет повторено до тех пор, пока от него не станет тошнить. Та разновидность аргумента к утверждению где ошибающийся продолжает повторять утверждение даже после того как ему указали на отсутствие у метода повторения доказательной силы.

• Натуралистическая ошибка — утверждение, что естественные явления являются благоприятными, а неестественные (искусственные) являются негативными — лишь на основании их наличия или отсутствия в природе.

• Отвлекающий маневр — группа ошибок, концентрирующих внимание вокруг фактов, не имеющих отношения к обсуждаемому вопросу.
  • Платье короля — навешивание негативных ярлыков на ту или иную идею, концепцию, утверждение, аргумент или неудобный вопрос с расчётом на то, что люди испугаются поддерживать эту идею, приводить эти аргументы или задавать те или иные неудобные вопросы, чтобы этот ярлык не был перенесён на их личность (чтобы их не сочли невеждами, глупцами, моральными уродами и т. д.).
  • См. Ассоциативная ошибка и её частные случаи.
  • Ad hominem — непосредственная атака оппонента, а не его идеи.
    • Tu quoque (сам какой) — ошибочное отклонение критики ввиду того, что критикующий не соответствует чему-либо.
    • Argumentum ad cellarium (аргумент к социальной безуспешности) — атака оппонента непосредственно за то, что он не имеет социального статуса, который, по убеждениям применяющего эту атаку, дает оппоненту право иметь критикующую позицию.
  • Враг моего врага — поддержка того, кто оппонирует тем же людям.
  • Право сильного (лат. argumentum ad baculum) — попытка запугать оппонента («baculum» из латинского переводится как «сила»).
  • Обращение к жалости (лат. argumentum ad misericordiam) — попытка вызвать жалость у оппонента с целью обоснования утверждения.
  • Высмеивание — представление некоторого аргумента смешным без какого-либо его опровержения.
    • Сведение к абсурду — построение цепочки выводов, приводящей к абсурдному заключению. Прием не является ошибкой сам по себе, однако может содержать в себе ложные аналогии и другие логические ошибки, используясь при этом как аналог высмеивания и не обладая, в таком случае, доказательной силой.

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

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

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

Ссылки

• The Fallacy Files
• A list of fallacious arguments
• 42 Fallacies for Free
• МакМаллин Р. Логические ошибки
• И. Климов «Выписки из книги Д. Уолтона „Аргументы ad hominem“»
• Альтернативная логика: Основы риторики
• Юрий Нестеренко. Демагогия
• Список уловок в аргументации (Science to People)

См. также

• Искажение фактов

В логике, философии и пр. науках, изучающих познание логическая уловка (англ. logical fallacy) — заведомо ошибочный способ обоснования тезиса, который в силу учёта психологических особенностей собеседника обладает убеждающим воздействием. Ошибочность обусловлена каким-либо логическим недочётом в доказательстве, что делает доказательство в целом неверным.

Виды логических ошибок

Эквивокация

Эквивокация — ошибка, заключающаяся в использовании одного и того же слова в разных значениях в одном рассуждении. Основана на омонимии (от греч. homos — одинаковый и onyma — имя) — свойстве языковых единиц иметь несколько значений или выражать несколько понятий, никак не связанных между собой; напр., слово лук -растение и лук-ручное оружие. Аналогичным термином является Полисемия.

Сообщение об этой логической уловке можно выразить русской поговоркой «Федот, да не тот».

Имеется специальная Категория:Многозначные термины

Подмена слов, тезиса

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

Логическая уловка отражена в русской поговорке «Я ему про Фому, а он мне про Ерёму».

Использование ложных и недоказанных аргументов, утверждений

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

Обычно подобные лже-аргументы сопровождаются фразами: «Как абсолютно всем известно…», «Кто же будет спорить с тем, что…», «Аксиомой, не требующей доказательств, является то, что…», «Само собой разумеется, что…», «Каждому известо, что…», дабы рассеять возможные сомнения у простого слушателя.

Мнимая логическая связь

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

Логическая уловка выражена русской поговоркой: «В огороде — бузина, а в Киеве — дядька»

После не значит «вследствие»

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

Приписывание неделанных утверждений

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

См. также

• Софизм
• Список парадоксов
• Проблема курицы и яйца
• Сепульки
• Омоним
• Полисемия
• Синонимы
• Полемика
• Риторика
• Прокруст
• Мышление
• Некритичность
• Догматизм

Ссылки

• Теория Аргументации
• Аристотель. Первая аналитика

В Википедии есть статья «логическая ошибка».

Русский[править]

Тип и синтаксические свойства сочетания[править]

логи́ческая оши́бка

Устойчивое сочетание (термин). Используется в качестве именной группы.

Произношение[править]

• МФА: [ɫɐˈɡʲit͡ɕɪskəɪ̯ə ɐˈʂɨpkə]

Семантические свойства[править]

Значение[править]

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

Синонимы[править]

Антонимы[править]

Гиперонимы[править]

Гипонимы[править]

Этимология[править]

Перевод[править]

Библиография[править]