4 закона логики, которые делают здравый смысл вашим союзником

Продолжаем знакомиться с законами логики!

Да, совершенно верно – мы с ними уже вовсю работаем:

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

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

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

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

Доказательство тривиально:
«На выходе» получены исключительно нули, следовательно, формула действительно тождественна ложна.

Однако и любое противоречие – это тоже закон логики, в частности:

Нельзя объять столь обширную тему в одной-единственной статье, и поэтому я ограничусь ещё лишь несколькими законами:

Закон исключённого третьего

  – в классической логике любое высказывание истинно или ложно и третьего не дано. «Быть или не быть» – вот в чём вопрос.

Самостоятельно составьте табличку истинности и убедитесь в том, что это тождественно истинная формула.

Закон контрапозиции

Этот закон активно муссировался, когда мы обсуждали суть необходимого условия, вспоминаем: «Если во время дождя на улице сыро, то из этого следует, что если на улице сухо, то дождя точно не было».

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

Если истинна обратная теорема , то в силу закона контрапозиции , справедлива и теорема, противоположная обратной:

И снова вернёмся к нашим содержательным примерам: для высказываний   – число делится на 4,  – число делится на 2 справедливы прямая и противоположная теоремы, но ложны обратная и противоположная обратной теоремы. Для «взрослой» же формулировки теоремы Пифагора истинны все 4 «направления».

Закон силлогизма

Тоже классика жанра: «Все дубы – деревья, все деревья – растения, следовательно, все дубы – растения».

Ну и здесь опять хочется отметить формализм математической логики: если наш строгий Преподаватель думает, что некий Студент – есть дуб, то с формальной точки зрения данный Студент, безусловно, растение =) …хотя, если задуматься, то может быть и с неформальной тоже =)

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

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

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

2) к столбцам  применяем правило И;

3) вот теперь выполняем ;

4) и на завершающем шаге применяем импликацию к столбцам  и .

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

Задание 3

Выяснить, будет ли являться законом логики следующая формула:

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

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

Первый и наиболее важный закон логики – это закон тождества, который был сформулирован еще Аристотелем.

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

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

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

Получается, что высказывание было одно, а возможных значений у него два, вследствие чего нарушается тождество: 1 ≠ 2. Другими словами, в приведенном высказывании смешиваются (отождествляются) две различные (нетождественные) ситуации.

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

Интересен факт, что многие смешные афоризмы, анекдоты, задачи и головоломки построены именно на нарушении логического закона тождества. Например:

***

Не стой где попало, а то еще попадет.

***
– Я сломал руку в двух местах.

– Больше не ходи в эти места.

***

– Зачем (за чем) вода в стакане?

– Чтобы ее пить.

– Нет, за стеклом!

***

Формальная логика

Нужно сразу сказать, что логика изучает не содержание мышления, а только его формы. То есть, она интересуется не тем, о чем мы рассуждаем, а тем, как мы это делаем. Именно поэтому она называется формальной логикой.

Чтобы проще понять это, приведем пример. Существует два выражения:

  • все люди ходят на двух ногах;
  • все инопланетяне перемещаются на четвереньках.

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

все А – это Б

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

Непрямые дедуктивные рассуждения

Как уже было сказано непрямые дедуктивные рассуждения, или способы аргументации, задействуются, когда непосредственный переход от имеющихся посылок к заключению невозможен. Это не означает, что посылки и заключение не связаны логически: здесь также невозможна ситуация, когда посылки истинные, а заключение ложно. Просто прямое рассуждение представляет собой очень трудоёмкую задачу. Существует несколько основных способов непрямых дедуктивных рассуждений.

Рассуждение от противного должно быть многим знакомо со школьных уроков геометрии. Строится оно следующим образом: у нас есть тезис, который мы не можем доказать с помощью прямой дедукции, поэтому в качестве исходной посылки берётся его отрицание, далее из этого отрицания дедуктивно выводятся следствия, и на определённом шаге мы приходим к противоречию, то есть, например, на пятом шаге мы имеем высказывание «А», а на десятом – «неверно, что А». Как известно, логика не терпит противоречий, следовательно, можно сделать вывод, что отрицание нашего исходного тезиса было ложным, а сам тезис истинным. Что и требовалось доказать!

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

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

Законы мышления

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

Существует четыре основных закона логики:

  • Закон тождества.
  • Закон противоречия.
  • Закон исключенного третьего.
  • Закон достаточного основания.

Что такое софизм

Софизм (от греч. sóphisma — уловка, ухищрение) – это умышленное нарушение законов логики для внешне правильного доказательства ложной мысли. Приведем пример софизма:

  • Любой мужчина – человек.
  • Женщина не мужчина.
  • Следовательно, женщина – не человек.

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

