Модальные глаголы и их эквиваленты Can, Must, Should, MayОсобенности...
Городская открытая научно – практическая конференция
школьников и студентов
Тема: Софизмы
Цели, задачи, актуальность
Классификация ошибок
Логические
Терминологические
Психологические
Литература
Дать определение софизму
Определить сферу его применения
Узнать, какие бывают софизмы
Привести примеры софизмов
Составить свой софизм
Актуальность:
В настоящее время уроки математики, на мой взгляд, в своем большинстве проходят сухо, однообразно и не всегда вызывают особого интереса у учащихся. Применение софизмов поможет исправить это, привить интерес к предмету, разнообразить урок.
Софи́зм (от греч. σόφισμα, «мастерство, умение, хитрая выдумка, уловка») - ложное умозаключение, которое, тем не менее, при поверхностном рассмотрении кажется правильным. Софизм основан на преднамеренном, сознательном нарушении правил логики.
История
Аристотель называл софизмом «мнимые доказательства», в которых обоснованность заключения кажущаяся и обязана чисто субъективному впечатлению, вызванному недостаточностью логического или семантического анализа. Убедительность на первый взгляд многих софизмов, их «логичность» обычно связана с хорошо замаскированной ошибкой - семиотической. За счёт метафоричности речи, омонимии или полисемии слов, амфиболий и прочих, нарушающих однозначность мысли и приводящих к смешению значений терминов, или же логической: подмена основной мысли (тезиса) доказательства, принятие ложных посылок за истинные, несоблюдение допустимых способов рассуждения (правил логического вывода), использование «неразрешённых» или даже «запрещённых» правил или действий, например деления на нуль в математических софизмах (последнюю ошибку можно считать и семиотической, так как она связана с соглашением о «правильно построенных формулах») происходит нарушение правил логики.
Вот один из древних софизмов («рогатый»), приписываемый Эвбулиду: «Что ты не терял, то имеешь. Рога ты не терял. Значит, у тебя рога». Здесь маскируется двусмысленность большей посылки. Если она мыслится универсальной: «Всё, что ты не терял…», то вывод логически безупречен, но неинтересен, поскольку очевидно, что большая посылка ложна; если же она мыслится частной, то заключение не следует логически. Последнее, однако, стало известно лишь после того, как Аристотель создал логику.
А вот современный софизм, обосновывающий, что с возрастом «годы жизни» не только кажутся, но и на самом деле короче: «Каждый год вашей жизни - это её 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. В. А. Кордемский, А. А. Ахадов «Удивительный мир чисел» Математический словарь
Раскрывая данный вопрос, необходимо сказать, что любой софизм является ошибкой. В логике выделяют также паралогизмы. Отличие этих двух видов ошибок состоит в том, что первая (софизм) допущена умышленно, вторая же (паралогизм) - случайно. Паралогизмами изобилует речь многих людей. Умозаключения, даже, казалось бы, правильно построенные, в конце искажаются, образуя следствие, не соответствующее действительности. Паралогизмы, несмотря на то что допускаются неумышленно, все же часто используются в своих целях. Можно назвать это подгонкой под результат. Не осознавая, что делает ошибку, человек в таком случае выводит следствие, которое соответствует его мнению, и отбрасывает все остальные версии, не рассматривая их. Принятое следствие считается истинным и никак не проверяется. Последующие аргументы также искажаются для того, чтобы больше соответствовать выдвинутому тезису. При этом, как уже было сказано выше, сам человек не сознает, что делает логическую ошибку, считает себя правым (более того, сильнее подкованным в логике).
В отличие от логической ошибки, возникающей непроизвольно и являющейся следствием невысокой логической культуры, софизм является преднамеренным нарушением логических правил. Обычно он тщательно маскируется под истинное суждение.
Допущенные умышленно, софизмы преследуют цель победить в споре любой ценой. Софизм призван сбить оппонента с его линии размышлений, запутать, втянуть в разбор ошибки, которые не относятся к рассматриваемому предмету. С этой точки зрения софизм выступает как неэтичный способ (и при этом заведомо неправильный) ведения дискуссии.
Существует множество софизмов, созданных еще в древности и сохранившихся до сегодняшнего дня. Заключение большей части из них носит курьезный характер. Например, софизм «вор» выглядит так: «Вор не желает приобрести ничего дурного; приобретение хорошего есть дело хорошее; следовательно, вор желает хорошего». Странно звучит и следующее утверждение: «Лекарство, принимаемое больным, есть добро; чем больше делать добра, тем лучше; значит, лекарство нужно принимать в больших дозах». Существуют и другие известные софизмы, например: «Сидящий встал; кто встал, тот стоит; следовательно, сидящий стоит», «Сократ - человек; человек - не то же самое, что Сократ; значит, Сократ - это нечто иное, чем Сократ», «Эти кутята твои, пес, отец их, тоже твой, и мать их, собака, тоже твоя. Значит, эти кутята твои братья и сестры, пес и сука - твои отец и мать, а сам ты собака».
Такие софизмы нередко использовались для того, чтобы ввести оппонента в заблуждение. Без такого оружия в руках, как логика, соперникам софистов в споре было нечего противопоставить, хотя зачастую они и понимали ложность софистических умозаключений. Споры в Древнем мире зачастую заканчивались драками.
При всем отрицательном значении софизмов они имели обратную и гораздо более интересную сторону. Так, именно софизмы стали причиной возникновения первых зачатков логики. Очень часто они ставят в неявной форме проблему доказательства. Именно с софизмов началось осмысление и изучение доказательства и опровержения. Поэтому можно говорить о положительном действии софизмов, т. е. о том, что они непосредственно содействовали возникновению особой науки о правильном, доказательном мышлении.
Известен также целый ряд математических софизмов. Для их получения числовые значения тасуются таким образом, чтобы из двух разных чисел получить одно. Например, утверждение, что 2 х 2 = 5, доказывается следующим образом: по очереди 4 делится на 4, а 5 на 5. Получается результат (1:1) = (1:1). Следовательно, четыре равно пяти. Таким образом, 2 х 2 = 5. Такая ошибка разрешается достаточно легко - нужно лишь произвести вычитание одного из другого, что выявит неравенство двух этих числовых значений. Также опровержение возможно записью через дробь.
Как раньше, так и теперь софизмы используются для обмана. Приведенные выше примеры достаточно просты, легко заметить их ложность и не обладая высокой логической культурой. Однако существуют софизмы завуалированные, замаскированные так, что отличить их от истинных суждений бывает очень проблематично. Это делает их удобным средством обмана в руках подкованных в логическом плане мошенников.
Вот еще несколько примеров софизмов: «Для того чтобы видеть, нет необходимости иметь глаза, так как без правого глаза мы видим, без левого тоже видим; кроме правого и левого, других глаз у нас нет, поэтому ясно, что глаза не являются необходимыми для зрения» и «Что ты не терял, то имеешь; рога ты не терял, значит, у тебя рога». Последний софизм является одним из самых известных и часто приводится в качестве примера.
Можно сказать, что софизмы вызываются недостаточной самокритичностью ума, когда человек хочет понять пока недоступное, не поддающееся на данном уровне развития знание.
Бывает и так, что софизм возникает как защитная реакция при превосходящем противнике, в силу неосведомленности, невежества, когда спорящий не проявляет упорство, не желая сдавать позиций. Можно говорить о том, что софизм мешает ведению спора, однако такую помеху не стоит относить к значительным. При должном умении софизм легко опровергается, хотя при этом и происходит отход от темы рассуждения: приходится говорить о правилах и принципах логики.
Софистика - преднамеренное применение ложных доводов, словесный блуд, способствующий лжи.В принципе софистика - то же, что и софизм. В свою очередь софизм - это умышленно ложное умозаключение, формально кажущееся правильным, основан на выхватывании при рассуждениях отдельных сторон явления.
Происхождение термина
Существительное σοφιστής образовано от глагола σοφίζομαι («проявлять мастерство», «заниматься каким-либо искусством»); первоначально относилось к поэтам и музыкантам, но со второй половины 5 века до н. э.. так начинают называть людей, обладающих мудростью в первую очередь жизненно-практического характера и в отдельных случаях, возможно, философской и научной. Постепенно слово «софист» начинает применяться в понятии «мудрец».
Развитие понятия «Софист»
В V веке до нашей эры в Древней Греции сложилось общество эрудитов-преподавателей, ставивших себе цель обучить подопечных умению вести спор (прежде всего для выстраивания учениками своей политической карьеры). Они знакомили молодых людей с основами истории, права, математики и философии. Но прежде всего учили приемам доказательства и опровержения, открыли ряд правил логического мышления, но вскоре, когда победа в споре стала важнее доказательств истины (что важно в политике), все внимание сосредоточили на разработке логических уловок, основанных на внешнем сходстве явлений, на том, что событие извлекается из общей связи событий, на многозначности слов, на подмене понятий и т. д. Этих интеллектуалов также называли софистами.
Софизм, как направление философии
Примеры софизмов
-
Полупустое есть то же, что и полуполное. Если равны половины, значит, равны и целые. Следовательно, пустое есть то же, что и полное.
-
Для того чтобы видеть, вовсе необязательно иметь глаза. Ведь без правого глаза мы видим, без левого тоже видим; кроме правого и левого, других глаз у нас нет; поэтому ясно, что глаза не являются необходимыми для зрения.
-
Лекарство, принимаемое больным, есть добро. Чем больше делать добра, тем лучше. Значит, лекарств нужно принимать как можно больше.
-
Вор не желает приобрести ничего дурного. Приобретение хорошего есть дело хорошее. Следовательно, вор желает хорошего.
-
То, что ты не потерял, ты имеешь. Ты не потерял рога. Значит, ты их имеешь.
-
Чем больше самоубийц, тем меньше самоубийц
Синонимы слова «Софизм»
- Парадокс
- Уловка
- Ухищрение
- Умозаключение
- Увертка
- Лукавство
- Отговорка
- Умствование
Софизм в переводе с греческого означает дословно: уловка, выдумка или мастерство. Этим термином называют утверждение, являющееся ложным, но не лишенным элемента логики, за счет чего при поверхностном взгляде на него кажется верным. Возникает вопрос: софизм - что это и чем он отличается от паралогизма? А различие в том, что софизмы основаны на сознательном и преднамеренном обмане, нарушении логики.
История появления термина
Софизмы и парадоксы были замечены еще в древности. Один из отцов философии - Аристотель называл это явление мнимыми доказательствами, которые появляются из-за недостатка логического анализа, что приводит к субъективности всего суждения. Убедительность доводов является всего лишь маскировкой для логической ошибки, которая в каждом софистском утверждении, бесспорно, есть.
Софизм - что это такое? Чтобы ответить на этот вопрос, нужно рассмотреть пример древнего нарушения логики: «Имеешь то, что не терял. Терял рога? Значит, у тебя есть рога». Здесь есть упущение. Если первую фразу видоизменить: «Имеешь все, что не терял», тогда вывод становится верным, но довольно неинтересным. Одним из правил первых софистов было утверждение о том, что необходимо наихудший аргумент представить как лучший, а целью спора являлась только победа в нем, а не поиск истины.
Софисты утверждали, что любое мнение может быть законным, тем самым отрицая закон противоречия, позднее сформулированный Аристотелем. Это породило многочисленные виды софизмов в разных науках.
Источники софизмов
Источниками софизмов может выступать терминология, которая используется во время спора. Многие слова имеют несколько смыслов (доктор может быть врачом или же научным сотрудником, имеющим ученую степень), за счет чего и происходит нарушение логики. Софизмы в математике, например, основаны на изменении чисел путем перемножения их и последующего сравнения исходных и полученных данных. Неправильное ударение тоже может быть оружием софиста, ведь множество слов при изменении ударения меняют и смысл. Построение фразы иногда очень запутанно, как, например, два умножить на два плюс пять. В данном случае непонятно имеется ли в виду сумма двойки и пятерки, умноженная на два, или же сумма произведения двоек и пятерки.
Сложные софизмы
Если рассматривать более сложные логические софизмы, то стоит привести пример с включением во фразу посылки, которую еще нужно доказать. То есть сам аргумент не может являться таковым до тех пор, пока он не доказан. Еще одним нарушением считается критика мнения оппонента, которая направлена на ошибочно приписываемые ему суждения. Такая ошибка широко распространена в повседневной жизни, где люди приписывают друг другу те мнения и мотивы, которые им не принадлежат.
Кроме того, фраза, сказанная с некоторой оговоркой, может подменяться на выражение, таковой оговорки не имеющее. За счет того, что внимание не заостряется на факте, который был упущен, утверждение выглядит вполне обоснованным и логически правильным. Так называемая женская логика тоже относится к нарушениям нормального хода рассуждения, так как представляет собой сооружение цепочки мыслей, которые не связаны друг с другом, но при поверхностном рассмотрении связь может обнаруживаться.
Причины софизмов
К психологическим причинам софизмов относят интеллект человека, его эмоциональность и степень внушаемости. То есть более умному человеку достаточно завести своего оппонента в тупик, чтобы тот согласился с предложенной ему точкой зрения. Подверженный человек может поддаться своим чувствам и пропустить софизмы. Примеры таких ситуаций встречаются везде, где есть эмоциональные люди.
Чем более убедительной будет речь человека, тем больше шанс, что окружающие не заметят ошибок в его словах. На это и рассчитывают многие из тех, кто пользуется такими приемами в споре. Но для полного понимания этих причин стоит разобрать их более подробно, так как софизмы и парадоксы в логике часто проходят мимо внимания неподготовленного человека.
Интеллектуальные и аффективные причины
Развитая интеллектуальная личность имеет возможность следить не только за своей речью, но еще и за каждым аргументом собеседника, обращая при этом свое внимание на аргументы, приводимые собеседником. Такого человека отличает больший объем внимания, умение искать ответ на неизвестные вопросы вместо следования заученным шаблонам, а также большой активный словарный запас, при помощи которого мысли выражаются наиболее точно.
Объем знаний тоже имеет немаловажное значение. Умелое применение такого вида нарушений, как софизмы в математике, недоступно малограмотному и не развивающемуся человеку.
К таковым относится боязнь последствий, из-за чего человек не способен уверенно высказать свою точку зрения и привести достойные аргументы. Говоря об эмоциональных слабостях человека, нельзя забывать о надежде найти в любой получаемой информации подтверждение своих взглядов на жизнь. Для гуманитария могут стать проблемой математические софизмы.
Волевые
Во время обсуждения точек зрения происходит воздействие не только на разум и чувства, но еще и на волю. Уверенный в себе и напористый человек с большим успехом отстоит свою точку зрения, даже если та была сформулирована с нарушением логики. Особенно сильно такой прием действует на большие скопления людей, подверженных эффекту толпы и не замечающих софизм. Что это дает оратору? Возможность убедить практически в чем угодно. Еще одной особенностью поведения, позволяющей победить в споре при помощи софизма, является активность. Чем более пассивен человек, тем больше шансов убедить его в своей правоте.
Вывод - эффективность софистских высказываний зависит от особенностей обоих людей, задействованных в разговоре. При этом эффекты всех рассмотренных качеств личности складываются и влияют на исход обсуждения проблемы.
Примеры нарушений логики
Софизмы, примеры которых будут рассмотрены ниже, сформулированы довольно давно и являются простыми нарушениями логики, использующимися лишь для тренировки умения спорить, так как увидеть несоответствия в этих фразах достаточно легко.
Итак, софизмы (примеры):
Полное и пустое - если две половины равны, то и две целые части тоже являются одинаковыми. В соответствии с этим - если полупустое и полуполное одинаково, значит, пустое равно полному.
Еще один пример: «Знаешь о чем хочу у тебя спросить?» - «Нет». - «А о том, что добродетель - это хорошее качество человека?» - «Знаю». - «Получается, что ты не знаешь то, что знаешь».
Лекарство, помогающее больному, это добро, а чем больше добра, тем лучше. То есть лекарств можно принимать как можно больше.
Очень известный софизм гласит: «У этой собаки есть дети, значит, она является отцом. Но так как она твоя собака, то значит, она твой отец. Кроме этого, если ты бьешь собаку, то ты бьешь отца. А еще являешься братом щенят».
Логические парадоксы
Софизмы и парадоксы - два разных понятия. Парадоксом называется суждение, которое может доказать, что суждение одновременно является как ложным, так и истинным. Это явление разделяется на 2 вида: апория и антиномия. Первое подразумевает появление вывода, который противоречит опыту. Примером служит парадокс, сформулированный Зеноном: быстроногий Ахиллес не в состоянии догнать черепаху, так как она при каждом последующем шаге будет отдаляться от него на некоторое расстояние, не давая ему догнать себя, ведь процесс деления отрезка пути бесконечен.
Антиномия же - это парадокс, предполагающий наличие двух взаимоисключающих суждений, которые одновременно истинны. Фраза «я лгу», может являться как истиной, так и ложью, но если это правда, то человек, произносящий ее, говорит истину и не считается лжецом, хотя фраза подразумевает обратное. Существуют интересные логические парадоксы и софизмы, часть которых будет описана ниже.
Логический парадокс «Крокодил»
У жительницы Египта крокодил выхватил ребенка, но, сжалившись над женщиной, после ее мольбы он выдвинул условия: если она угадает, вернет ли он ей ребенка или нет, то он, соответственно, отдаст или не отдаст его. После этих слов мать задумалась и сказала, что ребенка он ей не отдаст.
На это крокодил ответил: ребенка ты не получишь, ведь в случае, когда сказанное тобой правда, я не могу отдать тебе ребенка, так как если отдам, твои слова уже не будут истинными. А если это неправда - я не могу вернуть ребенка по уговору.
После чего мать оспорила его слова, говоря, что он в любом случае должен отдать ей ребенка. Слова обосновывались следующими доводами: если ответ был правдой, то по договору крокодил должен был вернуть отнятое, а в противном случае он также обязан отдать ребенка, ведь отказ будет означать, что слова матери справедливы, а это опять же обязывает вернуть малыша.
Логический парадокс «Миссионер»
Попав к людоедам, миссионер понял, что его скоро съедят, но при этом у него была возможность выбрать - сварят его или зажарят. Миссионер должен был произнести утверждение, и если оно окажется истинным, тогда его приготовят первым способом, а ложь приведет ко второму способу. Сказав фразу, «вы зажарите меня», миссионер тем самым обрекает людоедов на неразрешимую ситуацию, в которой они не могут решить каким способом его приготовить. Зажарить его людоеды не могут - в этом случае он окажется прав и они обязаны сварить миссионера. А если неправ - то зажарить, но и этого сделать не получится, так как тогда слова путешественника будут истинными.
Нарушения логики в математике
Обычно математические софизмы доказывают равенство неравных чисел или Один из самых простых образцов - сравнение пятерки и единицы. Если от 5 отнять 3, то получится 2. При вычитании 3 из 1 получается -2. При возведении обоих полученных чисел в квадрат получаем одинаковый результат. Таким образом, первоисточники этих операций равны, 5=1.
Рождаются математические задачи-софизмы чаще всего благодаря преобразованию исходных чисел (например - возведению в квадрат). В итоге получается, что результаты этих преобразований равны, из чего делается вывод о равенстве исходных данных.
Задачи с нарушенной логикой
Почему брусок остается в состоянии покоя, когда на нем стоит гиря весом в 1 кг? Ведь в данном случае на него действует сила тяжести, разве это не противоречит Следующая задача - натяжение нити. Если закрепить гибкую нить одним концом, приложив ко второму силу F, то натяжение в каждом ее участке станет равным F. Но, так как она состоит из бесчисленного количества точек, то и сила, приложенная ко всему телу, будет равна бесконечно большому значению. Но согласно опыту, этого не может быть в принципе. Математические софизмы, примеры с ответами и без можно найти в книге под авторством А.Г. и Д.А. Мадера.
Действие и противодействие. Если третий справедлив, то какая бы сила ни была приложена к телу, противодействие будет удерживать его на месте и не даст сдвинуться.
Плоское зеркало меняет местами правую и левую сторону отображаемого в нем предмета, тогда почему верх и низ не изменяются?
Софизмы в геометрии
Умозаключения, имеющие название геометрические софизмы, обосновывают какой-либо неверный вывод, связанный с действиями над геометрическими фигурами или их анализом.
Типичный пример: спичка длиннее, чем телеграфный столб, причем вдвое.
Длину спички будет обозначать а, длину столба - б. Разность между этими величинами - c. получается, что b - a = c, b = a + c. Если данные выражения перемножить, получится следующее: b2 - ab = ca + c2. При этом из обеих частей выведенного равенства возможно вычесть составляющую bc. Получится следующее: b2 - ab - bc = ca + c2 - bc, или b (b - a - c) = - c (b - a - c). Откуда b = - c, но c = b - a, поэтому b = a - b, или a = 2b. То есть спичка и правда вдвое длиннее столба. Ошибка в данных вычислениях заключается в выражении (b - a - c), которое равно нулю. Такие задачи-софизмы обычно путают школьников или людей, далеких от математики.
Философия
Софизм как философское направление возник примерно во второй половине V века до н. э. Последователями этого течения были люди, относящие себя к мудрецам, так как термин «софист» означал «мудрец». Первым человеком, который себя так называл, был Протагор. Он и его современники, придерживающиеся софистских взглядов, считали, что все субъективно. Согласно представлениям софистов, человек есть мера всех вещей, а это значит, что любое мнение истинно и никакая точка зрения не может считаться научной или правильной. Это касалось и религиозных воззрений.
Примеры софизмов в философии: девушка - не человек. Если допустить, что девушка является человеком, то верно утверждение, что она молодой человек. Но так как молодой человек - это не девушка, то девушка - не человек. Наиболее известный софизм, который к тому же содержит долю юмора, звучит так: чем больше самоубийц, тем меньше самоубийц.
Софизм Эватла
Человек по имени Эватл брал уроки софизма у известного мудреца Протагора. Условия были таковы: если ученик после получения навыков спора выиграет в судебном процессе, то заплатит за обучение, иначе оплаты не будет. Подвох заключался в том, что после обучения ученик просто не стал участвовать ни в одном процессе и, таким образом, не был обязан платить. Протагор пригрозил подачей жалобы в суд, говоря, что ученик заплатит в любом случае, вопрос лишь в том, будет ли это или же ученик выиграет дело и обязан будет оплатить обучение.
Эватл не согласился, обосновав тем, что если его присудят к оплате, то по договору с Протагором, проиграв дело, платить он не обязан, но при победе согласно приговору суда он также не должен учителю деньги.
Софизм «приговор»
Примеры софизмов в философии дополняются «приговором», в котором говорится о том, что некого человека приговорили к смерти, но сообщили об одном правиле: казнь произойдет не сразу, а в течение недели, причем день казни не будет сообщен заранее. Услышав это, приговоренный начал рассуждать, стараясь понять, в какой же день произойдет страшное для него событие. Согласно его соображениям, если казнь не произойдет до самого воскресенья, то уже в субботу он будет знать, что его казнят завтра - то есть правило, о котором ему сказали, уже нарушено. Исключив воскресенье, приговоренный точно так же подумал и о субботе, ведь если он знает, что в воскресенье его не казнят, то при условии, что до пятницы казни не произойдет, суббота тоже исключается. Обдумав все это, он пришел к выводу, что его не могут казнить, так как правило будет нарушено. Но в среду был удивлен, когда появился палач и сделал свое ужасное дело.
Притча о железной дороге
Примером такого вида нарушений логики, как экономические софизмы, является теория о постройке железной дороги из одного крупного города в другой. Особенностью этого пути служил разрыв на небольшой станции между двумя пунктами, которые соединяла дорога. Этот разрыв, с экономической точки зрения, помог бы малым городам за счет привнесения денег проезжих людей. Но на пути двух больших городов существует не один населенный пункт, то есть разрывов в железной дороге, для извлечения максимальной прибыли, должно быть много. Это означает построение железной дороги, которой на самом деле не существует.
Причина, препятствие
Софизмы, примеры которых рассмотрены Фредериком Бастиа, стали очень известны, а особенно нарушение логики «причина, препятствие». Первобытный человек не имел практически ничего и для того, чтобы что-то получить, ему приходилось преодолевать множество препятствий. Даже простой пример с преодолением расстояния показывает, что индивиду будет очень сложно самостоятельно преодолеть все барьеры, встающие на пути любого одиночного путешественника. Но в современном обществе решением проблем преодоления препятствий занимаются специализированные на таком занятии люди. Причем эти препятствия превратились для них в способ заработка, то есть обогащения.
Каждое новое созданное препятствие дает работу множеству людей, из этого следует, что препятствия должны быть, чтобы общество и каждый человек в отдельности обогащались. Так какой же вывод верен? Препятствие или его устранение является благом для человечества?
Аргументы в дискуссии
Доводы, приводимые людьми во время обсуждения, разделяются на объективные и некорректные. Первые направлены на разрешение проблемной ситуации и нахождение правильного ответа, в то время как вторые преследуют цель победить в споре и не более того.
Первым видом некорректных аргументов можно считать аргумент к личности того человека, с кем ведется спор, обращение внимания на его черты характера, особенности внешности, убеждения и прочее. Благодаря такому подходу спорящий человек воздействует на эмоции собеседника, тем самым убивая в нем разумное начало. Существуют также аргументы к авторитету, силе, выгоде, тщеславию, верности, невежеству и здравому смыслу.
Итак, софизм - что это? Прием, помогающий в споре, или бессмысленные рассуждения, не дающие никакого ответа и потому не имеющие ценности? И то,и другое.
Федеральное агентство связи
ГОУ ВПО «Сибирский государственный университет
Телекоммуникаций и информатики»
Уральский технический институт связи и информатики (филиал)
Реферат на тему:
«Связь софистики и кибернетики»
Выполнила:
Студентка гр. ЭЕ-61
Скандаленко И.В.
Руководитель:
доцент кафедры ОГиСЭД, к.с.н.
Калугина Д.А.
Екатеринбург 2007
Введение 3
1. Софистика и софизмы 4
1.1 История софизма
1.2 Виды софизмов
1.3 Примеры софизмов
2. Булева алгебра 9
2.1 Джорж Буль
2.2 Булева алгебра
2.3 Некоторые свойства
2.4 Основные тождества
2.5 Примеры
2.6 Представления булевых алгебр
2.7 Аксиоматизация
3. Информатика и кибернетика 13
3.1 История кибернетики
3.2 Сфера кибернетики
Заключение 15
Источники 16
Введение
Мной взяты материалы сети Интернет.
Данная тема реферата выбрана не случайно, на мой взгляд, она позволит по-новому взглянуть на современную науку, связав её начала с более старшими научными и философскими течениями. Почему софистика и кибернетика, спросите Вы? Что ж отвечу, кибернетика представляется мне как перспективная молодая наука, с помощью которой можно будет ответить на многие вопросы человечества, и решить многие его проблемы, софистика же считается чуть ли не ложным философским течением, такой небольшой дурью древности, на мой взгляд, софистика - это философское течение, которое пыталось ответить на многие вопросы, используя при этом конечно нарушения законов логики, но, скорее всего всем известны какие-либо случаи из жизни, которые не поддаются логическому обоснованию. Также, на мой взгляд, существует некая связь между учениями древности и современными науками.
Объектом исследования является связь между кибернетикой и софистикой.
Предметом исследования является такое философское учение как софистика, высказывания - софизмы, философы – софисты.
Цель реферата : определение связей между современными научными течениями (кибернетика, информатика) с булевой алгеброй и затем с софистикой.
Главные задачи:
1. Изучить эти понятия.
2. Доказать, что софисты использовали в своих высказываниях логические связки.
3. Выявить, как Дж. Буль применял понятия логики в алгебре.
4. Определить связь между софистикой и булевой алгеброй.
5. Доказать связь булевой алгебры с современными научными течениями.
Кроме того, в реферате рассказывается о философах – софистах, даны наиболее интересные примеры софизмов, приводятся примеры булевой алгебры.
1 Софистика и софизмы
Понятие «Софистика» происходит от греч. «σοφιστική» - умение хитро вести прения. Философское течение в Древней Греции, созданное софистами.
Рассуждение, основанное на преднамеренном нарушении законов логики, на употреблении ложных доводов.
1. У чение представителей сложившейся в Афинах во второй половине 5 в. до н. э. школы софистов - философов-просветителей, тяготевших к релятивизму, первых профессиональных учителей по общему образованию.
Термин «софистика» происходит от греческого слова «софист» (sophistes - мудрец ), которым тогда называли платных учителей ораторского искусства.
Софи́сты (от др.-греч. σοφιστής - «умелец, изобретатель, мудрец, знаток»), термин, которым в древнегреческой литературе обозначали:
Умных, изобретательных, искусных, знающих людей, иногда людей специальной профессии;
В узком смысле - учителей мудрости и красноречия, философов 2-й половины V - 1-й половины IV вв. до н. э., которые впервые в Греции стали преподавать своё искусство за деньги.
Из сочинений софистов практически ничего не сохранилось. Изучение непрямых сведений усложняется тем, что софисты не стремились создать определенную цельную систему знаний. В своей дидактической деятельности они не придавали большого значения систематическому овладению учащимися знаниями. Их целью было научить учеников использовать приобретенные знания в дискуссиях и полемике. Поэтому значительный акцент производился на риторику.
В начале софисты учили правильным приемам доказательства и опровержения, открыли ряд правил логического мышления, но вскоре отошли от логических принципов его организации и все внимание сосредоточили на разработке логических уловок, основанных на внешнем сходстве явлений, на том, что событие извлекается из общей связи событий, на многозначности слов, на подмене понятий и т. д.
В античной софистике отсутствуют цельные течения. Учитывая историческую последовательность, можно говорить о «старших» и «младших» софистах. Старшие софисты (Протагор, Горгий, Гиппий, Продик, Антифонт) исследовали проблемы политики, этики, государства, права, языкознания. Все прежние принципы они подвергли сомнению, все истины объявили относительными. Релятивизм, перенесенный в теорию познания, привел софистов к отрицанию объективной истины.
В гносеологической концепции «старших» софистов абсолютизируются субъективный характер и относительность знания.
У «младших» софистов (Фразимах, Критий, Алкидам, Ликофрон, Нолемон, Гипподам) софистика вырождается в «жонглирование» словами, в фальшивые приемы «доказательства» истины и лжи одновременно.
2. Греч. soplnsma - измышление, хитрость - преднамеренное применение в споре и в доказательствах ложных аргументов, основанных на сознательном нарушении логических правил; словесные ухищрения, вводящие в заблуждение.
Наиболее значительными софистами были Протагор, Горгий, Гиппий, Продик, Антифонт, Критий. Софисты не представляли собой единой группы ни по социально-политической ориентации (например, Протагор тяготел к рабовладельческой демократии, а Критий был врагом демократии), ни по отношению к предшествующей древнегреческой философии (Протагор опирался на идеи Гераклита, Горгий и Антифонт - на идеи элейской школы и т. п.), ни по их собственным философским идеям. Можно выделить некоторые общие черты философии софистов - перемещение философских интересов из сферы натурфилософии в область этики, политики, теории познания. Софисты призывали изучать самого человека и его субъективные особенности, часто доходя при этом до релятивизма и субъективизма. Идеи софистов вошли в древнегреческую философию как её необходимый составной элемент, их влияние заметно не только у Сократа, Платона и Аристотеля, у представителей мегарской школы и киников, но и во всей философии эллинизма, включая неоплатонизм.
Вырождение софистики началось уже в IV в. до н. э. (Евтидем и др.). Софисты постепенно превращались в фокусников, берущихся с помощью софизмов и др. способов (подробно описанных Аристотелем в «Софистических опровержениях») защищать или опровергать любые мнения.
Под именем «второй софистики» известно литературное течение II в. н. э., стремившееся реставрировать идеи и стиль греческой классики V-IV вв. до н. э. Оно отличалось учёностью, прекрасным знанием предшествующей греческой литературы; традиции Софистов в собственном смысле слова оно продолжило до некоторой степени только в лице Лукиана.
Таким образом, нас более интересуют старшие софисты, как философы связывающие философские понятия с теорий познания, использующие в философских понятиях логические связки, что мы рассмотрим в следующей графе.
1.1 История софизма
Софизм (от греч.σόφισμα, «мастерство, умение, хитрая выдумка, уловка») - ложное умозаключение, которое, тем не менее, при поверхностном рассмотрении кажется правильным. Софизм, в отличие от паралогизма, основан на преднамеренном, сознательном нарушении правил логики.
Аристотель называл софизмом «мнимые доказательства», в которых обоснованность заключения кажущаяся и обязана чисто субъективному впечатлению, вызванному недостаточностью логического или семантического анализа. Убедительность на первый взгляд многих софизмов, их «логичность» обычно связана с хорошо замаскированной ошибкой - семиотической: за счёт метафоричности речи, омонимии или полисемии слов, амфиболий и пр., нарушающих однозначность мысли и приводящих к смешению значений терминов, или же логической: подмена основной мысли (тезиса) доказательства, принятие ложных посылок за истинные, несоблюдение допустимых способов рассуждения (правил логического вывода), использование «неразрешённых» или даже «запрещённых» правил или действий, например деления на нуль в математических софизмах (Последнюю ошибку можно считать и семиотической, так как она связана с соглашением о «правильно построенных формулах».)
Вот один из древних софизмов («рогатый»), приписываемый Эвбулиду: «Что ты не терял, то имеешь. Рога ты не терял. Значит, у тебя рога» . Здесь маскируется двусмысленность большей посылки. Если она мыслится универсальной: «Всё, что ты не терял…», то вывод логически безупречен, но неинтересен, поскольку очевидно, что большая посылка ложна; если же она мыслится частной, то заключение не следует логически. Последнее, однако, стало известно лишь после того, как Аристотель создал логику.
А вот современный софизм, обосновывающий, что с возрастом «годы жизни» не только кажутся, но и на самом деле короче: «Каждый год вашей жизни - это её 1/n часть, где n - число прожитых вами лет. Но n + 1>n. Следовательно, 1/(n + 1)< 1/n».
Исторически с понятием «софизм» неизменно связывают идею о намеренной фальсификации, руководствуясь признанием Протагора, что задача софиста - представить наихудший аргумент как наилучший путём хитроумных уловок в речи, в рассуждении, заботясь не об истине, а об успехе в споре или о практической выгоде. (Известно, что сам Протагор оказался жертвой «софизма Эватла».) С этой же идеей обычно связывают и «критерий основания», сформулированный Протагором: мнение человека есть мера истины. Уже Платон заметил на то, что основание не должно заключаться в субъективной воле человека, иначе придётся признать законность противоречий (что, между прочим, и утверждали софисты), а поэтому любые суждения считать обоснованными. Эта мысль Платона была развита в аристотелевском «принципе непротиворечия» (см. Логический закон) и, уже в современной логике, - в истолкованиях и требовании доказательств «абсолютной» непротиворечивости. Перенесённая из области чистой логики в область «фактических истин», она породила особый «стиль мышления», игнорирующий диалектику «интервальных ситуаций», то есть таких ситуаций, в которых критерий Протагора, понятый, однако, более широко, как относительность истины к условиям и средствам её познания, оказывается весьма существенным. Именно поэтому многие рассуждения, приводящие к парадоксам и в остальном безупречные, квалифицируются как софизмы, хотя по существу они только демонстрируют интервальный характер связанных с ними гносеологических ситуаций. Так, софизм «куча» («Одно зерно - не куча. Если n зёрен не куча, то n + 1 зерно - тоже не куча. Следовательно, любое число зёрен - не куча») - это лишь один из «парадоксов транзитивности», возникающих в ситуации «неразличимости». Последняя служит типичным примером интервальной ситуации, в которой свойство транзитивности равенства при переходе от одного «интервала неразличимости» к другому, вообще говоря, не сохраняется, и поэтому принцип математической индукции в таких ситуациях неприменим. Стремление усматривать в этом свойственное опыту «нетерпимое противоречие», которое математическая мысль «преодолевает» в абстрактном понятии числового континуума (А. Пуанкаре), не обосновывается, однако, общим доказательством устранимости подобного рода ситуаций в сфере математического мышления и опыта. Достаточно сказать, что описание и практика применения столь важных в этой сфере «законов тождества» (равенства) так же, вообще говоря, как и в эмпирических науках, зависит от того, какой смысл вкладывают в выражение «один и тот же объект», какими средствами или критериями отождествления при этом пользуются. Другими словами, идёт ли речь о математических объектах или, к примеру, об объектах квантовой механики, ответы на вопрос о тождестве неустранимым образом связаны с интервальными ситуациями. При этом далеко не всегда тому или иному решению этого вопроса «внутри» интервала неразличимости можно противопоставить решение «над этим интервалом», то есть заменить абстракцию неразличимости абстракцией отождествления. А только в этом последнем случае и можно говорить о «преодолении» противоречия.
По-видимому, первыми, кто понял важность семиотического анализа софизмов, были сами софисты. Учение о речи, о правильном употреблении имён Продик считал важнейшим. Анализ и примеры софизмов часто встречаются в диалогах Платона. Аристотель написал специальную книгу «О софистических опровержениях», а математик Евклид - «Псевдарий» - своеобразный каталог софизмов в геометрических доказательствах.
Небольшое отступление: из данного текста видно, что софизмы являются определёнными логическими связками, а софисты используют в них не само понимание каких-либо предметов а логические понятия.
1.2 Виды софизмов:
а) софизм «учетверение термина» - силлогическое умозаключение, в котором нарушено правило простого категорического силлогизма: в каждом силлогизме должно быть только три термина. Умышленно ошибочное рассуждение строится с использованием нетождественных, но внешне сходных понятий: например, «Вор не желает приобрести ничего дурного. Приобретение хорошего есть дело хорошее. Следовательно, вор желает хорошего» ,
б) софизм недозволенного процесса - силлогистическое умозаключение, в котором нарушено правило простого категорического силлогизма: термин, не распределенный (не взятый во всем объеме) в одной из посылок, не может быть распределен (взят во всем объеме) в заключении: «все птицы имеют крылья - некоторые яйцекладущие имеют крылья» ;
в) софизм собирательного среднего термина - силлогистическое умозаключение, в котором нарушено правило простого категорического силлогизма: средний термин должен быть распределен (взят во всем объеме) по крайней мере в одной из посылок: «некоторые люди умеют играть на скрипке - все дипломаты-люди - все дипломаты умеют играть на скрипке» .
1.3 Примеры софизмов
1. Полупустое и полуполное:
Полупустое есть то же, что и полуполное. Если равны половины, значит равны и целые. Следовательно, пустое есть то же, что и полное.
2. Чётное и нечётное:
5 есть 2+3 («два и три»). Два - число чётное, три - нечётное, выходит, что пять - число и чётное и нечётное.
3. Не знаешь то, что знаешь:
«Знаешь ли ты, о чём я хочу тебя спросить?» - «Нет». - «Знаешь ли ты, что добродетель есть добро?» - «Знаю». - «Об этом я и хотел тебя спросить. А ты, выходит, не знаешь то, что знаешь».
4. Лекарства:
«Лекарство, принимаемое больным, есть добро. Чем больше делать добра, тем лучше. Значит, лекарств нужно принимать как можно больше».
5. Вор:
«Вор не желает приобрести ничего дурного. Приобретение хорошего есть дело хорошее. Следовательно, вор желает хорошего»
6. Отец - собака:
«Эта собака имеет детей, значит, она - отец. Но это твоя собака. Значит, она твой отец. Ты её бьёшь, значит, ты бьёшь своего отца и ты - брат щенят».
7. Рогатый:
«Что ты не терял, то имеешь. Рога ты не терял. Значит, у тебя рога».
2 Булева алгебра
2.1 Джордж Буль
Решающий вклад в алгебраизацию логики сделал английский ученный Джордж Буль (1815-1864). В 1847 году вышла его работа с характерным названием – “математический анализ логики, являющийся опытом исчисления дедуктивного рассуждения”. Применяя алгебру (в дальнейшем она стала называться булевой алгеброй), можно было закодировать высказывание, истинность и ложность которых требовалось доказать, а потом оперировать ими, как в математики оперируют с числами. Буль ввел три основные операции: И, ИЛИ, НЕ, хотя алгебра допускает и другие операции - логические действия. Эти действия бинарны по своей сути, т. е. они оперируют с двумя состояниями: ”истина” - “ложь”. Данное обстоятельство позволило в дальнейшем использовать булеву алгебру для описания переключательных схем.Необходимо отметить, что окончательное оформление и завершение булева алгебра получила в работах последователей Дж. Буля: У C. Джевонса и Дж. Венна (Англия), Э. Шредера (Германия), П. С. Порецкого (Россия).
Итак, булева алгебра использует логические связки, но и софистика также использует логические связки, их связь очевидна, попробуем определить связь булевой алгебры с современными науками.
2.2 Булева алгебра
Булевой алгеброй называется непустое множество A с двумя бинарными операциями(аналог конъюнкции), (аналог дизъюнкции), унарной операцией(аналог отрицания) и двумя выделенными элементами: 0 (или Ложь) и 1 (или Истина) такими, что для всех a, b и c из множества A верны следующие аксиомы:
Первые три аксиомы означают, что (A,) является решёткой. Таким образом, булева алгебра может быть определена как дистрибутивная решётка, в которой выполнены две последние аксиомы. Структура, в которой выполняются все аксиомы, кроме предпоследней, называется псевдобулевой алгеброй.
Заметим, что булева алгебра использует бинарную систему как и информатика, что ж связь одного с другим очевидна, идем далее.
2.3 Некоторые свойства
Из аксиом видно, что наименьшим элементом является 0, наибольшим является 1, а дополнение ¬a любого элемента a однозначно определено. Для всех a и b из A верны также следующие равенства:
2.4 Основные тождества
В данном разделе повторяются свойства и аксиомы, описанные выше с добавлением еще нескольких.
Сводная таблица свойств и аксиом, описанных выше:
2.5 Примеры
Самая простая нетривиальная булева алгебра содержит всего два элемента, 0 и 1, а действия в ней определяются следующей таблицей:
Эта булева алгебра наиболее часто используется в логике, так как является точной моделью классического исчисления высказываний. В этом случае 0 называют ложью, 1 - истиной. Выражения, содержащие булевы операции и переменные, представляют собой высказывательные формы.
Алгебра Линденбаума - Тарского (фактормножество всех утверждений по отношению равносильности в данном исчислении с соответствующими операциями) какого-либо исчисления высказываний является булевой алгеброй. В этом случае истинностная оценка формул исчисления является гомоморфизмом алгебры Линденбаума - Тарского в двухэлементную булеву алгебру.
Множество всех подмножеств данного множества S образует булеву алгебру относительно операций ∨ := ∪ (объединение), ∧ := ∩ (пересечение) и унарной операции дополнения. Наименьший элемент здесь - пустое множество, а наибольший - всё S.
Если R - произвольное кольцо, то на нём можно определить множество центральных идемпотентов так:
A = { e ∈ R: e2 = e, ex = xe, ∀x ∈ R },
тогда множество A будет булевой алгеброй с операциями e ∨ f:= e + f − ef и e ∧ f:= ef.
Принцип двойственности
В булевых алгебрах существуют двойственные утверждения, они либо одновременно верны, либо одновременно неверны. Именно, если в формуле, которая верна в некоторой булевой алгебре, поменять все конъюнкции на дизъюнкции, 0 на 1, ≤ на ≥ и наоборот, то получится формула, также истинная в этой булевой алгебре. Это следует из симметричности аксиом относительно таких замен.
Что в свою очередь также указывает на связь булевой алгебры с софистикой, так как в софизмах также используется принцип двойственности.
2.6 Представления булевых алгебр
Можно доказать, что любая конечная булева алгебра изоморфна булевой алгебре всех подмножеств какого-то множества. Отсюда следует, что количество элементов в любой конечной булевой алгебре будет степенью двойки.
Знаменитая теорема Стоуна утверждает, что любая булева алгебра изоморфна булевой алгебре всех открыто-замкнутых множеств какого-то компактноговполне несвязногохаусдорфова топологического пространства.
2.7 Аксиоматизация
В 1933 г. американский математик Хантингтон предложил следующую аксиоматизацию для булевых алгебр:
Уравнение Хантингтона: n(n(x) + y) + n(n(x) + n(y)) = x.
Здесь использованы обозначения Хантингтона: + означает дизъюнкцию, n - отрицание.
Герберт Роббинс поставил следующий вопрос: можно ли сократить последнюю аксиому так, как написано ниже, то есть будет ли определённая выписанными ниже аксиомами структура булевой алгеброй?
Аксиоматизация алгебры Роббинса:
Аксиома коммутативности: x + y = y + x.
Аксиома ассоциативности: (x + y) + z = x + (y + z).
Уравнение Роббинса: n(n(x + y") + n(x + n(y))) = x.
Этот вопрос оставался открытым с 30-х годов и был любимым вопросом Тарского и его учеников.
В 1996 г. Вильям МакКьюн, используя некоторые полученные до него результаты, дал утвердительный ответ на этот вопрос. Таким образом, любая алгебра Роббинса является булевой алгеброй.
3 Информатика и кибернетика
Информатика также как и Булева алгебра использует бинарную систему.
Информатика – научная дисциплина, изучающая вопросы, связанные с поиском, сбором, хранением, преобразованием и использованием информации в самых различных сферах человеческой деятельности. Генетически информатика связана с вычислительной техникой, компьютерными системами и сетями, так как именно компьютеры позволяют порождать, хранить и автоматически перерабатывать информацию в таких количествах, что научный подход к информационным процессам становится одновременно необходимым и возможным.
Каждая из составных частей информатики может рассматриваться как относительно самостоятельная научная дисциплина; взаимоотношения между ними примерно такие же, как между алгеброй геометрией и математическим анализом в классической математике – все они хоть и самостоятельные дисциплины, но, несомненно, части одной науки.
Теоретическая информатика – часть информатики, включающая ряд математических разделов. Она опирается на математическую логику и включает такие разделы, как теория алгоритмов и автоматов, теория информации и теория кодирования, теория формальных языков и грамматик, исследование операций и другие. Этот раздел информатики использует математические методы для общего изучения процессов обработки информации.
Информатика изучает методы, связанные с переработкой, хранением и другое информации, а кибернетика что позволяет осуществить эти методы.
3.1 История кибернетики
Впервые термин кибернетика предположительно был употреблён Платоном в смысле искусства управления кораблём или колесницей.
Термин в современном его значении ввёл Норберт Винер, считающийся отцом-основателем кибернетики как отдельной самостоятельной науки. Само слово использовалось и ранее Некоторые задачи кибернетики были поставлены А.А. Богдановым в его организационной науке «тектология», впоследствии забытой современниками.
В СССР в философский словарь 1954-го года издания попала характеристика кибернетики как «реакционной лженауки». В 1960-е и 1970-е гг. на кибернетику делалсь большая ставка, как на техническую, так и на экономическую.
Кибернетика (от греч.kybernetike - «искусство управления», от греч.kybernao - «правлю рулём, управляю», от греч.Κυβερνήτης - «кормчий») - наука об общих закономерностях процессов управления и передачи информации в машинах, живых организмах и обществе.
Стаффорд Бир назвал её наукой эффективной организации, а Гордон Паск расширил определение, включив потоки информации «во все медиа», начиная со звёзд и заканчивая мозгом. Она включает изучение обратной связи, чёрных ящиков и производных концептов, таких как управление и коммуникация в живых организмах, машинах и организациях, включая самоорганизации. Она фокусирует внимание на том, как что-либо (цифровое, механическое или биологическое) обрабатывает информацию, реагирует на неё и изменяется или может быть изменено, для того чтобы лучше выполнять первые две задачи. Более философское определение кибернетики, предложенное в 1956Луисом Коуффигнал (Louis Couffignal), одним из пионеров кибернетики, описывает кибернетику как «искусство обеспечения эффективности действия».
3.2 Сфера кибернетики
Объектом кибернетики являются все управляемые системы. Системы, не поддающиеся управлению, в принципе, не являются объектами изучения кибернетики. Кибернетика вводит такие понятия, как кибернетический подход, кибернетическая система. Кибернетические системы рассматриваются абстрактно, вне зависимости от их материальной природы. Примеры кибернетических систем - автоматические регуляторы в технике, ЭВМ, человеческий мозг, биологические популяции, человеческое общество. Каждая такая система представляет собой множество взаимосвязанных объектов (элементов системы), способных воспринимать, запоминать и перерабатывать информацию, а также обмениваться ею. Кибернетика разрабатывает общие принципы создания систем управления и систем для автоматизации умственного труда. Основные технические средства для решения задач кибернетики - ЭВМ. Поэтому возникновение кибернетики как самостоятельной науки (Н. Винер, 1948) связано с созданием в 40-х гг. 20 в. этих машин, а развитие кибернетики в теоретических и практических аспектах - с прогрессом электронной вычислительной техники.
Кибернетика является междисциплинарной наукой. Она возникла на стыке математики, логики, семиотики, физиологии, биологии, социологии. Ей присущ анализ и выявление общих принципов и подходов в процессе научного познания. Наиболее весомыми теориями, объединяемыми кибернетикой, можно назвать следующие:
1. Теория передачи сигналов
2. Теория информации
3. Теория систем
4. Теория управления
5. Теория автоматов
6. Теория принятия решений
7. Синергетика
8. Теория алгоритмов
9. Исследование операций
10. Теория оптимального управления
11. Теория распознавания образов
6 Заключение
Рассмотрев данный материал, я узнала то, что софистика основывалась на понятиях логики, её законах, которые основывались на ложных предположениях. Софисты оказались представителями этого учения.
А вот допустим, софизм основан на преднамеренном ложном умозаключении, но если смотреть его поверхностно, то оно кажется истинным.
Я выяснила, что оказывается, Джордж Буль тоже основывался на понятии логики в своей алгебре. Он оперировал понятиями ложно и истинно.
А ведь современная вычислительная техника точно так же оперирует понятиями ложно и истинно. Кибернетика как наука, этим и занимается.
Получается, что учения софистов мы используем в современной жизни, особенно цифровой технике, ЭВМ.
Источники
Вся информация была взята Интернет энциклопедии www.wikipedia.org. Реферат создан самостоятельно, опираясь на некоторые статьи в Интернете.
