Логика – основы, формы, законы - Oxford44.ru
Рейтинг статьи
1 звезда2 звезды3 звезды4 звезды5 звезд (пока оценок нет)
Загрузка...

Логика – основы, формы, законы

Основные законы логики (стр. 1 из 3)

Логика – одна из самых старых наук. Ее богатая событиями история началась еще в Древней Греции и насчитывает две с половиной тысячи лет. В конце прошлого – начале нынешнего века в логике произошла научная революция, в результате которой в корне изменились стиль рассуждений, методы и наука как бы обрела второе дыхание. Теперь логика – одна из наиболее динамичных наук, образец строгости и точности даже для математических теорий.

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

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

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

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

Слово «логика» употребляется довольно часто, но в разных значениях.

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

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

В третьем смысле «логика» является именем особой науки о мышлении, называемой также формальной логикой.

Трудно найти более многогранное и сложное явление, чем человеческое мышление. Оно изучается многими науками, и логика – одна из них. Ее предмет – логические законы и логические операции мышления. Принципы, устанавливаемые логикой, необходимы, как и все научные законы. Мы можем не осознавать их, но вынуждены следовать им.

Формальная логика – наука о законах и операциях правильного мышления.

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

1. Основные законы логики

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

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

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

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

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

2. Закон тождества

Внешне самым простым из логических законов является закон тождества. Он говорит: если высказывание истинно, то оно истинно. Иначе говоря, каждое высказывание вытекает из самого себя и является необходимым и достаточным условием своей истинности. Символически: А → А если А, то А. Например: «Если дом высокий, то он высокий», «Если трава черная, то она черная» и т.п.

Читайте также:  Чарльз диккенс – биография, личная жизнь, фото

В приложениях закона тождества к конкретному материалу с особой наглядностью обнаруживается общая черта всех логических законов. Они представляют собой тавтологии, как бы повторения одного и того же и не несут содержательной, «предметной» информации. Это – общие схемы, отличительная особенность которых в том, что подставляя в них любые конкретные высказывания (как истинные, так и ложные), мы обязательно получим истинное выражение.

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

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

3. Закон противоречия

Из всех логических законов самым известным является, без сомнения, закон противоречия. И вместе с тем в истории логики не было периода, когда бы этот закон не оспаривался и когда бы дискуссии вокруг него совершенно затихали.

Закон противоречия говорит о противоречащих друг другу высказываниях, т.е. о высказываниях, одно из которых является отрицанием другого. К ним относятся, например, высказывания «Луна – спутник Земли» и «Луна не является спутником Земли», «Трава – зеленая» и «Неверно, что трава зеленая» и т.п. В одном из противоречащих высказываний что-то утверждается, в другом – это же самое отрицается.

Если обозначить буквой А произвольное высказывание, то выражение не-А (неверно, что А) будет отрицанием этого высказывания.

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

Используя вместо высказываний буквы, эту идею можно передать так: неверно, что А и не-А. Неверно, например, что трава зеленая и не зеленая, что Луна – спутник Земли и не спутник Земли и т.п.

Закон противоречия выражается формулой: (А&

А), неверно, что А и не – А.

Закон противоречия говорит о противоречивых высказываниях – отсюда его название. Но он отрицает противоречие, объявляет его ошибкой и тем самым требует непротиворечивости – отсюда другое распространенное имя – закон непротиворечия.

Если применить понятия истины и лжи, закон противоречия можно сформулировать так: никакое высказывание не является вместе истинным и ложным.

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

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

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

Закон противоречия был открыт Аристотелем, сформулировавшим его так: «…невозможно, чтобы противоречащие утверждения были вместе истинными…». Аристотель считал данный закон наиболее важным принципом не только мышления, но и самого бытия: «Невозможно, чтобы одно и то же вместе было и не было присуще одному и тому же и в одном и том же смысле». Несколько раньше формулировка закона как принципа самого реального мира встречается у Платона: «Невозможно быть и не быть одним и тем же».