Именно поэтому так важно развивать логическое мышление

Теперь подробнее рассмотрим основные формы мышления.

3.2. Закон непротиворечия. Противоречащие суждения не могут бытьодновременно истинными или одновременно ложными.

Этот закон совпадает с отношением
противоречия по логическому квадрату
(речь идет о суждениях А – О, Е – I).

Пример: Все великие люди низкого
ростаА:ВсеSсутьР

Некоторые из великих людей не являются
людьми низкого роста. О:НекоторыеSне сутьР

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

Являются
ли суждения А–Е противоречащими? Они
являются противоположными, так как не
могут быть одновременно истинными, но
могут быть одновременно ложными.

Все студенты пойдут в музей.А: ВсеSсутьР

Ни один студент не пойдет в музей.Е: Ни одно S не сутьР

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

Наличие или отсутствие противоречия
в рассуждениях являются свидетельством
уровня образованности и культуры
человека.

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

Варианты противоречия:

  • не украл, только взял;

  • не били, а поколотили;

  • не умер, а смерть его пришла;

  • каждый из присутствующих размахивал
    руками энергичнее, чем его сосед;

  • в связи с выездом за границу продаю
    редкую реликвию: череп Вольтера –
    ребенка;

  • сеньор, немой явился … и хочет с вами
    поговорить;

  • окружность со многими тупыми углами.

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

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

  • жениться стоит и не стоит;

  • осень настала и еще не настала;

  • как говорит статистика, замужних женщин
    заметно больше, чем женатых мужчин: при
    переписи анкета заполняется со слов
    самого опрашиваемого.

Замечание к данному высказыванию “при
переписи анкета заполняется со слов
самого опрашиваемого” настраивает на
мысль о том, что правдивых ответов не
было ни у мужчин, ни у женщин – женщины,
наверняка, более скрывали свое
незамужество, чем мужчины, а мужчины,
возможно, будучи женаты, при опросе это
отрицали, что и привело к противоречивому
высказыванию “… замужних женщин заметно
больше, чем женатых мужчин”

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

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

“Да! Ненавижу и вместе люблю. – Как
возможно, ты спросишь? Не объясню я. Но
так чувствую, смертно томясь”. (1 в. до
н. э., рим. Поэт Катулл)

Все мы полны противоречий. Каждый из
нас – просто случайная мешанина
несовместимых качеств. “… Человек
знает, что хорошо, но делает то, что
плохо”, – с горечью замечал Сократ.

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

Закон тождества. Определенное
утверждение должно сохраняться на
протяжении определенного рассуждения,
не изменяясь ни по количеству, ни по
качеству.

Правдоподобные рассуждения: индукция и аналогия

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

Законы алгебры логики

Исключение констант \( 1 + A = 1 \)\( 0 ⋅ A = 0 \)\( 0 + A = A \)\( 1 ⋅ A = A \)
Идемпотентность \( A + A = A \)\( A ⋅ A = A \)
Закон исключения третьего \( A + \overline{A} = 1 \)
Закон непротиворечивости \( A ⋅ \overline{A} = 0 \)
Закон отрицания \( \overline{\overline{A}} = A \)
Закон коммутативности \( A + B = B + A \)\( A ⋅ B = B ⋅ A \)
Закон ассоциативности \( A + B + C = A + (B + C)\)\( A ⋅ B ⋅ C = A ⋅ (B ⋅ C)\)
Закон дистрибутивности \( A ⋅ (B + C) = A ⋅ B + A ⋅ C \)\( A + (B ⋅ C) = (A + B) ⋅ (A + C) \)
Правило де Моргана \( \overline{(A + B)} = \overline{A} ⋅ \overline{B}\)\( \overline{(A ⋅ B)} = \overline{A} + \overline{B}\)
Закон поглощения \( A + A ⋅ B = A\)\( A ⋅ (A + B) = A\)
Закон склеивания \( A ⋅ B + \overline{A} ⋅ B = B \)\( (A + B) ⋅ (\overline{A} + B) = B \)

Законы алгебры можно доказать составив таблицу истинности.

Упражнения

«Живописная» экспертиза (Из книги Сергея Быльцова «Логические головоломки и задачи»)

Одному коллекционеру принесли картину, якобы принадлежащую перу кисти Антонио Канале, прозванному Каналетто. Коллекционер не был большим знатоком живописи и потому пригласил на экспертизу трёх специалистов. Эксперты высказали о картине следующие суждения:

  • Первый: Это не только не Каналетто, но даже и не Гварди.
  • Второй: Это не Каналетто, но это настоящий Алессандро Маньяско.
  • Третий: Конечно, это не Маньяско, это, несомненно, Антонио Канале.

