Размещено на http://www.allbest.ru/

Дисциплина: Логика

Тема: Понятие, суждение (высказывание), умозаключение классификация, характеристика

Фамилия: Алексеева

Имя: Жанна

Отчество: Сергеевна

№ контракта 0190216400201001

Конспект

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

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

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

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

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

Мало раскритиковать аргументы оппонента в споре. Этим будет показано только то, что его позиция плохо обоснована и шатка. Чтобы вскрыть ее ошибочность, надо убедительно обосновать противоположную позицию.

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

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

Например, нужно доказать, что сумма углов четырехугольника равна 360°. Из каких утверждений можно было бы вывести этот тезис? Отмечаем, что диагональ делит четырехугольник на два треугольника. Значит, сумма его углов равна сумме углов двух треугольников. Известно, что сумма углов треугольника составляет 180°. Из этих положений выводим, что сумма углов четырехугольника равна 360°.

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

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

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

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

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

Другой пример. Врач, убеждая пациента, что тот не болен гриппом, рассуждает так. Если бы действительно был грипп, имелись бы характерные для него симптомы: головная боль, повышенная температура и т.п. Но ничего подобного нет. Значит, нет и гриппа. Это опять-таки косвенное доказательство. Вместо прямого обоснования тезиса выдвигается антитезис, что у пациента в самом деле грипп. Из антитезиса выводятся следствия, но они опровергаются объективными данными. Это говорит, что допущение о гриппе неверно. Отсюда следует, что тезис «Гриппа нет» истинен.

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

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

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

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

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

Мало раскритиковать аргументы оппонента в споре. Этим будет показано только то, что его позиция плохо обоснована и шатка. Чтобы вскрыть ее ошибочность, надо убедительно обосновать противоположную позицию.

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

доказательство логический мышление интеллектуальный

Логическая схема / классификация

Схема косвенного доказательства выражается логическим законом косвенного доказательства

(~ a b)&(~ a b) a,

«если не-а имплицирует b и не-а имплицирует также не-b, то верным является а», или в другой форме

(~ a b & ~ b) a,

«если не-а имплицирует логическое противоречие, то верно а».

Глоссарий