Курс лекций дисциплины «логика»
Скачать 1.04 Mb.
|
Закон противоречия и закон исключенного третьего Что запрещает закон противоречия? Каждый из нас часто встречался в жизни с такими выражениями, как: Здесь есть противоречие; Ты сам себе противоречишь; Рассуждение должно быть непротиворечивым и т.п. Во всех этих высказываниях в той или иной форме находит свое выражение один из основных законов логики – закон противоречия. В силу этого закона, если одно суждение что-то утверждает, а другое то же самое отрицает об одном и том же объекте, в одно и то же время и в одном и том же отношении, то они не могут быть одновременно истинными. Символически он выражается следующей формулой: (а а), читается – неверно, что а и не а, где а – это какое-либо высказывание. Итак, закон противоречия запрещает одновременную истинность двух суждений, одно из которых нечто утверждает, а другое то же самое отрицает об одном и том же предмете, в одно и то же время и в одном и том же отношении. Однако этот·закон не запрещает одновременную ложность двух таких суждений. Вспомним, суждения: Он высокий и Он низкий не могут быть одновременно истинными, если речь идет об одном и том же человеке, в одно и то же время его жизни и в одном и том же отношении (относительно какого-то одного образца для сравнения). Однако эти суждения вполне могут быть одновременно ложными при соблюдении всех вышеперечисленных условий. Если истинным будет суждение: Он среднего роста, тогда суждения: Он высокий и Он низкий придется признать одновременно ложными. Виды противоречий Логический закон противоречия запрещает что-либо утверждать и то же самое отрицать·одновременно. Но неужели кто-то станет нечто утверждать·и то же самое тут же отрицать? Неужели кто-то будет всерьез доказывать, например,·что один и тот же человек в одно и то же время и в одном и том же отношении является и высоким, и низким или что он одновременно и толстый, и тонкий, и блондин, и брюнет и т.п.? Конечно же нет. Если принцип непротиворечивости мышления столь прост и очевиден, то стоит ли называть его логическим законом и вообще – уделять ему какое-либо внимание? Дело в том, что противоречия бывают контактными, когда одно и то же утверждается и сразу же отрицается (последующая фраза отрицает предыдущую в речи, или последующее предложение отрицает предыдущее в тексте), и дистантными, когда между противоречащими друг другу суждениями находится значительный интервал в речи или в тексте. Например, в начале своего выступления лектор может выдвинуть одну идею, а в конце высказать мысль, противоречащую ей; так же и в книге в одном параграфе (или главе) может утверждаться то, что отрицается в другом. Понятно, что контактные противоречия, будучи слишком заметными, почти не встречаются в мышлении и речи. Иначе обстоит дело с дистантными противоречиями: будучи неочевидными и не очень заметными, они часто проходят (проскальзывают) мимо зрительного или мысленного взора, непроизвольно пропускаются, и поэтому их часто можно встретить в интеллектуально-речевой практике. Так, например, В.И. Свинцов – известный автор учебников по логике – приводит пример из одного учебного пособия, в котором с интервалом в несколько страниц сначала утверждалось: «В первый период творчества Маяковский ничем не отличался от футуристов», а затем: «Уже с самого начала своего творчества Маяковский обладал качествами, которые существенно отличали его от представителей футуризма». Противоречия также бывают явными и неявными. В первом случае одна мысль непосредственно противоречит другой, а во втором случае противоречие вытекает из контекста: оно не сформулировано, но подразумевается. Например, в учебнике «Концепции современного естествознания» (это предмет, который в настоящее время изучается во всех вузах) из главы, посвященной теории относительности А. Эйнштейна, следует, что по современным научным представлениям пространство, время и материя не существуют друг без друга: без одного нет другого. А в главе о происхождении Вселенной говорится о том, что она появилась примерно 20 млрд лет назад в результате Большого взрыва, во время которого родилась материя, заполнившая собой все пространство. Из этого высказывания следует, что пространство существовало до появления материи, хотя в предыдущей главе речь шла о том, что пространство не может существовать без материи. Явные противоречия, так же как и контактные, встречаются редко. Неявные противоречия, как и дистантные, наоборот, в силу своей незаметности намного более распространены в мышлении и речи. Закон исключенного третьего Рассматривая отношения между понятиями, мы обращали внимание на отличие противоположных понятий (например, высокий человек и низкий человек) от противоречащих (например, высокий человек и невысокий человек). Суждения так же бывают противоположными и противоречащими. Например, суждения: Сократ высокий и Сократ низкий являются противоположными, а суждения: Сократ высокий и Сократ невысокий – противоречащими. В чем заключается разница между противоположными и противоречащими суждениями? Нетрудно заметить, что противоположные суждения всегда предполагают некий третий, средний, промежуточный вариант. Для суждений: Сократ высокий и Сократ низкий третьим вариантом будет суждение: Сократ среднего роста. Противоречащие суждения (в отличие от противоположных) не допускают, или автоматически исключают, такой промежуточный вариант. Как бы мы ни пытались, мы не сможем найти никакого третьего варианта для суждений: Сократ высокий и Сократ невысокий (ведь и низкий, и среднего роста – это все невысокий). Именно в силу наличия третьего варианта противоположные суждения могут быть одновременно ложными. Если суждение: Сократ среднего роста является истинным, то противоположные суждения: Сократ высокий и Сократ низкий одновременно ложны. Точно так же именно в силу отсутствия третьего варианта противоречащие суждения не могут быть одновременно ложными. Таково различие между противоположными и противоречащими суждениями. Сходство между ними заключается в том, что и противоположные суждения, и противоречащие не могут быть одновременно истинными, как того требует закон противоречия. Таким образом, этот закон распространяется и на противоположные суждения, и на противоречащие. Однако, как мы помним, закон противоречия запрещает одновременную истинность двух суждений, но не запрещает их одновременную ложность; а противоречащие суждения не могут быть, одновременно ложными, т.е. закон противоречия является для них недостаточным и нуждается в каком-то дополнении. Поэтому для противоречащих суждений существует закон исключенного третьего, который говорит о том, что два противоречащих суждения об одном и том же предмете, в одно и то же время и в одном и тоже отношении не могут быть одновременно истинными и не могут быть одновременно ложными (истинность одного из них обязательно означает ложность другого, и наоборот). Символическая запись закона исключенного третьего представляет собой следующую формулу: а а (читается – а или не a), где а – это какое-либо высказывание. Закон достаточного основания Что требует закон достаточного основания? Требование, по которому любое утверждение должно базироваться на каких-то аргументах и иметь доказательную силу, представляет собой один из основных законов логики – закон достаточного основания. Этот закон утверждает, что любая мысль (тезис) для того, чтобы иметь силу, обязательно должно быть доказана (обоснована) какими-либо аргументами (основаниями), причем эти аргументы должны быть достаточными для доказательства исходной мысли, т.е. она должна вытекать из них с необходимостью (тезис должен с необходимостью следовать из оснований). Приведем несколько примеров. В рассуждении: Конечно же, это вещество является электропроводным (тезис), потому что оно – металл (основание) – закон достаточного основания не нарушен, так как в данном случае из основания с необходимостью следует тезис (из того, что вещество металл, с необходимостью вытекает, что оно электропроводно). А в рассуждении: Сегодня взлетная полоса покрыта льдом (тезис), ведь самолеты сегодня не могут взлететь (основание) – рассматриваемый закон нарушен, тезис не вытекает из основания с необходимостью (из того, что самолеты не могут взлететь, не вытекает с необходимостью, что взлетная полоса покрыта льдом, ведь самолеты могут не взлететь и по другой причине). В рассуждении: Преступление совершил Н. (тезис), ведь он сам признался в этом и собственноручно подписал все показания (основание) – закон достаточного основания, конечно же, нарушен, потому что из того, что человек признался в совершении преступления, не вытекает с достоверностью, что он действительно его совершил. Таким образом, на законе достаточного основания базируется важный юридический принцип презумпция невиновности, который предписывает считать человека невиновным, даже если он дает показания против себя, до тех пор, пока его вина достоверно доказана какими-либо фактами. ДОКАЗАТЕЛЬСТВО Доказательство как логическая процедура Что такое доказательство? Знание о логических законах и ошибках, связанных с их нарушениями, особенно важно для правильного построения доказательства, которое представляет собой совокупность приемов подтверждения или опровержения чего-либо (тезиса, утверждения, идеи, мысли т.д.). Обратим внимание на то, что и подтвердить, и опровергнуть – означает доказать. В повседневной жизни понятия подтверждение и доказательство часто употребляются в качестве равнозначных, а соответствующие термины воспринимаются как синонимы, что не совсем верно: подтверждение – это разновидность доказательства наряду с опровержением. Подтвердить – это значит доказать истинность какого-либо высказывания, а опровергнуть – доказать ложность некоего суждения (положения, утверждения, тезиса). Все доказательства делятся непосредственные и опосредованные. В непосредственном доказательстве некое высказывание подтверждается или опровергается путем соотнесения его с действительность. Например, для того чтобы установить, истинным или ложным является утверждение: Сейчас на улице идет дождь, достаточно соотнести его с действительностью, т.е. просто выглянуть в окно. Непосредственные доказательства также часто называют эмпирическими, т.е. базирующимися на опыте. Далеко не все можно доказать эмпирически, т.е. с помощью ссылки на опыт. Например, для эмпирического доказательства утверждения о том, что сумма внутренних углов любого треугольника равна 1800, надо начертить треугольник, измерить транспортиром его углы и сложить их величины. Получится 1800. Но ведь этот результат характеризует именно данный, только что начерченный треугольник. Вдруг у другого треугольника сумма внутренних углов не будет равна 1800. Для того чтобы выяснить это, построим другой треугольник, измерим транспортиром его углы и сложим их величины. Опять получится 1800. Начертим третий треугольник и измерим его углы... Таким образом, чтобы доказать эмпирически утверждение об одной и той же сумме внутренних углов любого треугольника, надо построить возможные треугольники, измерить и сложить величины углов каждом из них. Сделать это, конечно же, никто не сможет, ведь множество всех треугольников бесконечно. Каким же образом доказывается положение о сумме внутренних углов любого треугольника? Из курса школьной геометрии всем хорошо известно, что оно выводится не из видимой действительности, или опыта, а из других, ранее доказанных положений (теорем). Такое доказательство является опосредованным. Понятно, что предметом внимания логики является именно такое доказательство. Структура доказательства Опосредованное доказательство имеет определенную структуру, которая состоит из трех элементов. 1. Тезис – это то, что доказывается (какое-либо суждение, высказывание, утверждение и т.п.). 2. Аргументы, или основания – это то, чем доказывается (какие-либо суждения, высказывания, утверждения и т.п., истинность которых установлена ранее). Как видим, понятия аргументы и основания являются в логике равнозначными, а соответствующие термины представляют собой синонимы. 3. Демонстрация – это то, как доказывается. На первый взгляд наличие этого третьего элемента в структуре доказательства не совсем понятно: есть тезис, и есть аргументы, которые его обосновывают, или из которых он вытекает – вот, кажется, и все доказательство. Здесь важно вспомнить закон достаточного основания, который требует не просто присутствия аргументов в некоем доказательстве, но и говорит о том, что они должны быть достаточными для доказательства тезиса, т.е. обусловливающими его с достоверностью. Как уже отмечалось, часто встречаются ситуации, когда аргументы, или основания, наличествуют, но не являются достаточными (Преступление совершил Н., ведь он сам в этом признался). Более того, нередко бывает так, что аргументы, или основания, вообще не связаны с тезисом (Ты виноват уж тем, что хочется мне кушать). Поэтому в доказательстве необходимо показать (продемонстрировать), во-первых, связь аргументов с тезисом, а во-вторых, их достаточность для его подтверждения или опровержения (без этого никакого доказательства нет). Итак, третий и наиболее важный элемент доказательства – это демонстрация, или способ, связи аргументов с тезисом. Прямые и косвенные доказательства На подтверждение и опровержение доказательства делятся, как мы уже знаем, по цели, а по способу демонстрации они бывают прямыми и косвенными. В прямом доказательстве истинность или ложность тезиса выводится непосредственно из аргументов, а в косвенном – подтверждение или опровержение тезиса выводится, соответственно, из ложности или истинности антитезиса. Иначе говоря, в косвенном доказательстве рассмотрению подвергается не тезис, а антитезис: устанавливается его истинность или ложность. Далее, если антитезис оказывается истинным, то тезис (по закону исключенного третьего) следует признать ложным; если же антитезис ложен, то тезис с необходимостью истинен. Такие доказательства также часто называют доказательствами «от противного». Поскольку доказательства делятся на подтверждения и опровержения, а также на прямые и косвенные, то всего можно выделить четыре вида доказательств: 1. Прямое подтверждение; 2. Косвенные подтверждение; 3. Прямое опровержение; 4. Косвенное опровержение. Каждый из этих видов включает в себя два метода доказательства. Таким образом, в общей сложности существует восемь методов доказательства. l. Обусловливающее прямое подтверждение тезиса. 2. Соединительное прямое подтверждение тезиса. 3. Отводящее косвенное подтверждение тезиса. 4. Разделительное косвенное подтверждение тезиса. 5. Прямое опровержение тезиса путем «лишения основания». 6. Прямое опровержение тезиса путем «сведения к абсурду». 7. Отводящее косвенное опровержение тезиса. 8. Разделительное косвенное опровержение тезиса. Виды и методы подтверждения и опровержения тезиса Виды и методы подтверждения тезиса Обусловливающее подтверждение тезиса представляет собой его выведение из установленной истинности аргументов. Например, тезис: Студент Н. готов к зачету может быть выведен из следующих истинных суждений: 1. Если студент посещал занятия, добросовестно изучал материал, выполнял все необходимые задания, то он готов к зачету; 2. Студент Н. посещал занятия, добросовестно изучал материал, выполнял все необходимые задания. Причем демонстрация в данном случае проходит в форме утверждающего модуса условно-категорического силлогизма: Если студент посещал занятия, добросовестно изучал материал, выполнял все необходимые задания, то он готов к зачету. Студент Н. посещал занятия, добросовестно изучал материал, выполнял все необходимые задания. Студент Н. готов к зачету. |
Похожие:
 | Учебно-методический комплекс дисциплины логика федеральное агентство... Логика, изучающая познающее мышление и применяемая как средство познания, возникла и развивалась в рамках теории познания, и в настоящее... |  | Рабочая программа учебной дисциплины логика и теория аргументации... Рабочая программа составлена в соответствии с государственными образовательными стандартами, направления "Логика " специальности... |