Впоследствии объективными методами авторство картины было установлено, и оказалось, что один из экспертов сказал правду, другой ошибся, а третий был прав наполовину. Кто автор картины?

Принцесса и Иванушка

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

Cтатистика На весь экран

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

Cтатистика На весь экран

Виды языковых выражений

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

Расшифруем, что это всё обозначает. Итак, языковые выражения делятся на два типа: предложения и термины.

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

Термины – это значимые части предложений или, если говорить проще, слова и словосочетания. Они в свою очередь делятся на термины логические, то есть термины, которые что-то говорят о логическом устройстве предложений, и термины дескриптивные, то есть термины, которые что-то описывают, несут какую-то информацию о положении дел в мире. Дескриптивные термины различаются в зависимости от того, что именно они обозначают. Имена обозначают какой-то один единственный объект. Например, «Елизавета II» обозначает ровно одного человека. При этом именем может быть и словосочетание: «нынешняя королева Великобритании» тоже обозначает ровно одного человека. Предикаты обозначают свойства, состояния, отношения: «быть красным», «быть английской королевой», «граничить с», «знать иностранный язык» и т.д. В естественном языке предикатам соответствуют нарицательные существительные, прилагательные, глаголы. Функторы обозначают качественные и количественные характеристики предметов. К ним относятся знаки математических операций, физические величины и т.п.: «корень из», «натуральный логарифм от», «масса», «скорость».

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

Итак, логические термины делятся на предицирующие связки, пропозициональные связки и кванторы. Предицирующие связки – это связки «есть» и «не есть». В естественном языке они могут выражаться разными словами («являться», «выступать» и т.д.) или даже опускаться («Сократ – человек»). Пропозициональные связки выражают отношения между различными предложениями или между компонентами одного предложения. К этим связкам относятся: «и», «или», «неверно, что», «если…, то», «если и только если». Кванторы передают информацию о количестве предметов. Квантор общности выражается словами «все», «ни один», «каждый», «любой». Квантор существования передаётся словами «существует», «некоторые», «большинство», «какой-нибудь».

Формы мышления

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

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

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

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

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

Основы логики — формы логического мышления

Форма мышления – это оболочка для наших мыслей, способ по которому они строятся.

Существует всего 3 формы:

  1. Понятие — мысль об объекте или его свойствах. Это может быть материальный предмет (картина, растение), который можно потрогать, и что-то эфемерное (любовь, счастье), не поддающееся полному осмыслению.
  2. Суждение — это несколько понятий, объединенные между собой. Оно может быть либо положительным, либо отрицательным. Например, у нас есть понятия: отвага, честь, качества, главный, воин. Соберем из них суждение: отвага и честь— это главные качества воина.
  3. Умозаключение. Из нескольких суждений делается некий вывод, который содержит в себе новую информацию. Отвага и честь— главные качества воина. Я отважен и честен. Значит, я воин.

Все бесконечное пространство мыслей выражается этими тремя формами.

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

Тренинги

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

1

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

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

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

4. Устный счет и скорочтение подходят для развития и тренировки интеллектуальных способностей.

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

Как составить таблицу истинности

Алгоритм построения таблицы истинности:

  1. Определить число переменных функции.
  2. Посчитать, сколько всего операций в выражении.
  3. Учесть скобки и установить порядок выполнения логических операций.
  4. Узнать количество столбцов в таблице путем сложения количества переменных и числа операций.
  5. В шапке таблицы записать переменные и операции в установленном в п.3 порядке.
  6. Определить количество строк в таблице (без шапки) по формуле m=2n.
  7. Выписать комбинации входных переменных, представленных в виде целого ряда двоичных чисел от 0 до 2n−1 с разрядом n.
  8. Заполнить столбцы таблицы, последовательно совершая логические операции.

Суждение

Суждение (или высказывание) – это форма мышления, в которой что-либо утверждается или отрицается. Например:

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

Давайте рассмотрим основные свойства суждения, чтобы понять, чем оно отличается от понятия.

  1. Любое суждение состоит из связанных между собой понятий. Для примера возьмем два понятия – мужчина и женщина. Из них можно составить несколько суждений:
  • мужчины и женщины – это люди;
  • мужчины не являются женщинами;
  • некоторые женщины сильнее мужчин.
  1. Любое суждение выражается в форме предложения (в то время как понятие выражается словом). При этом не каждое предложение обязательно должно быть суждением.
  2. Любое суждение является либо истинным, либо ложным. Если оно соответствует действительности, оно истинное, а если не соответствует – ложное.
  3. Суждения бывают простыми и сложными. Сложные суждения состоят из простых, соединенных каким-либо союзом.

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

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

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

