Что такое софизмы. Определение софизма
Раскрывая данный вопрос, необходимо сказать, что любой софизм является ошибкой. В логике выделяют также паралогизмы. Отличие этих двух видов ошибок состоит в том, что первая (софизм) допущена умышленно, вторая же (паралогизм) - случайно. Паралогизмами изобилует речь многих людей. Умозаключения, даже, казалось бы, правильно построенные, в конце искажаются, образуя следствие, не соответствующее действительности. Паралогизмы, несмотря на то что допускаются неумышленно, все же часто используются в своих целях. Можно назвать это подгонкой под результат. Не осознавая, что делает ошибку, человек в таком случае выводит следствие, которое соответствует его мнению, и отбрасывает все остальные версии, не рассматривая их. Принятое следствие считается истинным и никак не проверяется. Последующие аргументы также искажаются для того, чтобы больше соответствовать выдвинутому тезису. При этом, как уже было сказано выше, сам человек не сознает, что делает логическую ошибку, считает себя правым (более того, сильнее подкованным в логике).
В отличие от логической ошибки, возникающей непроизвольно и являющейся следствием невысокой логической культуры, софизм является преднамеренным нарушением логических правил. Обычно он тщательно маскируется под истинное суждение.
Допущенные умышленно, софизмы преследуют цель победить в споре любой ценой. Софизм призван сбить оппонента с его линии размышлений, запутать, втянуть в разбор ошибки, которые не относятся к рассматриваемому предмету. С этой точки зрения софизм выступает как неэтичный способ (и при этом заведомо неправильный) ведения дискуссии.
Существует множество софизмов, созданных еще в древности и сохранившихся до сегодняшнего дня. Заключение большей части из них носит курьезный характер. Например, софизм «вор» выглядит так: «Вор не желает приобрести ничего дурного; приобретение хорошего есть дело хорошее; следовательно, вор желает хорошего». Странно звучит и следующее утверждение: «Лекарство, принимаемое больным, есть добро; чем больше делать добра, тем лучше; значит, лекарство нужно принимать в больших дозах». Существуют и другие известные софизмы, например: «Сидящий встал; кто встал, тот стоит; следовательно, сидящий стоит», «Сократ - человек; человек - не то же самое, что Сократ; значит, Сократ - это нечто иное, чем Сократ», «Эти кутята твои, пес, отец их, тоже твой, и мать их, собака, тоже твоя. Значит, эти кутята твои братья и сестры, пес и сука - твои отец и мать, а сам ты собака».
Такие софизмы нередко использовались для того, чтобы ввести оппонента в заблуждение. Без такого оружия в руках, как логика, соперникам софистов в споре было нечего противопоставить, хотя зачастую они и понимали ложность софистических умозаключений. Споры в Древнем мире зачастую заканчивались драками.
При всем отрицательном значении софизмов они имели обратную и гораздо более интересную сторону. Так, именно софизмы стали причиной возникновения первых зачатков логики. Очень часто они ставят в неявной форме проблему доказательства. Именно с софизмов началось осмысление и изучение доказательства и опровержения. Поэтому можно говорить о положительном действии софизмов, т. е. о том, что они непосредственно содействовали возникновению особой науки о правильном, доказательном мышлении.
Известен также целый ряд математических софизмов. Для их получения числовые значения тасуются таким образом, чтобы из двух разных чисел получить одно. Например, утверждение, что 2 х 2 = 5, доказывается следующим образом: по очереди 4 делится на 4, а 5 на 5. Получается результат (1:1) = (1:1). Следовательно, четыре равно пяти. Таким образом, 2 х 2 = 5. Такая ошибка разрешается достаточно легко - нужно лишь произвести вычитание одного из другого, что выявит неравенство двух этих числовых значений. Также опровержение возможно записью через дробь.
Как раньше, так и теперь софизмы используются для обмана. Приведенные выше примеры достаточно просты, легко заметить их ложность и не обладая высокой логической культурой. Однако существуют софизмы завуалированные, замаскированные так, что отличить их от истинных суждений бывает очень проблематично. Это делает их удобным средством обмана в руках подкованных в логическом плане мошенников.
Вот еще несколько примеров софизмов: «Для того чтобы видеть, нет необходимости иметь глаза, так как без правого глаза мы видим, без левого тоже видим; кроме правого и левого, других глаз у нас нет, поэтому ясно, что глаза не являются необходимыми для зрения» и «Что ты не терял, то имеешь; рога ты не терял, значит, у тебя рога». Последний софизм является одним из самых известных и часто приводится в качестве примера.
Можно сказать, что софизмы вызываются недостаточной самокритичностью ума, когда человек хочет понять пока недоступное, не поддающееся на данном уровне развития знание.
Бывает и так, что софизм возникает как защитная реакция при превосходящем противнике, в силу неосведомленности, невежества, когда спорящий не проявляет упорство, не желая сдавать позиций. Можно говорить о том, что софизм мешает ведению спора, однако такую помеху не стоит относить к значительным. При должном умении софизм легко опровергается, хотя при этом и происходит отход от темы рассуждения: приходится говорить о правилах и принципах логики.
СОФИЗМ
СОФИЗМ
(греч. sophisma - хитрая уловка, измышление) - рассуждение, кажущееся правильным, но содержащее скрытую логическую ошибку и служащее для придания видимости истинности ложному утверждению. С. является особым приемом интеллектуального мошенничества, попыткой выдать за истину и тем самым ввести в . Отсюда « » в одиозном значении - это , готовый с помощью любых, в т.ч. недозволенных, приемов отстаивать свои убеждения, не считаясь с тем, истинны они на самом деле или нет.
Обычно С. обосновывает к.-н. заведомую нелепость, или парадоксальное , противоречащее общепринятым представлениям. Примером может служить ставший знаменитым еще в древности С. «Рогатый»: «Что ты не терял, то имеешь; рога ты не терял; значит, у тебя рога».
Др. примеры С. сформулированных опять-таки еще в античности:
«Сидящий встал; кто встал, тот стоит; следовательно, сидящий стоит»;
«Но когда говорят «камни, бревна, железо», то ведь это - молчащие, а говорят!»;
«Знаете вы, о чем я сейчас хочу вас спросить? - Нет. - Неужели вы не знаете, что лгать нехорошо? - Конечно, знаю. - Но именно об этом я и собирался вас спросить, а вы ответили, что не знаете; выходит, вы знаете то, чего вы не знаете».
Все эти и подобные им С. являются логически неправильными рассуждениями, выдаваемыми за правильные.
С. используют слов обычного языка, омонимию, сокращения и т.д.; нередко С. основываются на таких логических ошибках, как подмена тезиса доказательства, несоблюдение правил логического вывода, принятие ложных посылок за истинные и т.п. Говоря о мнимой убедительности С. Сенека сравнивал их с искусством фокусников: мы не можем сказать, как совершаются их манипуляции, хотя твердо знаем, что все делается совсем не так, как это нам кажется. Ф. Бэкон сравнивал того, кто прибегает к С. с лисой, которая хорошо петляет, а того, кто раскрывает С. - с гончей, умеющей распутывать следы.
Нетрудно заметить, что в С. «Рогатый» обыгрывается двусмысленность выражения «то, что не терял». Иногда означает «то, что имел и не потерял», а иногда просто «то, что не потерял, независимо оттого, имел или нет». В посылке «Что ты не терял, то имеешь» оборот «то, что не терял» должен означать «то, что ты имел и не потерял», иначе эта окажется ложной. Но во второй посылке это уже не проходит: высказывание «Рога - это то, что ты имел и не потерял» является ложным.
С. нередко использовались и используются с намерением ввести в заблуждение. Но они имеют и др. функцию, являясь своеобразной формой осознания и словесного выражения проблемной ситуации. Первым на эту особенность С. обратил Г.В.Ф. Гегель.
Ряд С. древних обыгрывает тему скачкообразного характера всякого изменения и развития. Некоторые С. поднимают проблему текучести, изменчивости окружающего мира и указывают на трудности, связанные с отождествлением объектов в потоке непрерывного изменения. Часто С. ставят в неявной форме доказательства: что оно представляет собой, если можно придать убедительности утверждениям, явно несовместимым с фактами и здравым смыслом? Сформулированные в тот период, когда как наука еще не существовала, древние С. хотя и непрямо, ставили вопрос о необходимости ее построения. В этом плане они непосредственно содействовали возникновению науки о правильном, доказательном мышлении.
Употребление С. с целью обмана является некорректным приемом аргументации и вполне обоснованно подвергается критике. Но это не должно заслонять того факта, что С. представляет собой также неизбежную на определенном этапе развития мышления неявную форму постановки проблем.
Философия: Энциклопедический словарь. - М.: Гардарики . Под редакцией А.А. Ивина . 2004 .
СОФИЗМ
(от греч. - хитрая уловка, измышление) , логически неправильное (мнимое) рассуждение (вывод , доказательство) , выдаваемое за правильное. Отсюда « » в одиозном значении - лицо, которое строит ложные умозаключения и ищет корысти от такой мнимой аргументации. Разнообразные примеры С. приводит в своих диалогах Платон («Евтидем» идр. ) . Логич. С. и их классификацию дал Аристотель в соч. «О софистич. опровержениях» (см. Соч., т. 2, М., 1978) . Примером древнего С. является С. «Рогатый»: «То, что ты не потерял, ты имеешь; ты не потерял рога; следовательно, ты их имеешь». Ошибка здесь состоит в неправомерном заключении от общего правила к частному случаю, который это по существу не предусматривает. Распространёнными С. являются, напр. , рассуждения, построенные на произвольно выбранных, выгодных для софиста альтернативах, с помощью которых, вообще говоря, можно доказывать что угодно. С. иногда называют рассуждения, которые по существу являются парадоксами (напр., «Лжец», «Куча») . Однако эти понятия следует различать: в отличие от парадоксов в С. не проявляются действительные логич. трудности. С. возникают в результате заведомо некорректного применения логич. и семантич. правил и операций.
Джевонс В. С., Элементарный учебник логики дедуктивной и индуктивной, пер. с англ. , СПБ , 1881 ; Минто В., Дедуктивная и , пер. с англ. , М., 18983.
Философский энциклопедический словарь. - М.: Советская энциклопедия . Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов . 1983 .
СОФИЗМ
(от греч. sophisma – хитрая выдумка)
видимость доказательства. См. также Неправильное умозаключение.
Философский энциклопедический словарь . 2010 .
СОФИЗМ
(от греч. σόφισμα – хитрая уловка, выдумка, ложное ) – логически неправильное (несостоятельное) рассуждение (вывод , доказательство), выдаваемое за правильное. Отсюда "софист" в одиозном значении – лица, готового с помощью любых приемов отстаивать к.-л. тезисы, не считаясь с их объективной истинностью или ложностью, что было характерно для нек-рых поздних древнегреч. софистов, у к-рых рассуждения и аргументации выродилось в искусство "спора ради спора". Разнообразные примеры С. приводит в своих диалогах Платон ("Евтидем" и др.). Логич. анализ С. дал Аристотель в соч. "Опровержение софистических аргументов"; он указал, что С. могут проистекать из двусмысленности значения отд. слов (или их сочетаний) или вследствие нарушения правил логики. Распространенным видом С. являются рассуждения, построенные на произвольно выбранных, выгодных софисту альтернативах, с помощью к-рых, вообще говоря, можно доказывать что угодно. Рассуждению такого рода обычно с равным правом можно противопоставить противоположное рассуждение. Так, по рассказу Аристотеля, одна афинянка внушала своему сыну: "Не вмешивайся в обществ. дела, потому что, если ты будешь говорить правду, тебя возненавидят люди, если же ты будешь говорить неправду, тебя возненавидят боги" – на что, естественно, можно возразить: "Ты должен участвовать в обществ. делах, потому что, если ты будешь говорить правду, тебя будут любить боги, а если будешь говорить неправду, тебя будут любить люди". С. иногда называют рассуждения, к-рые по существу являются парадоксами (напр., "Лжец", "Куча"). Но эти понятия следует различать. В отличие от парадоксов, в С. не проявляются действительные логич. трудности – это заведомо некорректного применения семантич. и логич. правил и операций.
Лит.: Джевонс В. С., Элементарный учебник логики дедуктивной и индуктивной с вопросами и примерами, [пер. с англ.], СПБ, 1881; Минто В., Дедуктивная и индуктивная логика, пер. с англ., 6 изд., М., 1909; Ахманов А. С., Логич. учение Аристотеля, М., 1960.
А. Субботин. Москва.
Философская Энциклопедия. В 5-х т. - М.: Советская энциклопедия . Под редакцией Ф. В. Константинова . 1960-1970 .
СОФИЗМ
СОФИЗМ (от греч. sophisma - уловка, ухищрение, выдумка, головоломка) - рассуждение, умозаключение или убеждающая (аргументация), обосновывающие какую-либо заведомую нелепость (абсурд} или утверждение, противоречащее общепринятым представлениям (парадокс). Вот софизма, основанного на разъединении смысла целого: “5 = 2 + 3, но 2 четно, а 3 нечетно, следовательно 5 одновременно четно и нечетно”. А вот софизм, построенный с нарушением закона тождества и семиотической роли кавычек: “Если Сократ и человек не одно и то же, то Сократ не то же, что Сократ, поскольку Сократ - человек”. Оба эти софизма приводит Аристотель. Он называл софизмами “мнимые доказательства”, в которых обоснованность заключения лишь кажущаяся и обязана чисто субъективному впечатлению, вызванному недостаточностью логического или семантического анализа. Внешняя убедительность многих софизмов, их “логичность” обычно связана с хорошо замаскированной ошибкой - семиотической (за счет метафоричности речи, амонимии или полисемии слов, амфиболии и пр.), нарушающей однозначность и приводящей к смешению значений терминов, или же логической (за счет игнорирования или подмены тезиса в случае доказательств или опровержений, ошибок в выведении следствий, использования “неразрешенных” или даже “запрещенных” правил или действий, к примеру, деления на нуль в математических софизмах).
Исторически с понятием “софизм” неизменно связывают о намеренной фальсификации, руководствуясь признанием Протагора, что задача софиста - представить наихудший как наилучший путем хитроумных уловок в речи, заботясь не об истине, а о практической выгоде, об успехе в споре или в судебной тяжбе. С этой же задачей обычно связывают и его известный “критерий основания”: человека есть истины. Уже Платон, который называл софистику “постыдной риторикой”, заметил на это, что не должно заключаться в субъективной воле человека, иначе придется признать противоречий, и поэтому любые суждения считать обоснованными. Эта мысль Платона нашла в аристотелевском “принципе непротиворечия” (см. Закон логический) и, уже в современной логике, - в требовании доказательства абсолютной непротиворечивости теорий. Но вполне уместное в области “истин разума” это требование не всегда оправдано в области “фактических истин”, где основания Протагора, понятый, однако, более широко, как относительность истины к условиям и средствам ее познания, оказывается весьма существенным. Поэтому многие рассуждения, приводящие к парадоксам, но в остальном безупречные, не являются софизмами. По существу они только демонстрируют интервальный связанных с ними гносеологических ситуаций. Таковы, в частности, известные апории Зенона Элейского или т. н. софизм “куча”: “Одно зерно - не куча. Если η зерен не куча, то η + 1 - тоже не куча. Следовательно, любое зерен - не куча”. Это не софизм, а лишь один из парадоксов транзитивности, возникающих в ситуациях неразличимости (или интервального равенства), в которых математической индукции неприменим. Стремление усматривать в такого рода ситуациях “нетерпимое противоречие” (А. Пуанкаре), преодолеваемое в абстрактом понятии математической непрерывности (континуума), не решает вопроса в общем случае. Достаточно сказать, что идеи равенства (тождества) в области фактических истин существенно зависит от того, какими средствами отождествления при этом пользуются. К примеру, далеко не всегда нам удается абстракцию неразличимости заменить абстракцией отождествления. А только в этом случае и можно рассчитывать на “преодоление” противоречий типа парадокса транзитивности.
Первыми, кто понял важность теоретического анализа софизмов были, по-видимому, сами (см. Софистика). Учение о правильной речи, о правильном употреблении имен Продик считал важнейшим. Анализ и примеры софизмов представлены и в диалогах Платона. Но их систематический анализ, основанный уже на теории силлогистических умозаключений (см. Силлогистика), принадлежит Аристотелю. Позднее математик Евклид написал “Псевдарий” - своеобразный каталог софизмов в геометрических доказательствах, но он не сохранился.
Лит.: Платон . Соч., т. 1. M., 1968 (диалоги: “Протагор”, “Горгай”, “Менон”, “Кратил”), т. 2. M., 1970 (диалоги: “Теэтет”, “Софист”); Аристотель. “О софистических опровержениях”.- Соч., т. 2. M., 1978; АхмановА, С. Логическое учение Аристотеля. М., I960, гл. 1, § 3.
M. M. Новосёлов
Новая философская энциклопедия: В 4 тт. М.: Мысль . Под редакцией В. С. Стёпина . 2001 .
Синонимы :
Смотреть что такое "СОФИЗМ" в других словарях:
- (греч., от sophos мудрый). Умышленно ложный вывод, неверное суждение, которому придан внешний вид истины. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. СОФИЗМ греч. sophismos, от sophos, мудрый. Ложное суждение,… … Словарь иностранных слов русского языка
Софизм - Софизм ♦ Sophisme Этот случай произошел со мной лет пятнадцать назад, в Монпелье, во дворе прекрасного особняка XVIII века, превращенного в амфитеатр. В рамках фестиваля, проводимого обществом «Культура Франции», я участвовал в диспуте о… … Философский словарь Спонвиля
Содерждание
Введение
1. Софизмы
1.2 Примеры софизмов
2. Логические парадоксы
Заключение
Введение
Объективные, не зависящие от наших индивидуальных особенностей и желаний, принципы, или правила мышления, соблюдение которых приводит любое рассуждение к истинным выводам при условии истинности исходных высказываний, называются законами логики.
Одним из наиболее важных и значимых законов логики является закон тождества. Он утверждает, что любая мысль (любое рассуждение) обязательно должна быть равна (тождественна) самой себе, то есть должна быть ясной, точной, простой, определенной. Этот закон запрещает путать и подменять понятия в рассуждении (то есть употреблять одно и то же слово в разных значениях или вкладывать одно и то же значение в разные слова), создавать двусмысленность, уклоняться от темы и т.п.
Когда закон тождества нарушается непроизвольно, по незнанию, тогда возникают просто логические ошибки; но когда этот закон нарушается преднамеренно, с целью запутать собеседника и доказать ему какую-нибудь ложную мысль, тогда появляются не просто ошибки, а софизмы.
Очень многие софизмы выглядят как лишенная смысла и цели игра с языком; игра, опирающаяся на многозначность языковых выражений, их неполноту, недосказанность, зависимость их значений от контекста и т.д. Эти софизмы кажутся особенно наивными и несерьезными.
Логические парадоксы представляют собой свидетельство в пользу того, что логика, как, впрочем, и любая другая наука, является не завершенной, а постоянно развивающийся.
Софизмы и парадоксы зародились еще в древности. Употребляя эти логические приемы, обороты наш язык становится богаче, ярче, красивее.
1. Софизмы
1.1 Понятие софизма и его историческое происхождение
Софизм (от греч. - мастерство, умение, хитрая выдумка, уловка, мудрость) - ложное умозаключение, которое, тем не менее, при поверхностном рассмотрении кажется правильным. Софизм основан на преднамеренном, сознательном нарушении правил логики.
Аристотель называл софизмом "мнимые доказательства", в которых обоснованность заключения кажущаяся и обязана чисто субъективному впечатлению, вызванному недостаточностью логического анализа. Убедительность на первый взгляд многих софизмов, их "логичность" обычно связана с хорошо замаскированной ошибкой - семиотической <#"center">1.2 Примеры софизмов
Будучи интеллектуальными уловками или подвохами, все софизмы разоблачимы, только в некоторых из них логическая ошибка в виде нарушения закона тождества лежит на поверхности и поэтому, как правило, почти сразу заметна. Такие софизмы разоблачить не трудно. Однако встречаются софизмы, в которых подвох спрятан достаточно глубоко, хорошо замаскирован, в силу чего нужно постараться, чтобы его обнаружить.
Пример № 1 несложного софизма: 3 и 4 - это два разных числа, 3 и 4 - это 7, следовательно, 7 - это два разных числа. В данном внешне правильном и убедительном рассуждении смешиваются или отождествляются различные, нетождественные вещи: простое перечисление чисел (первая часть рассуждения) и математическая операция сложения (вторая часть рассуждения); между первым и вторым нельзя поставить знак равенства, нарушение закона тождества.
Пример № 2 простого софизма: два раза по два (то есть дважды два) будет не четыре, а три. Возьмем спичку и сломаем ее пополам. Это один раз два. Затем возьмем одну из половинок и сломаем ее пополам. Это второй раз два. В результате получилось три части исходной спички. Таким образом, два раза по два будет не четыре, а три. В этом рассуждении смешиваются различные вещи, отождествляется нетождественное: операция умножения на два и операция деления на два - одно неявно подменяется другим, в результате чего достигается эффект внешней правильности и убедительности предложенного "доказательства".
Пример № 3 одного из древних софизмов, приписываемый Эвбулиду: Что ты не терял, то имеешь. Рога ты не терял. Значит, у тебя рога. Здесь маскируется двусмысленность большей посылки. Если она мыслится универсальной: "Всё, что ты не терял…", то вывод логически безупречен, но неинтересен, поскольку очевидно, что большая посылка ложна; если же она мыслится частной, то заключение не следует логически.
Используя софизмы можно также создать какой-нибудь комический эффект, используя нарушение закона тождества.
Пример № 4 : Н.В. Гоголь в поэме "Мертвые души", описывая помещика Ноздрева, говорит, что тот был историческим человеком, потому что где бы он ни появлялся, с ним обязательно случалась какая-нибудь история.
Пример № 5 : Не стой где попало, а то еще попадет.
Пример № 6 : - Я сломал руку в двух местах.
Больше не попадай в эти места.
В примерах № 4,5,6 используется один и тот же прием: в одинаковых словах смешиваются различные значения, ситуации, темы, одна из которых не равна другой, то есть нарушается закон тождества.
2. Логические парадоксы
2.1 Понятие логического парадокса и апории
Парадокс (от греч. неожиданный, странный) - это нечто необычное и удивительное, то, что расходится с привычными ожиданиями, здравым смыслом и жизненным опытом.
Логический парадокс - это такая необычная и удивительная ситуация, когда два противоречащих суждения не только являются одновременно истинными (что невозможно в силу логических законов противоречия и исключенного третьего), но еще и вытекают друг из друга, друг друга обуславливают.
Парадокс представляет собой неразрешимую ситуацию, своего рода мыслительный тупик, "камень преткновения" в логике: за всю ее историю было предложено множество разнообразных способов преодоления и устранения парадоксов, однако ни один из них до сих пор не является исчерпывающим, окончательным и общепризнанным.
Некоторые парадоксы (парадоксы "лжеца", "деревенского парикмахера" и т.п.) также называют антиномиями (от греч. противоречие в законе), то есть рассуждениями, в которых доказывается, что два высказывания, отрицающие друг друга, вытекают одно из другого. Считается, что антиномии представляют собой наиболее резкую форму парадоксов. Однако довольно часто термины "логический парадокс" и "антиномия" рассматриваются как синонимы.
Отдельной группой парадоксов являются апории (от греч. - затруднение, недоумение) - рассуждения, которые показывают противоречия между тем, что мы воспринимаем органами чувств (видим, слышим, осязаем и т.п.), и тем, что можно мысленно проанализировать (противоречия между видимым и мыслимым).
софизм логический парадокс язык
Наиболее известные апории выдвинул древнегреческий философ Зенон Элейский, который утверждал, что движение, наблюдаемое нами повсюду, невозможно сделать предметом мысленного анализа. Одна из его известных апорий называется "Ахиллес и черепаха". Она говорит о том, что мы вполне можем увидеть, как быстроногий Ахиллес догоняет и перегоняет медленно ползущею черепаху; однако мысленный анализ приводит нас к необычному заключению, что Ахиллес никогда не сможет догнать черепаху, хотя он движется в 10 раз быстрее нее. Когда он преодолеет расстояние до черепахи, то она за это же время пройдет в 10 раз меньше, а именно 1/10 часть того пути, который прошел Ахиллес, и на эту 1/10 часть будет впереди него. Когда Ахиллес пройдет эту 1/10 часть пути, то черепаха за это же время пройдет в 10 раз меньшее расстояние, то есть 1/100 часть пути, и на эту 1/100 часть будет впереди Ахиллеса. Когда он пройдет 1/100 часть пути, разделяющую его и черепаху, то она за это же время пройдет 1/1000 часть пути, все равно оставаясь впереди Ахиллеса, и так до бесконечности. Мы убеждаемся в том, что глаза говорят нам одно, а мысль - совершенно другое (видимое отрицается мыслимым).
В логике было создано много способов разрешения и преодоления парадоксов. Однако ни один из них не лишен возражений и не является общепризнанным.
2.2 Примеры логических парадоксов
Наиболее известный логический парадокс - это парадокс "лжеца" . Часто его называют "королем логических парадоксов". Он был открыт еще в Древней Греции. По преданию, философ Диодор Кронос дал обет не принимать пищи до тех пор, пока не разрешит этот парадокс и умер от голода, так ничего и не добившись. Существует несколько различных формулировок данного парадокса. Наиболее коротко и просто он формулируется в ситуации, когда человек произносит простую фразу: "Я лжец". Анализ этого высказывания приводит к ошеломляющему результату. Как известно, любое высказывание может быть истинным или ложным. Допустим, что фраза "Я лжец" истинна, то есть человек, который произнес ее, сказал правду, но в этом случае он действительно лжец, следовательно, произнеся данную фразу, он солгал. Допустим, что фраза "Я лжец" ложна, то есть человек, который произнес ее, солгал, но в этом случае он не лжец, а правдолюб, следовательно, произнеся данную фразу, он сказал правду. Получается нечто удивительное и даже невозможное: если человек сказал правду, то он солгал; а если он солгал, то он сказал правду (два противоречащих суждения не только одновременно истины, но и вытекают друг из друга).
Другой известный логический парадокс, обнаруженный в XX в. английским логиком и философом Бертраном Расселом, - это парадокс "деревенского парикмахера". Представим, что в некой деревне есть только один парикмахер, бреющий тех ее жителей, которые не бреются сами. Анализ этой незамысловатой ситуации приводит к необыкновенному выводу. Зададимся вопросом: может ли деревенский парикмахер брить самого себя? Допустим, что деревенский парикмахер сам себя бреет, но тогда он относится к тем жителям деревни, которые бреются сами и которых не бреет парикмахер, следовательно, в этом случае он сам себя не бреет. Допустим, что деревенский парикмахер сам себя не бреет, но тогда он относится к тем жителям деревни, которые не бреются сами и которых бреет парикмахер, следовательно, в этом случае он сам себя бреет. Получается невероятное: если деревенский парикмахер сам себя бреет, то он сам себя не бреет; а если он сам себя не бреет, то он сам себя бреет (два противоречащих суждения являются одновременно истинными и взаимообусловливают друг друга).
Парадокс "Протагор и Эватл" появился в Древней Греции. В его основе лежит незатейливая на первый взгляд история, которая заключается в том, что у софиста Протагора был ученик Эватл, бравший у него уроки логики и риторики. Учитель и ученик договорились таким образом, что Эватл заплатит Протагору гонорар за обучение только в том случае, если выиграет свой первый судебный процесс. Однако по завершении обучения Эватл не стал участвовать ни в одном процессе и денег учителю, разумеется, не платил. Протагор пригрозил ему, что подаст на него в суд и тогда Эватлу в любом случае придется заплатить. "Тебя или присудят к уплате гонорара, или не присудят, - сказал ему Протагор, - если тебя присудят к уплате, ты должен будешь заплатить по приговору суда; если же тебя не присудят к уплате, то ты, как выигравший свой первый судебный процесс, должен будешь заплатить по нашему уговору". На это Эватл ему ответил: "Все правильно: меня или присудят к уплате гонорара, или не присудят; если меня присудят к уплате, то я, как проигравший свой первый судебный процесс, не заплачу по нашему уговору; если же меня не присудят к уплате, то я не заплачу по приговору суда". Таким образом, вопрос о том, должен Эватл заплатить Протагору или нет, является неразрешимым. Договор учителя и ученика, несмотря на его вполне невинный внешний вид, является внутренне, или логически, противоречивым, так как он требует выполнения невозможного действия: Эватл должен и заплатить за обучение, и не заплатить одновременно. В силу этого сам договор между Протагором и Эватлом, а также вопрос об их тяжбе представляет собой нечто иное, как логический парадокс.
Заключение
С помощью софизмов можно добиться комического эффекта. На них основываются многие анекдоты, также они содержатся в основе многих, известных нам с детства, задач и головоломок. В основе всех фокусов лежит нарушение закона тождества. Фокусник делает что-то одно, а зрители думают, что он делает что-то другое.
Довольно часто софизмы используются издателями массовых газет и журналов в коммерческих целях. Проходя мимо киоска и видя заголовок, мы думаем одно, а когда, заинтересовавшись, покупаем эту газету, то оказывается совершенно другое. Например: "Первоклассник съел крокодила" - оказывается, первоклассник съел большого шоколадного крокодила.
Как видим, софизмы используются и встречаются в различных областях жизни.
Парадоксы указывают на какие-то глубокие проблемы логической теории, приоткрывают завесу над чем-то еще не вполне известным и понятным, намечают новые горизонты в развитии логики. Исчерпывающее объяснение и окончательное разрешение логических парадоксов остается делом будущего.
Список использованной литературы
1) Гетманова А.Д. Учебник по логике. М.: Владос, 2009.
2) Гусев Д.А. Учебное пособие по логике для вузов. Москва: Юнити-Дана, 2010
) Ивин А.А. Искусство правильно мыслить. М.: Просвещение, 2011.
) Коваль С. От развлечения к знаниям /Пер. О. Унгурян. Варшава: Начно-техническое изд-во, 2012.
Репетиторство
Нужна помощь по изучению какой-либы темы?
Наши специалисты проконсультируют или окажут репетиторские услуги по интересующей вас тематике.
Отправь заявку
с указанием темы прямо сейчас, чтобы узнать о возможности получения консультации.
Софизм
А вот современный софизм, обосновывающий, что с возрастом «годы жизни» не только кажутся, но и на самом деле короче: «Каждый год вашей жизни - это её часть, где - число прожитых вами лет. Но . Следовательно, ».
Исторически с понятием «софизм» неизменно связывают идею о намеренной фальсификации, руководствуясь признанием Протагора о том, что задача софиста - представить наихудший аргумент как наилучший путём хитроумных уловок в речи, в рассуждении, заботясь не об истине, а об успехе в споре или о практической выгоде. (Известно, что сам Протагор оказался жертвой «софизма Эватла »). С этой же идеей обычно связывают и «критерий основания», сформулированный Протагором: мнение человека есть мера истины. Уже Платон заметил, что основание не должно заключаться в субъективной воле человека, иначе придётся признать законность противоречий (что, между прочим, и утверждали софисты), а поэтому любые суждения считать обоснованными. Эта мысль Платона была развита в аристотелевском «принципе непротиворечия» (см. Логический закон) и, уже в современной логике, - в истолкованиях и требовании доказательств «абсолютной» непротиворечивости. Перенесённая из области чистой логики в область «фактических истин», она породила особый «стиль мышления», игнорирующий диалектику «интервальных ситуаций», то есть таких ситуаций, в которых критерий Протагора, понятый, однако, более широко, как относительность истины к условиям и средствам её познания, оказывается весьма существенным. Именно поэтому многие рассуждения, приводящие к парадоксам и в остальном безупречные, квалифицируются как софизмы, хотя по существу они только демонстрируют интервальный характер связанных с ними гносеологических ситуаций. Так, софизм «куча» («Одно зерно - не куча. Если зёрен не куча, то зерно - тоже не куча. Следовательно, любое число зёрен - не куча») - это лишь один из «парадоксов транзитивности », возникающих в ситуации «неразличимости». Последняя служит типичным примером интервальной ситуации, в которой свойство транзитивности равенства при переходе от одного «интервала неразличимости» к другому, вообще говоря, не сохраняется, и поэтому принцип математической индукции в таких ситуациях неприменим. Стремление усматривать в этом свойственное опыту «нетерпимое противоречие», которое математическая мысль «преодолевает» в абстрактном понятии числового континуума (А. Пуанкаре), не обосновывается, однако, общим доказательством устранимости подобного рода ситуаций в сфере математического мышления и опыта. Достаточно сказать, что описание и практика применения столь важных в этой сфере «законов тождества» (равенства) так же, вообще говоря, как и в эмпирических науках, зависит от того, какой смысл вкладывают в выражение «один и тот же объект», какими средствами или критериями отождествления при этом пользуются. Другими словами, идёт ли речь о математических объектах или, к примеру, об объектах квантовой механики, ответы на вопрос о тождестве неустранимым образом связаны с интервальными ситуациями. При этом далеко не всегда тому или иному решению этого вопроса «внутри» интервала неразличимости можно противопоставить решение «над этим интервалом», то есть заменить абстракцию неразличимости абстракцией отождествления. А только в этом последнем случае и можно говорить о «преодолении» противоречия.
По-видимому, первыми, кто понял важность семиотического анализа софизмов, были сами софисты. Учение о речи, о правильном употреблении имён Продик считал важнейшим. Анализ и примеры софизмов часто встречаются в диалогах Платона. Аристотель написал специальную книгу «О софистических опровержениях», а математик Евклид - «Псевдарий» - своеобразный каталог софизмов в геометрических доказательствах. Сочинение «Софизмы» (в двух книгах) написал ученик Аристотеля Феофраст (D.L. V. 45). В средние века в Западной Европе составлялись целые коллекции софизмов. Например, собрание, приписываемое английскому философу и логику XIII века Ричарду Софисту , насчитывает свыше трехсот софизмов. Некоторые из них напоминают высказывания представителей древнекитайской школы имён (мин цзя).
Классификация ошибок
Логические
Так как обычно вывод может быть выражен в силлогистической форме, то и всякий софизм может быть сведён к нарушению правил силлогизма . Наиболее типичными источниками логических софизмов являются следующие нарушения правил силлогизма :
- Вывод с отрицательной меньшей посылкой в первой фигуре: «Все люди суть разумные существа, жители планет не суть люди, следовательно, они не суть разумные существа»;
- Вывод с утвердительными посылками во второй фигуре: «Все, находящие эту женщину невинной, должны быть против наказания её; вы - против наказания её, значит, вы находите её невинной»;
- Вывод с отрицательной меньшей посылкой в третьей фигуре: «Закон Моисеев запрещал воровство, закон Моисеев потерял свою силу, следовательно, воровство не запрещено»;
- Особенно распространённая ошибка quaternio terminorum , то есть употребление среднего термина в большой и в меньшей посылке не в одинаковом значении: «Все металлы - простые вещества, бронза - металл: бронза - простое вещество» (здесь в меньшей посылке слово «металл» употреблено не в точном химическом значении слова, обозначая сплав металлов): отсюда в силлогизме получаются четыре термина.
Терминологические
Грамматические, терминологические и риторические источники софизмов выражаются
В устную речь математиками введены такие слова как «сумма», «произведение», «разность». Так - сумма произведения два на два и пятерки, а - удвоенная сумма двух и пяти.
- Более сложные софизмы проистекают из неправильного построения целого сложного хода доказательств, где логические ошибки являются замаскированными неточностями внешнего выражения. Сюда относятся:
- Petitio principii : введение заключения, которое требуется доказать, в скрытом виде в доказательство в качестве одной из посылок. Если мы, например, желая доказать безнравственность материализма, будем красноречиво настаивать на его деморализующем влиянии, не заботясь дать отчёт, почему именно материализм - безнравственная теория, то наши рассуждения будут заключать в себе petitio principii.
- Ignoratio elenchi заключается в том, что начав доказывать некоторый тезис, постепенно в ходе доказательства переходят к доказательству другого положения, сходного с тезисом.
- A dicto secundum ad dictum simpliciter подменяет утверждение, сказанное с оговоркой, на утверждение, не сопровождаемое этой оговоркой.
- Non sequitur представляет отсутствие внутренней логической связи в ходе рассуждения: всякое беспорядочное следование мыслей представляет частный случай этой ошибки.
Психологические
Психологические причины С. бывают троякого рода: интеллектуальные, аффективные и волевые. Во всяком обмене мыслей предполагается взаимодействие между 2 лицами, читателем и автором или лектором и слушателем, или двумя спорящими. Убедительность С. поэтому предполагает два фактора: α - психические свойства одной и β - другой из обменивающихся мыслями сторон. Правдоподобность С. зависит от ловкости того, кто защищает его, и уступчивости оппонента, а эти свойства зависят от различных особенностей обеих индивидуальностей.
Интеллектуальные причины
Интеллектуальные причины софизма заключаются в преобладании в уме лица, поддающегося С., ассоциаций по смежности над ассоциациями по сходству, в отсутствии развития способности управлять вниманием, активно мыслить, в слабой памяти, непривычке к точному словоупотреблению, бедности фактических знаний по данному предмету, лености в мышлении (ignava ratio) и т. п. Обратные качества, разумеется, являются наиболее выгодными для лица, защищающего С.: обозначим первые отрицательные качества через , вторые соответствующие им положительные через .
Аффективные причины
Сюда относятся трусость в мышлении - боязнь опасных практических последствий, вытекающих от принятия известного положения; надежда найти факты, подтверждающие ценные для нас взгляды, побуждающая нас видеть эти факты там, где их нет, любовь и ненависть, прочно ассоциировавшиеся с известными представлениями, и т. д. Желающий обольстить ум своего соперника софист должен быть не только искусным диалектиком, но и знатоком человеческого сердца, умеющим виртуозно распоряжаться чужими страстями для своих целей. Обозначим аффективный элемент в душе искусного диалектика, который распоряжается им как актёр, чтобы тронуть противника, через , а те страсти, которые пробуждаются в душе его жертвы и омрачают в ней ясность мышления через . Argumentum ad hominem , вводящий в спор личные счёты, и argumentum ad populum , влияющий на аффекты толпы, представляют типичные С. с преобладанием аффективного элемента.
Волевые причины
При обмене мнений мы воздействуем не только на ум и чувства собеседника, но и на его волю. Во всякой аргументации (особенно устной) есть элемент волевой - императивный - элемент внушения. Категоричность тона, не допускающего возражения, определённая мимика и т. п. () действуют неотразимым образом на лиц, легко поддающихся внушению, особенно на массы. С другой стороны, пассивность () слушателя особенно благоприятствует успешности аргументации противника. Таким образом, всякий С. предполагает взаимоотношение между шестью психическими факторами: . Успешность С. определяется величиной этой суммы, в которой составляет показатель силы диалектика, есть показатель слабости его жертвы. Прекрасный психологический анализ софистики даёт Шопенгауэр в своей «Эристике» (перев. кн. Д. Н. Цертелева). Само собой разумеется, что логические, грамматические и психологические факторы теснейшим образом связаны между собой; поэтому С., представляющий, например, с логической точки зрения quaternio ter.
Способ нахождения ошибки в софизме
- Внимательно прочитать условие предложенной вам задачи. Начинать поиск ошибки лучше с условия предложенного софизма. В некоторых софизмах абсурдный результат получается из-за противоречивых или неполных данных в условии, неправильного чертежа, ложного первоначального предположения, а далее все рассуждения проводятся верно. Это и вызывает затруднения при поиске ошибки. Все привыкли, что задания, предполагаемые в различной литературе, не содержат ошибок в условии и, поэтому, если получается неверный результат, то ошибку они ищут непременно по ходу решения.
- Установите области знаний (темы), которые отражены в софизме, предложенных преобразованиях. Софизм может делиться на несколько тем, которые потребуют детального анализа каждой из них.
- Выясните, соблюдены ли все условия применимости теорем, правил, формул, соблюдена ли логичность. Некоторые софизмы построены на неверном использовании определений, законов, на «забывании» условий применимости. Очень часто в формулировках, правилах запоминаются основные, главные фразы и предложения, всё остальное упускаются. И тогда второй признак равенства треугольников превращается в признак «по стороне и двум углам».
- Проверяйте результаты преобразования обратным действием.
- Часто следует разбить работу на небольшие блоки и проконтролировать правильность каждого такого блока.
Примеры софизмов
Полупустое и полуполное
Полупустое есть то же, что и полуполное. Если равны половины, значит, равны и целые. Следовательно, пустое есть то же, что и полное.
Чётное и нечётное
5 есть («два и три»). Два - число чётное, три - нечётное, выходит, что пять - число и чётное и нечётное. Пять не делится на два, также, как и , значит, оба числа нечётные.
Не знаешь то, что знаешь
Знаешь ли ты то, о чём я хочу тебя спросить?
- Нет.
- Знаешь ли ты, что добродетель есть добро?
- Знаю.
- Об этом я и хотел тебя спросить. А ты, выходит, не знаешь то, что знаешь.
Лекарства
Лекарство, принимаемое больным, есть добро. Чем больше делать добра, тем лучше. Значит, лекарств нужно принимать как можно больше.
Вор
Вор не желает приобрести ничего дурного. Приобретение хорошего есть дело хорошее. Следовательно, вор желает хорошего.
Рогатый
Есть ли у тебя то, что ты не терял? Конечно есть. Ты рога не терял, значит они у тебя есть.
2=3
Ошибка в том, что на ноль (5-5) делить нельзя.
Литература
- Ахманов А. С., Логическое учение Аристотеля, М., 1960;
- Брутян Г. Паралогизм, софизм и парадокс // Вопросы философии.1959.№ 1.С.56-66.
- Брадис В. М., Минковский В. Л., Еленев Л. К., Ошибки в математических рассуждениях, 3 изд., М., 1967.
- Билык А.М., Билык Я.М. К вопросу о проблемной технике софизма (ее связь с современным пониманием научной проблемы) // Философские науки. № 2. 1989. - С.114-117.
- Морозов Н. А. О научном значении математических софизмов // Известия научного института им. П. Ф. Лесгафта. Пг., 1919.Т.1.С.193-207.
- Павлюкевич В. В. Логико-методологический статус софизмов // Современная логика:проблемы теории, истории и применения в науке. СПб.,2002. С. 97-98.
- Read, Stephen (ed).: Sophisms in Medieval Logic and Grammar, Acts of the 8th European Symposium for Medieval Logic and Semantics, Kluwer, 1993
- Cassagnac, Joachim .: Merde à Celui qui le lira, Flammarion, 1974
- Тульчинский М. Е. Занимательные задачи-парадоксы и софизмы по физике. М. 1971.
- Дёмин Р. Н. Собрание «задач» Ричарда Софиста как контекст для «парадоксов» древнекитайской школы имен // Вестник РХГА № 6, СПб., 2005. С. 217-221. http://www.rchgi.spb.ru/Pr/vest_6.htm
- Неркарарян К. В., Софизмы и парадоксы, 1 издание, 2001
См. также
Wikimedia Foundation . 2010 .
Синонимы :Городская открытая научно – практическая конференция
школьников и студентов
Тема: Софизмы
Цели, задачи, актуальность
Классификация ошибок
Логические
Терминологические
Психологические
Литература
Дать определение софизму
Определить сферу его применения
Узнать, какие бывают софизмы
Привести примеры софизмов
Составить свой софизм
Актуальность:
В настоящее время уроки математики, на мой взгляд, в своем большинстве проходят сухо, однообразно и не всегда вызывают особого интереса у учащихся. Применение софизмов поможет исправить это, привить интерес к предмету, разнообразить урок.
Софи́зм (от греч. σόφισμα, «мастерство, умение, хитрая выдумка, уловка») - ложное умозаключение, которое, тем не менее, при поверхностном рассмотрении кажется правильным. Софизм основан на преднамеренном, сознательном нарушении правил логики.
История
Аристотель называл софизмом «мнимые доказательства», в которых обоснованность заключения кажущаяся и обязана чисто субъективному впечатлению, вызванному недостаточностью логического или семантического анализа. Убедительность на первый взгляд многих софизмов, их «логичность» обычно связана с хорошо замаскированной ошибкой - семиотической. За счёт метафоричности речи, омонимии или полисемии слов, амфиболий и прочих, нарушающих однозначность мысли и приводящих к смешению значений терминов, или же логической: подмена основной мысли (тезиса) доказательства, принятие ложных посылок за истинные, несоблюдение допустимых способов рассуждения (правил логического вывода), использование «неразрешённых» или даже «запрещённых» правил или действий, например деления на нуль в математических софизмах (последнюю ошибку можно считать и семиотической, так как она связана с соглашением о «правильно построенных формулах») происходит нарушение правил логики.
Вот один из древних софизмов («рогатый»), приписываемый Эвбулиду: «Что ты не терял, то имеешь. Рога ты не терял. Значит, у тебя рога». Здесь маскируется двусмысленность большей посылки. Если она мыслится универсальной: «Всё, что ты не терял…», то вывод логически безупречен, но неинтересен, поскольку очевидно, что большая посылка ложна; если же она мыслится частной, то заключение не следует логически. Последнее, однако, стало известно лишь после того, как Аристотель создал логику.
А вот современный софизм, обосновывающий, что с возрастом «годы жизни» не только кажутся, но и на самом деле короче: «Каждый год вашей жизни - это её 1/n часть, где n - число прожитых вами лет. Но n + 1>n. Следовательно, 1/(n + 1)< 1/n».
Исторически с понятием «Софизм» неизменно связывают идею о намеренной фальсификации, руководствуясь признанием Протагора, что задача софиста - представить наихудший аргумент как наилучший путём хитроумных уловок в речи, в рассуждении, заботясь не об истине, а об успехе в споре или о практической выгоде. (Известно, что сам Протагор оказался жертвой «софизма Эватла».) С этой же идеей обычно связывают и «критерий основания», сформулированный Протагором: мнение человека есть мера истины. Уже Платон заметил то, что основание не должно заключаться в субъективной воле человека, иначе придётся признать законность противоречий (что, между прочим, и утверждали софисты), а поэтому любые суждения считать обоснованными. Эта мысль Платона была развита в аристотелевском «принципе непротиворечия», уже в современной логике, - в истолкованиях и требовании доказательств «абсолютной» непротиворечивости. Перенесённая из области чистой логики в область «фактических истин», она породила особый «стиль мышления», игнорирующий диалектику «интервальных ситуаций», то есть таких ситуаций, в которых критерий Протагора, понятый, однако, более широко, как относительность истины к условиям и средствам её познания, оказывается весьма существенным. Именно поэтому многие рассуждения, приводящие к парадоксам и в остальном безупречные, квалифицируются как софизмы, хотя по существу они только демонстрируют интервальный характер связанных с ними гносеологических ситуаций. Так, софизм «куча» («Одно зерно - не куча. Если n зёрен не куча, то n + 1 зерно - тоже не куча. Следовательно, любое число зёрен - не куча») - это лишь один из «парадоксов транзитивности», возникающих в ситуации «неразличимости». Последняя служит типичным примером интервальной ситуации, в которой свойство транзитивности равенства при переходе от одного «интервала неразличимости» к другому, вообще говоря, не сохраняется, и поэтому принцип математической индукции в таких ситуациях неприменим. Стремление усматривать в этом свойственное опыту «нетерпимое противоречие», которое математическая мысль «преодолевает» в абстрактном понятии числового континуума (А. Пуанкаре), не обосновывается, однако, общим доказательством устранимости подобного рода ситуаций в сфере математического мышления и опыта. Достаточно сказать, что описание и практика применения столь важных в этой сфере «законов тождества» (равенства) так же, вообще говоря, как и в эмпирических науках, зависит от того, какой смысл вкладывают в выражение «один и тот же объект», какими средствами или критериями отождествления при этом пользуются. Другими словами, идёт ли речь о математических объектах или, к примеру, об объектах квантовой механики, ответы на вопрос о тождестве неустранимым образом связаны с интервальными ситуациями. При этом далеко не всегда тому или иному решению этого вопроса «внутри» интервала неразличимости можно противопоставить решение «над этим интервалом», то есть заменить абстракцию неразличимости абстракцией отождествления. А только в этом последнем случае и можно говорить о «преодолении» противоречия.
По-видимому, первыми, кто понял важность семиотического анализа софизмов, были сами софисты. Учение о речи, о правильном употреблении имён Продик считал важнейшим. Анализ и примеры софизмов часто встречаются в диалогах Платона. Аристотель написал специальную книгу «О софистических опровержениях», а математик Евклид - «Псевдарий» - своеобразный каталог софизмов в геометрических доказательствах.
Классификация ошибок
Логические
Так как обычно вывод может быть выражен в силлогистической форме, то и всякий софизм может быть сведён к нарушению правил силлогизма. Наиболее типичными источниками логических софизмов являются следующие нарушения правил силлогизма:
1. Вывод с отрицательной меньшей посылкой в первой фигуре: «Все люди суть разумные существа, жители планет не суть люди, следовательно, они не суть разумные существа»;
2. Вывод с утвердительными посылками во второй фигуре: «Все, находящие эту женщину невинной, должны быть против наказания её; вы - против наказания её, значит, вы находите её невинной»;
3. Вывод с общим заключением в третьей фигуре: «Закон Моисеев запрещал воровство, закон Моисеев потерял свою силу, следовательно, воровство не запрещено»;
4. Особенно распространённая ошибка quaternio terminorum, то есть употребление среднего термина в большой и в меньшей посылке не в одинаковом значении: «Все металлы - простые тела, бронза - металл: бронза - простое тело» (здесь в меньшей посылке слово «металл» употреблено не в точном химическом значении слова, обозначая сплав металлов): отсюда в силлогизме получаются четыре термина.
Терминологические
Грамматические, терминологические и риторические источники софизмов выражаются в неточном или неправильном словоупотреблении и построении фразы (всякое quaternio terminorum предполагает такое словоупотребление); наиболее характерные:
1. ошибка гомонимия (aequivocatio), например: реакция, в смысле химическом, биологическом и историческом; доктор это как врач и как учёная степень.
2. Ошибка сложения - когда разделительному термину придается значение собирательного. Все углы треугольника больше 2 π в том смысле, что сумма меньше 2 π.
3. Ошибка разделения, обратная, когда собирательному термину дается значение разделительного: «все углы треугольника равны 2 π» в смысле «каждый угол равен сумме 2 прямых углов».
4. Ошибка ударения, когда подчёркивание повышением голоса в речи и курсивом в письме определенного слова или нескольких слов во фразе искажает её первоначальный смысл.
5. Ошибка выражения, заключающаяся в неправильном или неясном для уразумения смысла построении фразы, например: сколько будет: дважды два плюс пять? Здесь трудно решить имеется ли в виду 2*2+5=9 или 2*(2+5)=14.
· Более сложные софизмы проистекают из неправильного noстроения целого сложного хода доказательств, где логические ошибки являются замаскированными неточностями внешнего выражения. Сюда относятся:
1. petitio principii: введение заключения, которое требуется доказать, в скрытом виде в доказательство в качестве одной из посылок. Если мы, например, желая доказать безнравственность материализма, будем красноречиво настаивать на его деморализующем влиянии, не заботясь дать отчет, почему именно он - безнравственная теория, то наши рассуждения будут заключать в себе petitio principii.
2. Ignoratio elenchi заключается в том, что мы, возражая на чье-нибудь мнение, направляем нашу критику не на те аргументы, которые ей подлежат, а на мнения, которые мы ошибочно приписываем нашим противникам.
3. A dicto secundum ad dictum simpliciter представляет заключение от сказанного с оговоркой к утверждению, не сопровождаемому этой оговоркой.
4. Non sequitur представляет отсутствие внутренней логической связи в ходе рассуждения: всякое беспорядочное следование мыслей представляет частный случай этой ошибки.
Психологические
Психологические причины софизмов бывают троякого рода: интеллектуальные, аффективные и волевые. Во всяком обмене мыслей предполагается взаимодействие между 2 лицами, читателем и автором или лектором и слушателем, или двумя спорящими. Убедительность софизма предполагает два фактора: α - психические свойства одной и β - другой из обменивающихся мыслями сторон. Правдоподобность софизма зависит от ловкости того, кто защищает его, и уступчивости оппонента, а эти свойства зависят от различных особенностей обеих индивидуальностей.
Интеллектуальные причины
Интеллектуальные причины софизма заключаются в преобладании в уме лица, поддающегося софизму, ассоциаций по смежности над ассоциациями по сходству, в отсутствии развития способности управлять вниманием, активно мыслить, в слабой памяти, непривычке к точному словоупотреблению, бедности фактических знаний по данному предмету, лености в мышлении (ignava ratio). Обратные качества, разумеется, являются наиболее выгодными для лица, защищающего софизм: обозначим первые отрицательные качества через b, вторые соответствующие им положительные через а.
Аффективные причины
Сюда относятся трусость в мышлении - боязнь опасных практических последствий, вытекающих от принятия известного положения; надежда найти факты, подтверждающие ценные для нас взгляды, побуждающая нас видеть эти факты там, где их нет, любовь и ненависть, прочно ассоциировавшиеся с известными представлениями. Желающий обольстить ум своего соперника софист должен быть не только искусным диалектиком, но и знатоком человеческого сердца, умеющим виртуозно распоряжаться чужими страстями для своих целей. Обозначим аффективный элемент в душе искусного диалектика, который распоряжается им как актёр, чтобы тронуть противника, через с, а те страсти, которые пробуждаются в душе его жертвы и омрачают в ней ясность мышления через d. Аrgumentum ad homuiem, вводящий в спор личные счеты, и argumentum ad populum, влияющий на аффекты толпы, представляют типичные софизмы с преобладанием аффективного элемента.
Волевые причины
При обмене мнений мы воздействуем не только на ум и чувства собеседника, но и на его волю. Во всякой аргументации (особенно устной) есть элемент волевой - императивный - элемент внушения. Категоричность тона, не допускающего возражения, определенная мимика e действуют неотразимым образом на лиц, легко поддающихся внушению, особенно на массы, с другой стороны, пассивность f слушателя особенно благоприятствует успешности аргументации противника. Таким образом, всякий софизм предполагает взаимоотношение между шестью психическими факторами: a + b + c + d + e + f. Успешность софизма определяется величиной этой суммы, в которой (a + с + е) составляет показатель силы диалектика, (b + d + f) есть показатель слабости его жертвы. Прекрасный психологический анализ софистики дает Шопенгауэр в своей «Эристике» (перевод книги Д. Н. Цертелева). Само собой разумеется, что логические, грамматические и психологические факторы теснейшим образом связаны между собой.
Примеры софизмов
Чётное и нечётное
5 есть 2+3 («два и три»). Два - число чётное, три - нечётное, выходит, что пять - число и чётное и нечётное.
Не знаешь то, что знаешь
«Знаешь ли ты, о чём я хочу тебя спросить?» - «Нет». - «Знаешь ли ты, что добродетель есть добро?» - «Знаю». - «Об этом я и хотел тебя спросить. А ты, выходит, не знаешь то, что знаешь».
Лекарства
«Лекарство, принимаемое больным, есть добро. Чем больше делать добра, тем лучше. Значит, лекарств нужно принимать как можно больше».
Вор
«Вор не желает приобрести ничего дурного. Приобретение хорошего есть дело хорошее. Следовательно, вор желает хорошего»
Отец - собака
«Эта собака имеет детей, значит, она - отец. Но это твоя собака. Значит, она твой отец. Ты её бьёшь, значит, ты бьёшь своего отца и ты - брат щенят».
Рогатый
«Что ты не терял, то имеешь. Рога ты не терял. Значит, у тебя рога».
Дана дробь: 1/Х. Как известно, она возрастает с уменьшением знаменателя
Поэтому, т.к. ряд 5, 3, 1, -1, -3, -5 убывающий, то ряд вида 1/Х=1/5, 1/3, 1, -1, -1/3, -1/5 и т.д. есть возрастающий. Но в возрастающем ряду каждый последующий член больше предыдущего, а это значит: 1/3>1/5, 1>1/3, -1>+1…
1)Х2-X2=X2-X2; (X+X)(X-X)=X(X-X); сокращаем: X+X=X; 2X=X; 2=1.
2) Х=1; X2=X; X2-1=X-1; X+1=1, но т.к. Х=1, то 2=1.
Парадоксы математические
Здесь мы поговорим о парадоксах в разделе математики. И вот, действительно, самое парадоксальное - это то, что в математике вообще есть парадоксы.
Парадокс несоизмеримости величин
Это явление имело место в древности, когда людям были знакомы только рациональные числа.
Две однородные величины, например, длины, площади или объемы, соизмеримы, если имеется их общая мера, т.е. если существует такая однородная с ними величина, которая укладывается в них целое число раз (общий делитель). Полагалось, что все вышеперечисленные величины соизмеримы.
Но вдруг оказалось, что диагональ квадрата и его сторона не имеют такой общей меры, и их частное нельзя было выразить с помощью известных чисел. Парадокс состоял в том, что по отдельности каждая из несоизмеримых величин может быть измерена и количественно точно определена, а их отношение - нет. К примеру, если возьмем сторону квадрата и начнем ее откладывать на диагонали, то обнаружим, что она укладывается только один раз и остается остаток. Тогда, если мы уложим остаток в сторону квадрата, то все будет ОК. Но и он не умещается. Далее полученный остаток не равный 2 не умещается в остаток не равный 1 и так далее.
В результате это отношение было выражено как корень квадратный из 2. Позднее нашли и другие несоизмеримые величины, такие как отношение длины окружности к диаметру и площади круга к площади квадрата, построенному на радиусе (оба равняются числу π).
Т.к. не находилось физического истолкования этих чисел, которое находилось для рациональных (самое банальное - две коровы, высота сооружения - тридцать три целых и половина камня), то греки придумали иррациональные, т.е. «бессмысленные», числа внедрить в геометрию, обозначать ими длины определенных отрезков, а не числа.
Парадокс бесконечно малых величин
Математический кризис в этой области существовал в период XVII - XVIII веков.
Бесконечно малые - это переменные величины, стремящиеся к нулю, или, если быть точнее, к пределу, равному нулю. Проблема состояла в их туманном понимании: то они рассматриваются как числа равные нулю, то как ему неравные. Причем, при таком подходе, люди рассматривали их как постоянные величины. Тогда из этого и из названия таких величин следует, что бесконечное является чем-то завершенным.
Кризис перестал быть таковым после создания теории пределов в начале XIX века французским математиком Огюстеном Луи Коши (1789 - 1857). С того момента бесконечно малые величины рассматриваются как постоянно изменяющиеся, а не постоянные, стремящиеся к пределу, но никогда его не достигающие. Постоянно изменяющиеся числа!
Парадокс Рассела
Парадокс связан с теорией множеств.
В письме от 16 июня 1902 года Готтлобу Фреге, уже завершавшему свой трехтомный труд, частью изданный, «Обоснования арифметики», венчавший усилия логицистов, Бертран Артур Уильям Рассел (1872 - 1970) сообщил о том, что обнаружил парадокс множества всех нормальных множеств (нормальным множеством называется множество, не содержащее себя в качестве элемента), указывая на противоречивость исходных позиций Фреге, тем самым чуть-чуть его обломав. Парадокс имеет n-ое количество вариаций.
Например, «каталог всех нормальных каталогов».
Каталоги подразделяются на два вида: 1) нормальные, которые в числе перечисленных в них каталогов не упоминают себя, и 2) ненормальные, которые входят в число перечисляемых ими каталогов.
Библиотекарю дается задание составить каталог всех нормальных каталогов и только нормальных каталогов. Должен ли он при составлении своего каталога его упомянуть? Если он его не упомянет, то составленный им каталог будет нормальным. Но такой каталог должен упомянут, а тогда это уже ненормальный каталог, и из списка должен быть вычеркнут. Библиотекарь не может ни упомянуть, ни не упомянуть свой каталог.
Теперь расскажем о вариациях этого парадокса. Начнем с более простого и известного.
Парадокс парикмахера (приписывается также Бертрану Расселу)
В некой деревни (некотором взводе и т.д.), в которой живет один-единственный парикмахер, был издан указ: «Парикмахер имеет право брить тех и только тех жителей деревни, которые не бреются сами». Может ли парикмахер брить самого себя?
Парадокс «мэр города»
Каждый мэр города живет или в своем городе, или вне его. Был выделен один специальный город, где бы жили мэры, не живущие в своих городах. Где должен жить мэр этого специального города?
Парадокс Кантора (1899)
Согласно одной из теорем немецкого математика Георга Кантора (1845 - 1918), развившего уже упомянутую теорию множеств, не существует самого мощного множества. Сие ввиду того, что для любого сколь угодно мощного множества можно указать еще более мощное. С другой стороны, интуитивно очевидно, что множество всех множеств должно быть самым мощным, ведь оно включает в себя все возможные множества.
Другими словами, пусть множество всех множеств M содержит в себе множество всех своих подмножеств (ведь оно же множество всех множеств). Если первое имеет мощность m, то мощность второго 2m, что больше m. Следовательно, множество M не содержит множество всех своих подмножеств, а, значит, не может быть множеством всех множеств.
Парадокс изобретателя
Начнем с одной из его математических интерпретаций:
Попробуем доказать методом математической индукции неравенство
База при n = 1 очевидна.
Предполагая, что для некоторого k наше неравенство верно, и начиная доказательство для k + 1, получим
Нам остается доказать, что
Тогда наше неравенство 100% истинно.
Возведем обе части неравенства в квадрат и, после алгебраических преобразований, получим
(k + 1) (2k + 1)2 <= k (2k + 2)2 и, раскрыв скобки,
4k3 + 8k2 + 5k + 1 <= 4k3 + 8k2 + 4k
Здесь мы с ужасом обнаруживаем, что то, что мы получили неверно, а следовательно, и два предыдущих неравенства тоже. Правда, из этого нельзя делать вывод, что неверно и исходное неравенство, а можно лишь тот, что не годится данный метод доказательства - индукция.
Теперь попробуем доказать тем же методом неравенство
Т.к. это неравенство более сильное, то, казалось бы, и доказывать его не имеет смысла, ведь придем к тому же. Однако, попробуем.
База опять очевидна.
Проводя доказательство так же, сначала получим
Останется доказать, что
Аналогичным образом возведем в квадрат и раскроем скобки; получим
4k3 + 12k2 + 9k + 2 <= 4k3 + 12k2 + 12k + 4
И что же мы видим? Неравенство истинно. Следовательно, и исходное (то, которое более сильное) тоже верно!
Эта ситуация, когда доказать более сильное утверждение легче, чем более слабое, и называется парадоксом изобретателя. Он был известен еще и древним мыслителям, но придумал это название в начале XX века венгерский математик Д. Пойа, сказав о парадоксе следующие слова: «Легче доказать более сильную теорему, чем более слабую». Этот парадокс существует не только в математике, но и в других областях, в том числе и в жизненных ситуациях. Такое же название (и по праву) получили ситуации, когда решить более общую задачу легче, чем более узкую. Прием, позволяющий это сделать, заключается в том, чтобы свести задачу к более общей, относительно которой исходная задача будет являться лишь частным случаем. Приведу один пример:
В III веке до н. э. тиран города Сиракузы Гиерон поручил своему подданному и близкому родственнику Архимеду определить, не подмешано ли к его золотой короне, изготовленной ювелирами, менее благородное серебро. Эту частную задачу Архимед смог решить лишь как общую (т.к. о химическом анализе тогда еще и не помышляли; к тому же корону разрушать было нельзя), выявив закон «подъемной силы», то есть силы Архимеда, действующей на погруженное в жидкость тело.
Таким же образом появились на свет в математике интегральное (выросшее из изобретенного древнегреческим математиком Евдоксом Книдским (около 408 - около 355 до н. э.) метода «исчерпывания») и дифференциальное (когда Лейбниц Готфрид Вильгельм (1646 - 1716) долго бился на задачей проведения касательной к кривой в заданной точке, сведя ее к проведению секущей через две бесконечно близкие точки) исчисления, в науке изобретена пастеризация и многое-многое другое.
Вывод
Софизмом называется умышленно ложное умозаключение, которое имеет видимость правильного. Каков бы ни был софизм, он обязательно содержит одну или несколько замаскированных ошибок.
Разбор софизмов, прежде всего, развивает логическое мышление, т.е. прививает навыки правильного мышления. Обнаружить ошибку в софизме - это значит осознать ее, а осознание ошибки предупреждает от повторения ее в других математических рассуждениях. Помните, что важно добиться отчетливого понимания ошибок, иначе софизмы будут бесполезны.
Литература
1. Ахманов А. С. Логическое учение Аристотеля
2. Брадис В. М., Минковский В. Л., Харчева Л. К. «Ошибки в математических рассуждениях»
3. Пельман Я. И. «Занимательная математика»
4. В. А. Кордемский, А. А. Ахадов «Удивительный мир чисел» Математический словарь