Основы алгебры логики

Основные законы алгебры логики.

Законы алгебры высказываний

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

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

Законы алгебры высказываний (алгебры логики) — это тавтологии.

Читайте также:  Полтавская битва кратко – суть, причины, итоги

Иногда эти законы называются теоремами.

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

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

Закон тождества:

Всякое понятие и суждение тождественно самому себе.

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

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

В рассуждении: Движение вечно. Хождение в школу — движение. Следовательно, хождение в школу вечно слово «движение» используется в двух разных смыслах (первое — в философском смысле — как атрибут материи, второе — в обыденном смысле — как действие по перемещению в пространстве), что приводит к ложному выводу.

Закон непротиворечия :

В один и тот же момент времени высказывание может быть либо истинным, либо ложным, третьего не дано. Истинно либо А, либо не А. Примеры выполнения закона исключенного третьего:

1. Число 12345 либо четное, либо нечетное, третьего не дано.

2. Предприятие работает убыточно или безубыточно.

3. Эта жидкость является или не является кислотой.

Закон исключенного третьего не является законом, признаваемым всеми логиками в качестве универсального закона логики. Этот закон применяется там, где познание имеет дело с жесткой ситуацией: « либо — либо », « истина—ложь ». Там же, где встречается неопределенность (например, в рассуждениях о будущем), закон исключенного третьего часто не может быть применен.

Рассмотрим следующее высказывание: Это предложение ложно. Оно не может быть истинным, потому что в нем утверждается, что оно ложно. Но оно не может быть и ложным, потому что тогда оно было бы истинным. Это высказывание не истинно и не ложно, а потому нарушается закон исключенного третьего.

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

Например, определим, чему эквивалентно (равносильно) А (двойное отрицание А , т. е. отрицание отрицания А ).Для этого построим таблицу истинности:

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

Таким образом, мы можем сформулировать закон двойного отрицания:

Если отрицать дважды некоторое высказывание, то в результате получается исходное высказывание. Например, высказывание А = Матроскин — кот эквивалентно высказыванию А = Неверно, что Матроскин не кот .

Аналогичным образом можно вывести и проверить следующие законы:

Свойства констант:

Законы идемпотентности:

Сколько бы раз мы ни повторяли: телевизор включен или телевизор включен или телевизор включен . значение высказывания не изменится. Аналогично от повторения на улице тепло, на улице тепло. ни на один градус теплее не станет.

Законы коммутативности:

Операнды А и В в операциях дизъюнкции и конъюнкции можно менять местами.

Законы ассоциативности:

A v(B v C) = (A v B) v C;

А & (В & C) = (A & В) & С.

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

Законы дистрибутивности:

A v (B & C) = (A v B) &(A v C)

(дистрибутивность дизъюнкции
относительно конъюнкции)

А & (B v C) = (A & B) v (А & C)

(дистрибутивность конъюнкции
относительно дизъюнкции)

Закон дистрибутивности конъюнкции относительно дизъюнкции ана­логичен дистрибутивному закону в алгебре, а закон дистрибутивности дизъюнкции относительно конъюнкции аналога не имеет, он справедлив только в логике. Поэтому необходимо его доказать. Доказательство удобнее всего провести с помощью таблицы истинности:

Законы поглощения:

Проведите доказательство законов поглощения самостоятельно.

Законы де Моргана:

Словесные формулировки законов де Моргана:

Мнемоническое правило: в левой части тождества операция отрицания стоит над всем высказыванием. В правой части она как бы разрывается и отрицание стоит над каждым из простых высказываний, но одновременно меняется операция: дизъюнкция на конъюнкцию и наоборот.

Примеры выполнения закона де Моргана:

1) Высказывание Неверно, что я знаю арабский или китайский язык тождественно высказыванию Я не знаю арабского языка и не знаю китайского языка.