Предикат (Р) – это то, что говорится о субъекте. В том же суждении «Все растения не животные» о субъекте «растения» говорится, что они – «не животные», поэтому предикатом данного суждения выступает понятие «животные».

Связка – это то, что соединяет субъект и предикат. Роль связки могут выполнять самые разные слова: есть, является, находится, это и т. п.

Квантор – это указатель на объем субъекта. В роли квантора могут быть слова все, некоторые, каждый пятый, половина, ни один и т. п.

Для закрепления давайте проанализируем простое суждение «Многие школьники любят физкультуру».

  1. Субъект – «школьники»
  2. Предикат – «физкультура»
  3. Связка – «любят»
  4. Квантор – «многие»

Надеемся, что это понятно. Стоит также отметить, что в некоторых суждениях квантор может отсутствовать. Однако он обязательно подразумевается. В суждении «Бабочки – это насекомые» квантор видимым образом отсутствует, но он подразумевается – это слово «все».

Вопросы в логике

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

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

Любой вопрос состоит из двух частей:

  1. Основной (базисной), выраженной неким суждением (предпосылка вопроса);
  2. Искомой, указывающей на необходимость дополнения этого суждения каким-то ответом.

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

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

5 | Предикатная логика первого порядка

В XX веке, после добавлений в логику работ Готфрида Лейбница и Готлоба Фреге, на основе этой дисциплины создаётся новая — информатика. Языки программирования основываются на видоизменённой логике Аристотеля — предикатной логике, описательная способность которой выше, чем у логики высказываний (сентенциальной). Прежде чем разобрать этот новый тип логики, поговорим об её отличии от сентенциальной. Главная особенность предикатной логики, что заглавными буквами обозначаются предикаты, а не целые высказывания. Можно сказать, что предикат — это математическая функция, которая «накладывает» множество субъектов на множество утверждений.

Высказывание «Я пошёл в зоопарк» — состоит из субъекта и предиката. В нём субъект — «Я», а предикат — то, что остаётся кроме субъекта («… пошёл в зоопарк»). Субъект — кто совершает действие в предложении или имеет выраженное свойство; предикат — всё оставшееся. Таким образом, если в сентенциальной логике высказывание «Я пошёл в зоопарк» выражалось бы одной заглавной буквой, то в логике предикатов использовались бы две буквы (заглавная и подстрочная): «P» — для предиката; «x» — для субъекта. Субъекты обозначаются переменной («x»), потому что в предикатной логике появляются две относительно новые операции: универсальный и экзистенциальный кванторы. Особенность кванторов заключается в том, что ими возможно записать выражение истинное при всех возможных переменных «х» или хотя бы при одном.

Универсальный квантор (квантор всеобщности) обозначается символом — «∀», с указанием переменной под ним. Возьмём утверждение «Все пингвины чёрно-белые». В логике высказываний оно бы выражалось как «X ⇒ P», где «X» — нечто являющееся пингвином, а «P» — нечто являющееся чёрно-белым. В предикатной логике же используются субъекты и предикаты, поэтому нечто являющееся пингвином (субъект), обозначалось бы переменной «х» снизу под предикатом. «»х» — является пингвином, следовательно, является чёрно-белым». Записывается так: P(х) ⇒ B(х), где P(х): х — пингвин; B(х): x — чёрно-белый.

Однако этого недостаточно, ведь непонятно, один субъект «х» чёрно-белый или больше одного, а может вообще все. Поэтому утверждение «»х» — является пингвином, следовательно, является чёрно-белым», берётся в скобки и перед скобками используется символ «∀» с переменной «х» под ним — которые вместе и будут универсальным квантором. 

Универсальный квантор переводится как: «Для всех «х» истинно, что …». Теперь утверждение «х — является пингвином, следовательно, является чёрно-белым» с универсальным квантором перед ним, расшифровывается так: «Для всех «х» истинно, что «х» — является пингвином, следовательно, является чёрно-белым». Это означает, что чем бы ни был объект во вселенной, если этот объект пингвин — он является чёрно-белым. Полная запись будет выглядеть так:

Экзистенциальный квантор (квантор существования) обозначается символом — «∃» с указанием переменной под ним. Возьмём утверждение «Некоторые пингвины серые». Как и в прошлый раз, выражение «»x» — является пингвином и «х» — является серым» возносим в скобки и ставим перед ними квантор, в этом случае экзистенциальный с указанной переменной. «»x» — является пингвином и «х» — является серым» записывается так: P(х) ∧ C(х), где P(х): х — пингвин; C(х): x — серый.

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

Оцените статью
Рейтинг автора
5
Материал подготовил
Андрей Измаилов
Наш эксперт
Написано статей
116
Добавить комментарий