Логика

1.Классификация логических ошибок

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

         Логические ошибки -- ошибки, связанные с нарушением логической правильности рассуждений. Состоят в том, что утверждается истинность ложных суждений (либо ложность истинных суждений), или логически неправильные рассуждения рассматриваются как правильные (либо логически правильные рассуждения -- как неправильные), или недоказанные суждения принимаются за доказанные (либо доказанные -- за недоказанные), или, наконец, неверно оценивается осмысленность выражений (бессмысленные выражения принимаются за осмысленные либо осмысленные -- за бессмысленные). Эти аспекты познавательных ошибок могут различным образом сочетаться друг с другом (напр., принятие бессмысленного суждения за осмысленное обычно бывает связано с убеждением в его истинности). Логические ошибки изучались уже Аристотелем в соч. “Опровержение софистических аргументов”. На этой основе в традиционной логике, начиная с трудов схоластов, было разработано подробное описание логических ошибок. В соответствии с выделяемыми в традиционной логике частями доказательства логические ошибки были подразделены на ошибки в отношении (1) оснований доказательства (посылок), (2) тезиса и (3) формы рассуждения (демонстрации, или аргументации).

       К числу ошибок типа ( 1 ) относится прежде всего ошибка ложного основания, когда в качестве посылки доказательства принимается ложное суждение (эта ошибка называется также основным заблуждением, ее лат. название -- error mndamentalis). Поскольку из ложных суждений по законам и правилам логики могут быть выведены в одних случаях ложные, а в других -- истинные следствия, постольку наличие в числе посылок ложного суждения оставляет открытым вопрос об истинности доказываемого тезиса. Частным случаем этой ошибки является такое использование (в качестве посылки доказательства) некоторого суждения, требующего для своей истинности определенных ограничительных условий, при котором это суждение рассматривается безотносительно к этим условиям, что приводит к определенной ложности. Другой случай этой же ошибки состоит в том, что вместо некоторой нужной для данного доказательства истинной посылки берется более сильное суждение, являющееся, однако, ложным (суждение А называется более сильным, чем суждение В, если из А в предположении его истинности следует В, но не наоборот). Весьма распространенным видом логической ошибки типа (1) является ошибка недоказанного основания; она состоит в том, что в качестве посылки используется недоказанное суждение, в силу чего недоказанным оказывается и тезис доказательства. К числу ошибок этого вида относится т. н. предвосхищение основания или “предрешение основания” (лат. название -- petitio principi), суть которого состоит в том, что за основание доказательства принимается суждение, истинность которого предполагает истинность тезиса. Важным частным случаем petitio principi является круг в доказательстве. В традиционной логике все логические ошибки подразделяются на непреднамеренные -- паралогизмы и преднамеренные -- софизмы.

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

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

2.Софизмы, паралогизмы, парадоксы.

2.1.История возникновения софизмов

Софизмы (греч. sophisma -- измышление, хитрость), которые, как уже говорилось, базируются на разнообразных нарушениях логического закона тождества, представляют собой внешне правильные доказательства ложных мыслей. От софизмов следует отличать паралогизмы (греч. paralogismus -- неправильное рассуждение) -- логические ошибки, допускаемые непроизвольно, в силу незнания, невнимательности или иных причин.

Софизмы появились еще в Древней Греции. Они тесно связаны с философской деятельностью софистов -- платных учителей мудрости, учивших всех желающих философии, логике и, особенно, риторике (науке и искусству красноречия). Одна из основных задач софистов заключалась в том, чтобы научить человека доказывать (подтверждать или опровергать) все, что угодно, выходить победителем из любого интеллектуального состязания. Для этого они разрабатывали разнообразные логические, риторические и психологические приемы. К логическим приемам нечестного, но удачного ведения дискуссии и относятся софизмы. Однако, одних только софизмов для победы в любом споре недостаточно. Ведь если объективная истина окажется не на стороне спорящего, то он, в любом случае, проиграет полемику, несмотря на все свое софистическое искусство. Это хорошо понимали и сами софисты. Поэтому помимо различных логических, риторических и психологических уловок в их арсенале была важная философская идея (особенно дорогая для них), состоявшая в том, что никакой объективной истины не существует: сколько людей, столько и истин. Софисты утверждали, что все в мире субъективно и относительно. Если признать эту идею справедливой, то тогда софистического искусства будет вполне достаточно для победы в любой дискуссии: побеждает не тот, кто находится на стороне истины, а тот, кто лучше владеет приемами полемики.

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

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

2.2.Виды софизмов

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

Приведем пример несложного софизма.

3 и 4 -- это два разных числа, 3 и 4 -- это 7, следовательно, 7 -- это два разных числа.

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

Два раза по два (т.е. дважды два) будет не четыре, а три. Возьмем спичку или палочку и сломаем ее пополам. Это один раз два. Затем возьмем одну из половинок и сломаем ее пополам. Это второй раз два. В результате получилось три части исходной спички или палочки. Таким образом, два раза по два будет не четыре, а три.

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

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

Как известно, Земля вращается вокруг своей оси с запада на восток, делая полный оборот за 24 часа. Длина земного экватора составляет приблизительно 40000 км. Зная эти величины, легко определить, с какой скоростью движется каждая точка земного экватора. Для этого надо 40000 км разделить на 24 часа. Получается приблизительно 1600 км в час. С такой скоростью вращается Земля на экваторе. (Обратим внимание на то, что никакого подвоха пока нет: каждая точка земного экватора действительно движется с запада на восток со скоростью примерно 1600 км в час). Теперь представим, что на экваторе проложен рельсовый путь, по которому идет поезд с востока на запад, т.е. в сторону, противоположную вращению Земли (она движется на восток, а поезд -- на запад). Получается, что этому поезду надо постоянно преодолевать скорость вращения Земли, т.е. он должен двигаться со скоростью, превышающей 1600 км в час, иначе его будет постоянно сносить назад, на восток, и он вообще не сможет продвигаться в нужном ему направлении. Поэтому, на экваторе ходят такие суперпоезда, которые развивают скорость намного большую, чем 1600 км в час.