2) Высказывание Неверно, что я выучил урок и получил по нему двойку тождественно высказыванию Или я не выучил урок, или я не получил по нему двойку.

Читайте также:  Интересные факты о лондонском метро

Замена операций импликации и эквивалентности

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

Так, заменить операцию импликации можно в соответствии со следующим правилом:

Для замены операции эквивалентности существует два правила:

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

Знание правил замены операций импликации и эквивалентности помогает, например, правильно построить отрицание импликации.

Рассмотрим следующий пример.

Пусть дано высказывание:

Е = Неверно, что если я выиграю конкурс, то получу приз .

Пусть А = Я выиграю конкурс ,

В = Я получу приз .

Отсюда, Е = Я выиграю конкурс, но приз не получу .

Логика

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

В формальной логике предполагается, что в любом рассуждении можно разделить его содержание и форму. И, поскольку для определения правильности рассуждения важна только его форма, от содержания можно отвлечься.

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

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

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

Понятие имеет две основные логические характеристики: содержание и объем.

Содержание понятия

Содержанием понятия называется совокупность существенных признаков, отраженных в этом понятии.

Объем понятия

Объем понятия — это множество предметов, каждому из которых принадлежат признаки, относящиеся к содержанию понятия.

Совместимые и несовместимые понятия

По объему понятия могут быть совместимыми или несовместимыми. Объемы совместимых понятий совпадают полностью или частично (т.е. существуют объекты, имеющие признаки обоих понятий). Объемы несовместимых понятий не включают ни одного общего элемента.

Отношения совместимых понятий:

  • пересечение (часть элементов объема каждого понятия входит в объем другого понятия); например, «мальчик»–«болельщик»;
  • тождество (полное совпадение объемов понятий);
  • подчинение (объем одного понятия полностью входит в объем другого); например, «акула»–«рыба».

Отношения несовместимых понятий:

  • соподчинение; например, «рыба»–«птица» (соподчинены понятию «животное»);
  • противоположность (объект, не попадающий под одно понятие, может не попадать и под другое); например, «черный»–«белый»;
  • противоречие (объект принадлежит объему либо одного, либо другого понятия); например, «светящийся объект»–«несветящийся объект».

Высказывание (суждение) — форма мышления, в которой что-либо утверждается или отрицается о предметах, их свойствах, или отношениях.

Высказывание характеризуется своим содержанием и формой.

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

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

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

Инверсия (отрицание)

Инверсия — это логическая операция, образующая сложное высказывание, истинное тогда и только тогда, когда исходное высказывание ложно.

В выражениях обозначается ¬A или A.

Читается «НЕ» (например, «не А»).

Конъюнкция (логическое умножение)

Конъюнкция — это логическая операция, образующая сложное высказывание, истинное тогда и только тогда, когда истинны оба исходных высказывания.

В выражениях обозначается A ∧ B или A & B (знак может не указываться — AB).

Читается «И» (например, «А и Б»)

Дизъюнкция (логическое сложение)

Дизъюнкция — это логическая операция, образующая сложное высказывание, истинное тогда, когда истинно хотя бы одно из исходных высказываний.

В выражениях обозначается A ∨ B, иногда A + B.

Читается «ИЛИ» (например, «А или Б»)

Импликация (следование)

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

В выражениях обозначается A ⇒ B или A → B.

Читается «ЕСЛИ. ТО» (например, «если А, то Б»)

Эквивалентность (равнозначность)

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

В выражениях обозначается A ⇔ B или A ≡ B.

Читается «ТОГДА И ТОЛЬКО ТОГДА, КОГДА» (например, «А тогда и только тогда, когда Б»)

Для записи логических функций часто используют таблицы истинности.

Таблица истинности — таблица, в которой указаны значения логической функции для всех возможных комбинаций значений ее аргументов.

Запишем таблицы истинности для логических операций в соответствии с определениями, данными выше.

Ссылка на основную публикацию