| Логика Целью освоения дисциплины является достижение следующих результатов образования: Знания: Курс «Логика» призван дать студентам системные... | | Логика Целью освоения дисциплины является достижение следующих результатов образования: Знания: Курс «Логика» призван дать студентам системные... |
| Рабочая программа дисциплины логика степень выпускника бакалавр Форма... ... | | Курс лекций по дисциплине «Уголовно-исполнительное право» для специальности 030503 Правоведение Данный курс лекций рассчитан на 50 часов для базового уровня профессионального образования и един для всех форм обучения |
| Дисциплина "Логистика" входит в состав цикла специальных дисциплин.... Курс лекций ориентирован на современные экономические условия и складывающиеся рыночные отношения в Российской Федерации | | Урок 1 Тема урока : Логика как наука. Основные понятия математической логики Учебный курс (рабочая программа) «Логика научного исследования» для аспирантов очной и заочной форм обучения специальностей 09. 00.... |
| Учебно-методический комплекс по дисциплине математическая логика и теория алгоритмов Курс математическая логика и теория алгоритмов обеспечивает приобретение знаний в соответствии с государственным образовательным... | | Курс лекций по «экологии» нгпи. 40 часов лекций + зачет и экзамен Агаджанян Н. А., Никитюк Б. А., Полунин Н. Н. Экология человека и интегративная антропология. — М. — Астрахань, 1996. — 224 с |
| Курс лекций по истории и философии науки утверждено Редакционно-издательским... Глотова В. В. Краткий курс лекций по истории и философии науки: учеб пособие / В. В. Глотова. Воронеж: фгбоу впо «Воронежский государственный... | | Логика и теория аргументации Рабочая программа определяет содержание и структуру учебной дисциплины "Логика" и предназначена для обучения студентов образовательных... |
| 1. Мировоззрение, его структура. Исторические типы м- мифология, религия, философия Рабочая программа составлена в соответствии с государственными образовательными стандартами, направления "Логика " специальности... | | Умк дисциплины Логика для специальности 080102. 65 “Мировая экономика Требования к обязательному минимуму содержания и уровню подготовки выпускника вуза, предъявляемые Государственным образовательным... |
| Программа и курс лекций по дисциплине «История мировой литературы и искусства» Программа и курс лекций по дисциплине «История мировой литературы и искусства» для студентов факультета связи с общественностью заочного... | | Титова Н. Е. История экономических учений: Курс лекций. М.: Гуманит изд Целью курса лекций является освоение студентами исторического наследия и идейного богатства учёных различных эпох в области экономической... |
