Трудовые отношения

Частные посылки в логике. Распределенность терминов в простых атрибутивных высказываниях

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

Простой категорический силлогизм

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

Приведём пример:

  • Все рыбы не могут жить без воды.
  • Все акулы - это рыбы.
  • Следовательно, все акулы не могут жить без воды.

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

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

Фигура - это форма простого категорического силлогизма, которая определяется расположением среднего термина.

Сверху расположена большая посылка, за ней следует меньшая посылка, под чертой находится заключение. Буквой S обозначен меньший термин, буквой P - больший термин, буквой М - средний термин.

  • Всякий М есть P
  • Всякий S есть М
  • Всякий S есть P
  • Ни один М не есть P
  • Некоторые М есть S
  • Некоторые S не есть P

Эти различные сочетания высказываний в фигурах образуют так называемые модусы. Каждая фигура имеет 64 модуса, таким образом, на все четыре фигуры приходятся всего 256 модусов. Если подумать обо всём многообразии умозаключений, имеющих форму силлогизмов, то 256 модусов - это не так уж и много. Кроме того, далеко не все модусы образуют правильные умозаключения, то есть существуют такие модусы, которые при истинности посылок не гарантируют истинности умозаключения. Такие модусы называются неправильными. Правильными же называются те модусы, с помощью которых из истинных посылок мы всегда получаем истинное заключение. Всего существует 24 правильных модуса - по шесть на каждую фигуру. Это означает, что во всей классической силлогистике, которая исчерпывает львиную долю рассуждений, производимых людьми, существует всего 24 вида правильных умозаключений. Это очень маленькое число, поэтому правильные модусы не так уж и сложно запомнить.

Каждый из этих модусов ещё в Средние века получил особое мнемоническое наименование. Каждый тип категорического атрибутивного высказывания был обозначен с помощью всего одной буквы. Высказывания типа «Все S есть P» обозначили буквой «а », первой буквой в латинском слове «affirmo» («утверждаю»), и их запись превратилась в «Sa P». Высказывания вида «Некоторые S есть P» записывались с помощью буквы «i », второй гласной в слове «affirmо», поэтому они выглядели как «Si P». Высказывания формы «Ни один S не есть P» обозначили буквой «е », первой гласной в латинском слове «nego» («отрицаю»), их стали записывать в виде «Se P». Как вы, наверное, уже догадались высказывания типа «Некоторые S не есть P» обозначили буквой «о », второй гласной в слове «nego», их формальная запись выглядела как «So P». Поэтому модусы правильных силлогизмов традиционно обозначаются именно с помощью этих четырёх букв, которые для удобства запоминания представлены в виде слов. Таблица всех правильных модусов выглядит так:

Фигура III

К примеру, модус второй фигуры Cesare (eae) в развёрнутом виде будет выглядеть так:

  • Ни один P не есть М
  • Все S есть М
  • Ни один S не есть P

Хотя 24 модуса - это совсем не много и в таблице можно усмотреть некоторые регулярности (например, для всех фигур верны модусы eao и eio), запомнить её всё равно сложно. К счастью, это совсем и необязательно. Для проверки силлогизмов можно также пользоваться модельными схемами. Только в отличие от тех схем, которые мы строили раньше, на них уже должно присутствовать не два, а три термина: S, P, M.

Давайте возьмём модус четвёртой фигуры Bramantip (aai) и проверим его с помощью модельных схем.

  • Всякий P есть М
  • Всякий М есть S
  • Некоторые S есть P

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




Теперь на каждой из этих схем мы должны проверить, верно ли будет высказывание «Некоторые S есть P», представляющее заключение. В результате проверки, мы обнаруживаем, что на каждой схеме это высказывание будет верным. Таким образом, умозаключение по модусу Bramantip (aai) четвёртой фигуры правильное. Если бы была хотя бы одна схема, на которой это высказывание было бы ложным, то умозаключение было бы неправильным.

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

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

Правила терминов

  1. Простой категорический силлогизм должен включать только три термина.
  2. Средний термин должен быть распределён хотя бы в одной из посылок.
  3. Если больший или меньший термин не распределён в посылке, то он должен быть нераспределён и в заключении.

Правила посылок:

  1. Хотя бы одна из посылок должна быть утвердительной.
  2. Если обе посылки являются утвердительными, то и заключение должно быть утвердительным.
  3. Если одна из посылок отрицательная, то и заключение должно быть отрицательным.

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

  • Золото - элемент 11 группы, шестого периода периодической системы химических элементов Д. И. Менделеева, с атомным номером 79.
  • Молчание - золото.
  • Молчание - элемент 11 группы, шестого периода периодической системы химических элементов Д. И. Менделеева, с атомным номером 79.

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

  • Все книги из собрания Российской государственной библиотеки нельзя прочитать за целую жизнь.
  • «Отцы и дети» Ивана Тургенева - книга из собрания Российской государственной библиотеки.
  • «Отцы и дети» Ивана Тургенева нельзя прочитать за целую жизнь.

Кажется, что этот силлогизм соответствует модусу Barbara первой фигуры. Однако посылки истинны, а заключение ложно. Проблема в том, что в этом примере опять произошло учетверение терминов. Вроде бы этот силлогизм содержит три термина. Меньший термин - «”Отцы и дети” Ивана Тургенева». Больший термин - «книги, которые нельзя прочитать за целую жизнь». Средний термин - «книги из собрания Российской государственной библиотеки». Если же присмотреться внимательно, то станет ясно, что субъектом первой посылки является не термин «книги из собрания Российской государственной библиотеки», а термин «все книги из собрания Российской государственной библиотеки». В данном случае «все» - это не квантор общности, а часть субъекта, так как это слово употребляется не в разделительном смысле (каждый в отдельности), а в собирательном (все вместе). Если бы мы заменили слово «все» на слова «каждый в отдельности», то первая посылка попросту стала бы ложной: «Каждую в отдельности книгу из собрания Российской государственной библиотеки нельзя прочитать за целую жизнь». Таким образом, мы получаем четыре термина вместо трёх, а потому это умозаключение ложно.

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

Давайте возьмём типы высказываний и посмотрим, какие термины в них распределены, а какие нет. Распределённый термин отмечается знаком «+», нераспределённый - знаком «-».

Все S + есть P - .

Ни один S + не есть P + .

Некоторые S - есть P - .

Некоторые S - не есть P + .

а + есть P - .

a + не есть P + .

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

  • Пингвины - это птицы.
  • Некоторые птицы не умеют летать.
  • Пингвины не умеют летать.

Хотя и высказывания над чертой и высказывание под чертой истинны, умозаключение как таковое здесь отсутствует. Здесь нет логического перехода от посылок к заключению. И это можно легко выявить, так как средний термин «птицы» ни разу не берётся во всём своём объёме.

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

Энтимемы

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

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

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

Теперь располагаем известную нам информацию в форме силлогизма:

  • 3. Золото - это драгоценный металл.

Или в виде схемы:

  • 2. Sa М
  • 3. Sa P

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

  • 1. P M
  • 2. Sa М
  • 3. Sa P
  • 1. М P
  • 2. Sa М
  • 3. Sa P

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

  • 1. Ма P
  • 2. Sa М
  • 3. Sa P
  • 1. Все металлы, которые практически не окисляются на воздухе, являются драгоценными.
  • 2. Золото практически не окисляется на воздухе.
  • 3. Золото - драгоценный металл.

Теперь проверяем, истинна ли наша восстановленная посылка. В нашем случае она истинна, поэтому энтимема была правильной.

Сориты

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

Мы приведём пример сорита из книги Льюиса Кэррола «История с узелками»:


2. Человек с длинными волосами не может не быть поэтом.
3. Амос Джадд никогда не сидел в тюрьме.

5. В этой округе нет других поэтов, кроме полисменов.
6. С нашей кухаркой не ужинает никто, кроме её кузенов.

8. Амос Джадд любит холодную баранину.

Над чертой находятся посылки, под чертой - заключение.

Как же нужно решать и проверять сориты? Дадим пошаговую инструкцию. Во-первых, необходимо привести все посылки в более или менее стандартную форму:

1. Все полисмены из нашей округи ужинают у нашей кухарки.
2. Все люди с длинными волосами являются поэтами.
3. Амос Джадд не сидел в тюрьме.
4. Все кузены нашей кухарки любят холодную баранину.
5. Все поэты из нашего округа являются полисменами.
6. Все люди, ужинающие с нашей кухаркой, приходятся ей кузенами.
7. Все люди с короткими волосами сидели в тюрьме.

Теперь нужно взять две исходные посылки. По большому счёту, неважно, с каких именно посылок вы начнёте. Главное, чтобы ваши исходные посылки вместе содержали всего три термина. Это означает, что мы не можем взять посылки «Амос Джадд не сидел в тюрьме» и «Все кузены нашей кухарки любят холодную баранину». В них входят четыре разных термина, а потому мы не можем сделать из них никакого заключения. Я в качестве исходных возьму посылки 7 и 3 и сделаю из них вывод по правилам для простых категорических силлогизмов.

  • 1. Все люди с короткими волосами сидели в тюрьме.
  • 2. Амос Джадд не сидел в тюрьме.
  • 3. Амос Джадд не является человеком с короткими волосами.

Этот силлогизм соответствует модусу Camestres (aee) второй фигуры. Теперь для удобства я переформулирую наш промежуточный вывод следующим образом: «Амос Джадд является человеком с длинными волосами». Этот промежуточный вывод я соединяю с посылкой номер 2:

  • 1. Все люди с длинными волосами являются поэтами.
  • 2. Амос Джадд является человеком с длинными волосами.
  • 3. Амос Джадд является поэтом.

Этот силлогизм соответствует модусу Barbara (aaa) первой фигуры. Теперь я присоединяю этот промежуточный вывод к посылке номер 5:

  • 1. Все поэты из нашего округа являются полисменами.
  • 2. Амос Джадд является поэтом.
  • 3. Амос Джадд является полисменом.

Этот силлогизм опять же соответствует модусу Barbara (aaa) первой фигуры. Присоединяем промежуточный вывод к посылке номер 1:

  • 1. Все полисмены из нашей округи ужинают у нашей кухарки.
  • 2. Амос Джадд является полисменом.
  • 3. Амос Джадд ужинает у нашей кухарки.

Это силлогизм, как вы уже, наверное, заметили, тоже представляет собой модус Barbara (aaa) первой фигуры. Присоединяем этот вывод к посылке номер 6:

  • 1. Все люди, ужинающие с нашей кухаркой, приходятся ей кузенами.
  • 2. Амос Джадд ужинает у нашей кухарки.
  • 3. Амос Джадд приходится кузеном нашей кухарке.

Опять Barbara, которая является одним из самых распространённых модусов. Присоединяем к нашему последнему промежуточному выводу последнюю посылку номер 4:

  • 1. Все кузены нашей кухарки любят холодную баранину.
  • 2. Амос Джадд приходится кузеном нашей кухарке.
  • 3. Амос Джадд любит холодную баранину.

Итак, с помощью всё того же модуса Barbara мы получили наше заключение: «Амос Джадд любит холодную баранину». Таким образом, сориты решаются и проверяются с помощью пошагового разделения на простые категорические силлогизмы. В нашем примере сорит оказался правильным, но возможны и обратные ситуации. Существует два условия корректности соритов. Во-первых, каждый сорит должен разбиваться на последовательность правильных модусов силлогизмов. Во-вторых, заключение, которое вы получаете, когда все посылки исчерпаны, должно совпасть с заключением сорита. Это условие действует в тех случаях, когда вы имеете дело с чужим рассуждением, в котором уже присутствует какое-то заключение.

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

Задачи Эйнштейна

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

Упражнения

Упражнения 1, 2 и 3 взяты из книги Льюиса Кэррола «История с узелками», М.: Мир, 1973.

Упражнение 1

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

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

Упражнение 2

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

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

Упражнение 3

Найдите заключения следующих соритов.

  • Малые дети неразумны.
  • Тот, кто может укрощать крокодилов, заслуживает уважения.
  • Неразумные люди не заслуживают уважения.
  • Ни одна утка не танцует вальс.
  • Ни один офицер не откажется потанцевать вальс.
  • У меня нет другой птицы, кроме уток.
  • Всякий, кто находится в здравом уме, может заниматься логикой.
  • Ни один лунатик не может быть присяжным заседателем.
  • Ни один из ваших сыновей не может заниматься логикой.
  • В этой коробке нет моих карандашей.
  • Ни один из моих леденцов - не сигара.
  • Вся моя собственность, не находящаяся в этой коробке, состоит из сигар.
  • Ни один терьер не блуждает среди знаков Зодиака.
  • То, что не блуждает среди знаков Зодиака, не может быть кометой.
  • Только у терьера хвост колечком.
  • Никто не станет выписывать газету «Таймс», если он не получил хорошего образования.
  • Ни один дикобраз не умеет читать.
  • Те, кто не умеет читать, не получили хорошего образования.
  • Никто их тех, кто действительно ценит Бетховена, не станет шуметь во время исполнения «Лунной сонаты».
  • Морские свинки безнадёжно невежественны в музыке.
  • Те, кто безнадёжно невежественен в музыке, не станут соблюдать тишину во время исполнения «Лунной сонаты».
  • Вещи, продаваемые на улице, не имеют особой ценности.
  • Только дрянь можно купить за грош.
  • Яйца большой гагарки представляют большую ценность.
  • Лишь то, что продаётся на улице, и есть настоящая дрянь.
  • Те, кто нарушает свои обещания, не заслуживают доверия.
  • Любители выпить очень общительны.
  • Человек, выполняющий свои обещания, честен.
  • Ни один трезвенник не ростовщик.
  • Тому, кто очень общителен, всегда можно верить.
  • Любая мысль, которую нельзя выразить в виде силлогизма, поистине смешна.
  • Моя мечта о сдобных булочках не стоит того, чтобы её записывать на бумаге.
  • Ни одну мою несбыточную мечту нельзя выразить в виде силлогизма.
  • Мне не приходило в голову ни одной действительно смешной мысли, о которой я бы не сообщим своему другу.
  • Я только и мечтаю, что о сдобных булочках.
  • Я никогда не высказывал своему другу ни одной мысли, если она не стоила того, чтобы её записать на бумаге.

Упражнение 4

Проверьте правильность следующих энтимем.

  1. Барсик - не законопослушный кот, потому что он украл у меня сосиску.
  2. Ртуть жидкая, следовательно, она не может быть металлом.
  3. Ни один послушный ребёнок не устраивает истерик по пустякам. Поэтому Толя - непослушный ребёнок.
  4. Некоторые женщины глупы, значит, некоторые мужчины могут этим воспользоваться.
  5. Все девушки хотят выйти замуж, так как каждая из них мечтает о пышном белом платье.
  6. Ни один студент не хочет получить двойку на экзамене, вот почему все студенты - ботаники.
  7. Некто украл у меня кошелёк, поэтому у меня совсем не осталось денег.
  8. Павлины - самовлюблённые птицы, потому что у них большой красивый хвост.

Проверьте свои знания

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

συλλογισμός ) - рассуждение мысли, состоящее из трёх простых атрибутивных высказываний: двух посылок и одного заключения. Посылки силлогизма разделяются на бо́льшую (которая содержит предикат заключения) и меньшую (которая содержит субъект заключения). По положению среднего термина силлогизмы делятся на фигуры , а последние по логической форме посылок и заключения - на модусы .

Пример силлогизма:

Всякий человек смертен (бо́льшая посылка) Сократ - человек (меньшая посылка) ------------ Сократ смертен (заключение)

Структура простого категорического силлогизма

В силлогизм входит ровно три термина :

  • S - меньший термин: субъект заключения (входит также в меньшую посылку);
  • P - больший термин: предикат заключения (входит также в большую посылку);
  • M - средний термин: входит в обе посылки, но не входит в заключение.

Подлежащие S (субъект) - то, относительно чего мы высказываем (делится на два вида):

  1. Определенное: Единичное, Частное, Множественное
    • Единичные [суждения] - в которых подлежащее является индивидуальным понятием. Прим: «Ньютон открыл закон тяготения»
    • Частное суждение - в котором подлежащим суждения является понятие, взятое в части своего объема. Прим: «Некоторые S суть P»
    • Множественное суждение - это те, в которых несколько подлежащих классовых понятий. Прим: «насекомые, пауки, раки есть членистоногие»
  2. Неопределенное. Прим: «светает», «больно» и т. п.

Сказуемое P (предикат) - то, что мы высказываем (2 вида суждений):

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

Отношение между подлежащим и сказуемым:

  1. Суждения тождества - понятия субъекта и предиката имеют один и тот же объем. Прим: «всякий равносторонний треугольник есть равноугольный треугольник»
  2. Суждения подчинения - понятия с менее широким объемом подчиняется понятию с более широким объемом. Прим: «Собака есть домашнее животное»
  3. Суждения отношения - именно пространства, времени, отношения. Прим: «Дом находится на улице»

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

Классификация простых атрибутивных высказываний по качеству и количеству

По качеству и количеству различают четыре вида простых атрибутивных высказываний:

A - от лат. a ffirmo - Общие («Все люди смертны») I - от лат. affi rmo - Частноутвердительные («Некоторые люди - студенты») E - от лат. ne go - Общеотрицательные («Ни один из китов не рыба») O - от лат. nego - Частноотрицательные («Некоторые люди не являются студентами»)

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

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

Распределенность терминов в простых атрибутивных высказываниях

Субъект всегда распределен в общем высказывании и никогда не распределен в частном высказывании.

Предикат всегда распределен в отрицательных суждениях, в утвердительных он распределен тогда, когда по объему Р<=S.

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

Правила простого категорического силлогизма

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

Фигуры и модусы

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

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

Фигура 1 Фигура 2 Фигура 3 Фигура 4
Ba rba ra Ce sa re Da ra pti Bra ma nti p
Ce la re nt Ca me stre s Di sa mi s Ca me ne s
Da rii Fe sti no Da ti si Di ma ri s
Fe rio Ba ro co Fe la pto n Fe sa po
Bo ca rdo Fre si so n
Fe ri so n

Примеры силлогизмов каждого типа.

Все животные смертны. Все люди - животные. Все люди смертны.

Celarent

Ни одна рептилия не имеет меха. Все змеи - рептилии. Ни одна змея не имеет меха.

Все котята игривые. Некоторые домашние животные - котята. Некоторые домашние животные - игривые.

Ни одна домашняя работа не весела. Некоторое чтение - домашняя работа. Некоторое чтение не весело.

Ни одна здоровая еда не полнит. Все торты полнят. Ни один торт не здоровая еда.

Camestres

Все лошади имеют вздутие живота. Ни один человек не имеет вздутия живота. Ни один человек не лошадь.

Ни один ленивый человек не сдаёт экзамены. Некоторые студенты сдают экзамены. Некоторые студенты не ленивы.

Все информативные вещи полезны. Некоторые сайты не полезны. Некоторые сайты не информативны.

Все фрукты питательны. Все фрукты вкусны. Некоторые вкусные продукты питательны

Некоторые кружки красивы. Все кружки полезны. Некоторые полезные вещи красивы.

Все прилежные мальчики в этой школе рыжие. Некоторые прилежные мальчики в этой школе - пансионеры. Все прилежные мальчики пансионеры в этой школе рыжие.

Felapton

Ни один кувшин в этом шкафу не нов. Все кувшины в этом шкафу треснутые. Некоторые треснутые вещи в этом шкафу не новы.

Некоторые кошки бесхвосты. Все кошки - млекопитающие. Некоторые млекопитающие бесхвосты.

Ни одно дерево не съедобно. Некоторые деревья зелёные. Некоторые зелёные вещи не съедобны.

Bramantip

Все яблоки в моём саду полезны. Все полезные фрукты зрелы. Некоторые зрелые фрукты - яблоки в моём саду.

Все яркие цветы ароматны. Ни один ароматный цветок не выращен в помещении. Ни один выращенный в помещении цветок не ярок.

Некоторые небольшие птицы питаются мёдом. Все питающиеся мёдом птицы цветные. Некоторые цветные птицы небольшие.

Ни один человек не совершенен. Все совершенные существа мифические. Некоторые мифические существа не люди.

Fresison

Ни один компетентный человек не ошибается. Некоторые ошибающиеся люди работают здесь. Некоторые работающие здесь люди некомпетентны.

В соответствии с правилами, формы могут быть преобразованы в другие формы, и все формы могут быть преобразованы в одну из форм первой фигуры.

История

Учение о силлогизме впервые изложено у Аристотеля в его «Первой аналитике». Он говорит лишь о трёх фигурах категорического силлогизма, не упоминая о возможной четвёртой. Особенно подробно он рассматривает роль модальности суждений в процессе умозаключения. Преемник Аристотеля, основатель ботаники Теофраст , по словам Александра Афродизийского (в его комментарии к первой «Аналитике» Аристотеля), прибавил ещё пять модусов (modi) к первой фигуре силлогизма; эти пять модусов впоследствии были выделены Клавдием Галеном (жившим во II-м в. н. э.) в особую четвёртую фигуру. Кроме того, Теофраст и его ученик Евдем занялись анализом условного и разделительного силлогизмов. Они допустили пять видов умозаключений: два из них соответствуют условному силлогизму, а три - разделительному, который они рассматривали как видоизменение условного силлогизма. Этим и заканчивается развитие учения о силлогизме в древности, если не считать того добавления, которое сделали стоики в учении об условном силлогизме. По словам Секста Эмпирика , стоики признавали некоторые виды условного и разделительного силлогизма αναπόδεικτοι , то есть не нуждающимися в доказательствах, и рассматривали их как прототипы силлогизма (как, например, смотрит на силлогизм Зигварт). Стоики признавали пять видов подобных силлогизмов, совпадающих с Теофрастовыми. Секст Эмпирик приводит следующие примеры для этих пяти видов:

  1. Если наступил день, то имеется свет; но теперь день, следовательно, имеется свет.
  2. Если наступил день, то имеется свет, но света нет, следовательно, нет и дня.
  3. Не может быть (одновременно) дня и ночи, но день наступил, следовательно, нет ночи.
  4. Может быть или день, или ночь, но теперь день, следовательно, нет ночи.
  5. Может быть или день, или ночь, но ночи нет, следовательно, теперь день.

У Секста Эмпирика и скептиков вообще мы встречаемся и с критикой силлогизма, но цель критики - доказательство невозможности доказательства вообще, в том числе и силлогистического. Схоластическая логика ничего существенного не добавила к учению о силлогизмах; она лишь порвала ту связь с теорией познания, которая существовала у Аристотеля и тем превратила логику в чисто формальное учение. Образцовым руководством логики в средние века было сочинение Марциана Капеллы , образцовым комментарием - сочинения Боэция . Некоторые из комментариев Боэция занимаются специально учением о силлогизмах, например «Introductio ad categoricos syllogismos», «De syllogismo categorico» и «De syllogismo hypothetico». Сочинения Боэция имеют некоторое историческое значение; они способствовали также установлению логической терминологии. Но в то же самое время именно Боэций придал учениям логическим характер чисто формальный.

«логический квадрат»

Из эпохи схоластической философии по отношению к учению о силлогизме внимания заслуживает Фома Аквинский († 1274), в особенности его подробный анализ ложных умозаключений («De fallaciis»). Сочинение по логике, имевшее некоторое историческое значение, принадлежит византийцу Михаилу Пселлу . Он предложил так называемый «логический квадрат», в коем наглядно выражается отношение различных видов суждений. Ему принадлежат названия различных modi (греч. τρόποι ) фигур. Эти названия, латинизированные, перешли в западную логическую литературу.

Михаил Пселл, следуя Теофрасту, пять modi четвёртой фигуры относил к первой. Название видов имело у него в виду мнемонические цели. Ему же принадлежит и общеупотребительное обозначение буквами количества и качества суждений (а, е, i, о). Учения логические у Пселла носят формальный характер. Сочинение Пселла было переведено Уильямом из Шервуда и получило распространение благодаря переделке Петра Испанского (папы Иоанна XXI). У Петра Испанского в его учебнике заметно то же стремление к мнемотехническим правилам. Латинские названия видов фигур, приводимые в формальных логиках, взяты у Петра Испанского. Пётр Испанский и Михаил Пселл представляют собой расцвет формальной логики в средневековой философии. С эпохи Возрождения начинается критика формальной логики и силлогистического формализма

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

Силлогизм в современной логике

Силлогизм преобладал в логике до XIX века и имел ограниченное приложение в частности из-за привязки к категорическому силлогизму. Заменой силлогизму служит более простая и мощная

Логика: учебник для юридических вузов Кириллов Вячеслав Иванович

1. Состав простого категорического силлогизма

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

1. Обвиняемый (М ) имеет право на защиту (Р ).

2. Бобров (S ) - обвиняемый (М ).

____________________

3. Бобров (S ) имеет право на защиту (Р ).

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

Меньшим термином силлогизма называется понятие, которое в заключении является субъектом (в нашем примере понятие «Бобров»). Б?льшим термином силлогизма называется понятие, которое в заключении является предикатом («имеет право на защиту»). Меньший и больший термины называются крайними и обозначаются соответственно латинскими буквами S (меньший термин) и Р (больший термин).

Каждый из крайних терминов входит не только в заключение, но и в одну из посылок. Посылка, в которую входит меньший термин, называется меньшей посылкой , посылка в которую входит больший термин, называется большей посылкой . В нашем примере большей посылкой будет первое суждение (1), меньшей - второе суждение (2).

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

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

Посылки различаются не их местом в силлогизме, а входящими в них терминами.

Вывод в силлогизме был бы невозможен, если бы в нем не было среднего термина. Средним термином силлогизма называется понятие, входящее в обе посылки и отсутствующее в заключении (в нашем примере - «обвиняемый»). Средний термин обозначается латинской буквой М (от латинского medius - «средний»).

Средний термин связывает два крайних термина. Отношение крайних терминов (субъекта и предиката) устанавливается благодаря их отношению к среднему термину.

2. Аксиома силлогизма

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

В приведенном примере - все, что утверждается относительно всех обвиняемых, утверждается и относительно конкретного обвиняемого (см. в круговых схему 31).

Рассмотрим силлогизм:

Обвиняемый (М Р ).

Куницын (S ) - обвиняемый (М ).

__________________

Куницын (S ) не обязан доказывать свою невиновность (Р ).

В этом силлогизме все, что отрицается относительно каждого обвиняемого, отрицается и относительно конкретного лица (схема 32).

Схема 31

Схема 32

Вопросы для самопроверки

1. Какое умозаключение называется простым категорическим силлогизмом? Приведите его определение.

2. Какие термины входят в состав категорического силлогизма? Какая посылка называется большей и какая - меньшей?

3. Какая аксиома обосновывает вывод в категорическом силлогизме? Как она формулируется?

Из истинных посылок не всегда можно получить истинное заключение. Его истинность обусловлена правилами силлогизма. Этих правил пять: три относятся к терминам и два - к посылкам.

Правила терминов.

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

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

2-е правило: средний термин должен быть распределен хотя бы в одной из посылок . Если средний термин не распределен ни в одной из посылок, то связь между крайними терминами остается неопределенной.

Например, в посылках «Некоторые юристы (М- ) - члены коллегии адвокатов (Р )», «Все сотрудники нашего коллектива (S ) - юристы (М- )» средний термин (М ) не распределен в большей посылке, так как является субъектом частного суждения, и не распределен в меньшей посылке как предикат утвердительного суждения. Следовательно, средний термин не распределен ни в одной из посылок, поэтому необходимую связь между крайними терминами (S и Р ) установить нельзя, что видно из схемы 33, на которой изображены три возможных случая: 1) «Ни один сотрудник нашего коллектива не является членом коллегии адвокатов» (S 1); 2) «Некоторые сотрудники нашего коллектива - члены коллегии адвокатов» (S 2); 3) «Все сотрудники нашего коллектива члены коллегии адвокатов» (S 3).

Схема 33

3-е правило: термин, не распределенный в посылке, не может быть распределен и в заключении.

Например:

Нравственные нормы (М Р+ ).

Нравственные нормы (М ) - формы социальной регуляции (S- ).

_____________________

Некоторые формы социальной регуляции (S- ) не санкционируются государством (Р+ ).

Меньший термин (S ) не распределен в посылке (как предикат утвердительного суждения), поэтому он не распределен и в заключении (как субъект частного суждения). Делать вывод с распределенным субъектом в форме общего суждения («Ни одна форма социальной регуляции не санкционируется государством») это правило запрещает.

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

Правила посылок.

1-е правило: хотя бы одна из посылок должна быть утвердительным суждением.

Из этого правила следует:

а) Из двух отрицательных посылок заключение с необходимостью не следует.

Например, из посылок «Студенты нашего института (М ) не изучают биологию (Р )», «Сотрудники НИИ (S ) не являются студентами нашего института (М )» нельзя получить необходимого заключения, так как оба крайних термина (S и Р ) исключаются из среднего. Поэтому средний термин не может установить определенного отношения между крайними терминами. В заключении меньший термин (М ) может полностью или частично входить в объем большего термина (Р) или полностью исключаться из него. В соответствии с этим возможны три случая: 1) «Ни один сотрудник НИИ не изучает биологию (S 1 ); 2) «Некоторые сотрудники НИИ изучают биологию» (S 2 ); 3) «Все сотрудники НИИ изучают биологию» (S 3 ) (схема 34).

Схема 34

Схема 35

б) Если одна из посылок - отрицательное суждение, то и заключение должно быть отрицательным.

Например:

Судья, являющийся родственником потерпевшего (М ), не может участвовать в рассмотрении дела (Р ).

Судья К. - родственник потерпевшего (М ).

____________________

Судья К. (S ) не может участвовать в рассмотрении дела (Р ).

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

2-е правило: хотя бы одна из посылок должна быть общим суждением.

Из правила следует:

а) Из двух частных посылок заключение с необходимостью не следует.

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

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

Если одна посылка - частноугвердительная, а другая - частноотрицательная (IO или OI ), то в таком силлогизме распределенным будет только один термин - предикат частноотрицательного суждения (1). Если этим термином будет средний, то вывода сделать нельзя, так, согласно 2-му правилу посылок, заключение должно быть отрицательным. Но в этом случае предикат заключения должен быть распределен, что противоречит 3-му правилу терминов: больший термин, не распределенный в посылке, окажется распределенным в заключении; если же больший термин распределен (2), то вывода не следует согласно 2-му правилу терминов.

1) Некоторые М(-) есть Р(-).

Некоторые S(-) не есть М(+).

2) Некоторые М(-) не есть Р(+).

Некоторые S(-) есть М(-).

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

б) Если одна из посылок - частное суждение, то и заключение должно быть частным.

Если одна посылка общеугвердительная, а другая - частноутвердительная (AI, IA ), то в них распределен только один термин - субъект общеугвердительного суждения.

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

Все студенты нашего института (М+ ) изучают логику (Р- ).

S- ) - студенты нашего института (М- ).

_________________________

Некоторые сотрудники милиции (S- ) изучают логику (Р- ).

Если одна из посылок утвердительная, а другая - отрицательная, причем одна из них частная (EI, АО, ОА ), то распределенными окажутся два термина: субъект и предикат общеотрицательного суждения (EI ) или субъект общего и предикат частного суждения (АО, ОА ). Но в том и другом случае, согласно 2-му правилу посылок, заключение будет отрицательным, т. е. суждением с распределенным предикатом. Атак как вторым распределенным термином должен быть средний (2-е правило терминов), то меньший термин в заключении окажется нераспределенным, т. е. заключение будет частным. Например:

Все врачи (Р+ ) имеют медицинское образование (М- ).

Некоторые из присутствующих (S- ) не имеют медицинского образования (М+ ).

_____________________

Некоторые из присутствующих (S- ) не врачи (Р+ ).

Вопросы для самопроверки

1. Назовите правила терминов и посылок простого категорического силлогизма.

2. К каким логическим ошибкам ведет нарушение правил?

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

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

Во второй фигуре - место предиката в обеих посылках.

В третьей фигуре - место субъекта в обеих посылках.

В четвертой фигуре - место предиката в большей и место субъекта в меньшей посылках.

Эти фигуры исчерпывают все возможные комбинации терминов.

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

Каждая фигура имеет свои особые правила, которые выводятся из общих.

Правила 1-й фигуры:

2. Меньшая посылка - утвердительное суждение.

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

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

Теперь докажем 1-е правило. Так как средний термин в этой фигуре занимает место субъекта в большей и место предиката в меньшей посылке, то, согласно 2-му правилу терминов, он должен быть распределен хотя бы в одной из посылок. Но меньшая посылка - утвердительное суждение. Значит, средний термин в ней не распределен. Но в таком случае он должен быть распределен в большей посылке, а для этого она должна быть общим суждением (в частной посылке субъект не распределен).

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

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

Например:

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

Н. (S ) лишен свободы (М ).

______________________

Н. (S ) имеет право на гуманное обращение и уважение достоинства, присущего человеческой личности (Р ).

Правила 2-й фигуры:

1. Б?льшая посылка - общее суждение.

2. Одна из посылок - отрицательное суждение.

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

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

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

Например:

Подстрекателем (Р ) признается лицо, склонившее другое лицо к совершению преступления (М ).

Н. (S ) не признается лицом, склонившим другое лицо к совершению преступления (М ).

__________________

Н. (S ) не является подстрекателем (Р ).

Правила 3-й фигуры:

1. Меньшая посылка - утвердительное суждение.

2. Заключение - частное суждение.

1-е правило доказывается так же, как 2-е правило 1-й фигуры. Но если меньшая посылка - утвердительное суждение, то его предикат (меньший термин силлогизма) не распределен. Термин, не распределенный в посылке, не может быть распределен в заключении. Значит, заключение должно быть частным суждением.

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

Осмотр места происшествия (М ) имеет одной из своих задач обнаружение следов преступления (Р ).

Осмотр места происшествия (М ) - следственное действие (S ).

_____________________

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

В практике рассуждения 3-я фигура применяется сравнительно редко.

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

Захват заложника (Р М ).

Преступление против общественной безопасности (М S ).

_____________________________

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

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

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

Захват заложника (S ) - преступление против общественной безопасности (М ).

_____________________________

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

Так как ход рассуждения по 4-й фигуре не типичен для процесса мышления, правила этой фигуры нами не рассматриваются.

5. Модусы силлогизма

Посылками силлогизма могут быть суждения, различные по качеству и количеству: общеутвердительные (А ), общеотрицательные (Е ), частноутвердительные (I ) и частноотрицательные (О ).

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

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

Очевидно, в четырех фигурах число комбинаций равно 64.

Однако не все модусы согласуются с общими правилами силлогизма. Например, модусы, заключенные в скобках, противоречат 1-му и 2-му правилам посылок, модус IA не проходит по первой и второй фигурам, так как противоречит 2-му правилу терминов, и т. д. Поэтому, отобрав только те модусы, которые согласуются с общими правилами силлогизма, получим 19 модусов, которые называются правильными. Их принято записывать вместе с заключением:

Правильные модусы можно вывести, исключив комбинации посылок, не соответствующие общим правилам, и те, которые не соответствуют правилам фигур.

Вопросы для самопроверки

1. Что такое фигура силлогизма? Какое место занимает в них средний термин?

2. Дайте характеристику 1-й, 2-й и 3-й фигурам.

3. Каким особым правилам подчиняются фигуры силлогизма?

4. Что называется модусом силлогизма?

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

Рассмотрим наиболее распространенные случаи.

1. Вывод из двух частных посылок.

Некоторые адвокаты (М- Р- ).

Некоторые юристы (S- ) - адвокаты (М+ ).

________________________

Некоторые юристы (S- ) - выпускники Московского университета (Р- ).

В этом примере меньшая посылка - частноутвердительное выделяющее суждение («Некоторые юристы, и только юристы, являются адвокатами») с распределенным предикатом (средним термином силлогизма). Так как средний термин в одной из посылок распределен, заключение из двух частных посылок следует с необходимостью. Легко проверить, что все другие общие правила силлогизма соблюдаются.

2. Вывод по 1-й фигуре, в которой б?льшая посылка - частное суждение.

Необходимость вывода в этом силлогизме может быть показана на приведенном примере: средний термин в меньшей посылке распределен.

3. Одна из посылок - частное суждение, заключение - общее суждение .

Некоторые юристы (Р+ ) - следователи (М+ ).

Все участники совещания (S+ ) - следователи (М- ).

________________________

Все участники совещания (S+ ) - юристы (Р- ).

Б?льшая посылка в этом примере - частноутвердительное выделяющее суждение с распределенным предикатом - средним термином силлогизма.

4. Вывод по 2-й фигуре из двух утвердительных посылок.

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

5. Вывод по 1-й фигуре, в которой меньшая посылка - отрицательное суждение.

Лицо, совершившее преступление (М+ ), привлекается к уголовной ответственности (Р+ ).

Н. (S+ ) не совершил преступления (М+ ).

_____________________

Н. (S+ ) не привлекается к уголовной ответственности (Р+ ).

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

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

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

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

Хулиганство (Р+ ) - это умышленные действия, грубо нарушающие общественный порядок и выражающие явное неуважение к обществу (М+ ).

Действия Н. (S+ ) являются умышленными, грубо нарушающими общественный порядок и выражающими явное неуважение к обществу (М- ).

____________________

Действия Н. (S ) являются хулиганством (Р ).

Заключение получено из двух утвердительных посылок по 2-й фигуре.

Вопросы для самопроверки

1. Как распределены термины в общеутвердительных, общеотрицательных, частноутвердительных и частноотрицательных выделяющих суждениях?

2. Почему силлогизмы с выделяющими посылками не подчиняются некоторым правилам?

Из книги Логика: конспект лекций автора Шадрин Д А

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

Из книги Логика автора Шадрин Д А

40. Понятие силлогизма. Простой категорический силлогизм Слово «силлогизм» произошло от греческого syllogysmos, что означает «вывод». Очевидно, что силлогизм – это выведение следствия, заключения из определенных посылок. Силлогизм бывает простым, сложным, сокращенным и

Из книги Оратор автора Цицерон Марк Туллий

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

Из книги Искусство быть автора Фромм Эрих Зелигманн

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

Из книги Введение в логику и научный метод автора Коэн Моррис

3. Простой разговор Одно из многих препятствий в изучении искусства жить - это сведение всего к тривиальному разговору.Что такое тривиальный? Дословно означает «имеющий общее место» (от латинского trivia - точка пересечения трех дорог); он обычно отличается пустотой,

Из книги Сочинения, том 20 («Анти-Дюринг», «Диалектика природы») автора Энгельс Фридрих

Глава IV. Категорический силлогизм § 1. Определение категорического силлогизма Рассмотрим суждение «Том Муни представляет опасность для общества». Что может послужить адекватным основанием для этого суждения? Например, аргумент можно выстроить следующим образом: «Все

Из книги Логика и аргументация: Учебн. пособие для вузов. автора Рузавин Георгий Иванович

Глава IV. Категорический силлогизм 1. Первые четыре аксиомы категорического силлогизма не являются независимыми друг от друга. Докажите вторую, третью и четвертую аксиомы, допустив первую аксиому вместе с общим принципом контрапозиции, а также процессами обращения и

Из книги Философский словарь автора Конт-Спонвиль Андре

VI. Простой и сложный труд Г-н Дюринг открыл у Маркса очень грубую экономическую ошибку, достойную ученика младшего класса и в то же время заключающую в себе общественно-опасную социалистическую ересь. Теория стоимости Маркса представляет собой «не более как обычное…

Из книги Логика в вопросах и ответах автора Лучков Николай Андреевич

Из книги Логика: Учебник для студентов юридических вузов и факультетов автора Иванов Евгений Акимович

Простой (Simle) Неделимый, не поддающийся разъятию на составные части (Лейбниц называет простым то, что не имеет частей). Слово «простой» в расширительном значении употребляется также для обозначения того, что легко поддается пониманию или выполнению. Возможно, отсюда

Из книги Логика. Учебное пособие автора Гусев Дмитрий Алексеевич

Из книги автора

1. Простой категорический силлогизм Наиболее распространенной и важной формой опосредованного умозаключения из простых атрибутивных суждений выступает простой категорический силлогизм (от греч. syllogismos - умозаключение, выведение). Приводившийся выше пример с Сократом

Из книги автора

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

Из книги автора

1. Простой категорический силлогизм Структура простого категорического силлогизма1. Выделите структуру (посылки и заключение, больший, меньший и средний термины, б?льшую и меньшую посылку) простого категорического силлогизма в следующем примере:«Все таможенники -

Из книги автора

2. Сложный категорический силлогизм 1. Из следующих силлогизмов, связанных между собой, постройте сорит:«Все юристы имеют специальное образование.Все адвокаты - юристы.Следовательно, все адвокаты имеют специальное образование». «Все адвокаты имеют специальное

Из книги автора

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

Категорический силлогизм (или просто: силлогизм) - это дедуктивное умозаключение, в котором из двух категорических высказываний выводится новое категорическое высказывание.

Логическая теория такого рода умозаключений называется силлогистикой. Она была создана ещё Аристотелем и долгое время служила образцом логической теории вообще.

В силлогистике выражения «Все … есть …», «Некоторые … есть …», «Все … не есть …» и «Некоторые … не есть…» рассматриваются как логические постоянные , т.е. берутся как единое целое. Это не высказывания, а определённые логические формы , из которых получаются высказывания путём подстановки вместо многоточий каких-то имён. Подставляемые имена называются терминами силлогизма.

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

Примером силлогизма может быть:

Все жидкости упруги.

Вода - жидкость.

Вода упруга.

В каждом силлогизме должно быть три термина: меньший, больший и средний.

Меньшим термином называется субъект заключения (в примере таким термином является термин «вода»).

Большим термином именуется предикат заключения («упруга»). Термин, присутствующий в посылках, но отсутствующий в заключении, называется средним («жидкость»). Меньший термин обозначается обычно буквой S , больший - буквой Р и средний - буквой М. Посылка, в которую входит больший термин, называется большей. Посылка с меньшим термином называется меньшей. Большая посылка записывается первой, меньшая - второй. Логическая форма приведённого силлогизма такова:

Все М есть Р.

Все S есть М.

Все S есть Р.

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

По схеме первой фигуры построен силлогизм:

Все птицы (М) имеют крылья (Р).

Все страусы (S) - птицы (М).

Все страусы имеют крылья.

По схеме второй фигуры построен силлогизм:

Все рыбы (Р) дышат жабрами (М).

Киты (S) не дышат жабрами (М).

Все киты не рыбы.

По схеме третьей фигуры построен силлогизм:

Все бамбуки (М) цветут один раз в жизни (Р).

Все бамбуки (М) - многолетние растения (S).

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

По схеме четвёртой фигуры построен силлогизм:

Все рыбы (Р) плавают (М).

Все плавающие (М) живут в воде (S).

Некоторые живущие в воде - рыбы.

Посылками и заключениями силлогизмов могут быть категорические суждения четырех видов: SaP, SiP, SeP и SoP.

Модусами силлогизма называются разновидности фигур, отличающиеся характером посылок и заключения.

Всего с точки зрения всевозможных сочетаний посылок и заключения в каждой фигуре насчитывается 64 модуса. В четырех фигурах 4 x 64 = 256 модусов.

Силлогизмы, как и все дедуктивные умозаключения, делятся на правильные и неправильные . Задача логической теории силлогизма - систематизировать правильные силлогизмы, указать их отличительные черты.

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

1-я фигура: Barbara, Celarent, Darii, Ferio, Barbari, Celaront ;

2-я фигура: Cesare, Camestres, Festino, Baroco, Cesaro, Camestros.

В каждом из этих названий содержатся три гласных буквы. Они указывают, какие именно категорические высказывания используются в модусе в качестве его посылок и заключения. Так, название Celarent означает, что в этом модусе первой фигуры большей посылкой является общеотрицательное высказывание (SeP) , меньшей - общеутвердительное (SaP) и заключением - общеотрицательное высказывание (SeP).

Из 24 правильных модусов силлогизма 5 являются ослабленными : заключениями в них являются частноутвердительные или частноотрицательные высказывания, хотя в случае других модусов эти же посылки дают общеутвердительные или общеотрицательные заключения (ср. модусы Cesare и Cesaro второй фигуры). Если отбросить ослабленные модусы, остаётся 19 правильных модусов силлогизма.

Для оценки правильности силлогизма могут использоваться круги Эйлера, иллюстрирующие отношения между объёмами имён.

Возьмём, для примера, силлогизм:

Все металлы (М) ковки (Р).

Железо (S) - металл (М).

Железо (S) ковко (Р).

Отношения между тремя терминами этого силлогизма (модус Barbara) представляются тремя концентрическими кругами. Эта схема интерпретируется так: если все М (металлы) входят в объём Р (ковких тел), то с необходимостью S (железо) войдёт в объём Р (ковких тел), что и утверждается в заключении «Железо ковко».

Другой пример силлогизма:

Все рыбы (Р) не имеют перьев (М).

У всех птиц (S) есть перья (М).

Ни одна птица (S) не является рыбой (Р).



Отношения между терминами данного силлогизма (модус Cesare) представлены на рисунке. Он истолковывается так: если все S (птицы) входят в объём М (имеющие перья), а М не имеет ничего общего с Р (рыбы), то у S (птицы) нет ничего общего с Р (рыбы), что и утверждается в заключении.

Пример неправильного силлогизма:

Все тигры (М) - млекопитающие (Р).

Все тигры (М) - хищники (S).

Все хищники (S) - млекопитающие (Р).



Отношения между терминами данного силлогизма могут быть представлены двояко, как это показано на рисунке. И в первом, и во втором случаях все М (тигры) входят в объём Р (млекопитающие) и все М входят также в объём S (хищники). Это соответствует информации, содержащейся в двух посылках силлогизма. Но отношение между объёмами Р и S может быть двояким. Охватывая М , объём S может полностью входить в объём Р или объём S может лишь пересекаться с объёмом Р. В первом случае можно было бы сделать общее заключение «Все хищники - млекопитающие», но во втором случае правомерно только частное заключение «Некоторые хищники - млекопитающие». Информации, позволяющей сделать выбор между этими двумя вариантами, в посылках не содержится. Значит, мы не вправе делать общее заключение. Силлогизм не является правильным.

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

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

Для оценки правильности рассуждения в энтимеме следует восстановить её в полный силлогизм.

«Все адвокаты – юристы. - Большая посылка

Петров – адвокат. - Меньшая посылка

Значит, Петров – юрист». - Заключение

Об истинности данного вывода можно судить, проанализировав проиллюстрированные выше отношения между понятиями «Петров» - S, «адвокат» - M, «юрист» - P. Если объем понятия «Петров» входит в объем понятия «адвокат», а объем понятия «адвокат» - в объем понятия «юрист», то объем понятия «Петров» входит в объем понятия «юрист».

Структура ПКС:

В ПКС различают три термина: меньший, больший и средний. Меньший термин – S – субъект заключения. Больший термин – Р – предикат заключения. Средний термин – М – термин, входящий в посылки, и не входящий в заключение. Меньшая посылка – посылка, в которую входит меньший термин S. Большая посылка – посылка, в которую входит больший термин Р. В стандартной форме ПКС сначала записывают большую посылку, под ней меньшую. Проводят черту, под чертой – заключение.

В примере 1 субъектом заключения является понятие «Петров», предикатом заключения является понятие «юрист», поэтому меньший термин S – это «Петров», больший термин Р – «юрист». Понятие «адвокат» входит в обе посылки и не входит в заключение, поэтому «адвокат» - средний термин М. Меньшая посылка – «Петров – адвокат», большая посылка – «Все адвокаты – юристы». Заключение – «Петров – юрист».

Общие правила простого категорического силлогизма:

Правила посылок :

1. Из двух отрицательных суждений нельзя сделать определенного вывода.
/Пример 2: «Ни один прокурор – не является адвокатом. Муравьев – не прокурор. Значит(?), он – (не) адвокат» /

2. Если одна посылка отрицательная, то и заключение будет отрицательным.
/Пример 3: «Все адвокаты – юристы. Прокуроров – не юрист. Значит, он - не адвокат» /

3. Из двух частных суждений нельзя сделать определенного вывода.
/Пример 4: «Некоторые люди – милосердные. Некоторые люди – жестокие. Значит (?), жестокие – милосердные» /

4. Если одна посылка частная, то и заключение будет частным.
/Пример 5: «Все млекопитающие – позвоночные. Некоторые водные животные – млекопитающие. Значит, некоторые водные животные – позвоночные» /

Правила терминов :

1. В силлогизме должно быть только три термина.

/Пример 6: «Все адвокаты – юристы, а Петров – звезда эстрады» - нет общего термина, поэтому нет никакой связи между этими суждениями и нельзя сделать никакого вывода/.

/Пример 7: «Материя вечна. Шелк – материя. Следовательно, шелк вечен» - слово «материя» обозначает здесь два разных понятия, значит, вывода сделать нельзя/.

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

3. Крайний термин (S, Р) распределен в заключении тогда и только тогда, когда он распределен в посылках.

Пример 8: P+ М-

«Все преступники должны нести ответственность за свои деяния».

«Петров должен нести ответственность за свои деяния».

«Петров – преступник».

В данном примере нарушено второе и третье правила терминов, так как средний термин М не распределен ни в одной из посылок, а больший термин Р не распределен в заключении, но распределен в посылке.

Часто для того, чтобы убедиться в правильности ПКС бывает достаточно проверить частные правила – правила фигур.

Правила фигур :

В зависимости от расположения среднего термина выделяют четыре фигуры ПКС:

Определив фигуру ПКС, следует проверить выполнение правила соответствующей фигуры.

Правило первой фигуры: Большая посылка должна быть общим суждением, а меньшая – утвердительным.

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

Правило второй фигуры: Большая посылка должна быть общим суждением, одна из посылок – отрицательная.

В примере 8 дан ПКС второй фигуры. В нем большая посылка – общее суждение, но нет ни одной отрицательной посылки. Правило второй фигуры не соблюдается. Заключение носит недостоверный характер.

Правило третьей фигуры: Меньшая посылка – утвердительное суждение, а заключение – частное.

Пример 9: M P

Кит – водное животное.

Кит – млекопитающее.

Некоторые млекопитающие – водные животные.

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

Пример 10: P M

Все слоны - млекопитающие

Ни одно млекопитающее не есть беспозвоночное.

Ни одно беспозвоночное не есть слон.

Теория к задаче 29 : Энтимема – это сокращенный силлогизм. Различают энтимемы с пропущенной большей посылкой, с пропущенной меньшей посылкой и с пропущенным заключением. Суждения, составляющие энтимему, соединяются между собой выражениями: «так как», «потому что», «ибо», «поскольку», «следовательно», «значит», «поэтому и», «а», «но», «да» и т.д.

Задача 29 : Энтимема. Восстановить в полный простой категорический силлогизм, и проверить его.

Пример:Угон автомобиля карается законом, так как всякая кража карается законом.

Решение: Определяем вид энтимемы (с пропущенной большей посылкой, с пропущенной меньшей посылкой или с пропущенным заключением). Ясно, что в данной энтимеме имеется заключение - «Угон автомобиля карается законом». Имеется также большая посылка, содержащая больший термин «карается законом». Значит, в данном случае пропущена меньшая посылка. Восстанавливаем. Проставляем термины. Определяем фигуру. Проверяем правила.

Всякая кража карается законом. Общие правила соблюдены.

S+ M- Первая фигура.

Угон автомобиля – кража. Правило первой

S+ P- фигуры соблюдено.

Угон автомобиля карается законом. Умозаключение правильное.

Тема 9. Умозаключения из сложных суждений

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

Теория к задаче 31 Чисто–условные умозаключения – это умозаключения, в котором все посылки и заключение являются условными суждениями.

Задача 31 : Постройте приведенный текст в форме чисто-условного умозаключения, сделайте вывод, постройте схему умозаключения.

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

Решение: Для того, чтобы построить это рассуждение в форме чисто-условного, мы можем ввести обозначения: А - «Студент хорошо усвоит логику». В – «Он научится строить правильные рассуждения». С – «Его речь станет более убедительной». Тогда данная мысль примет форму чисто-условного умозаключения: «Если студент хорошо усвоит логику, тогда он научится строить правильные рассуждения. Если студент научится строить правильные рассуждения, то его речь станет более убедительной». Вывод: «Значит, если студент хорошо усвоит логику, то его речь станет более убедительной».

Схема умозаключения: (А®В)Ù(В®С)

Значит, А®С.

Теория к задачам 32-33 Условно-категорический силлогизм (УКC) – это умозаключение, в котором одна посылка – условное суждение, а другая посылка и заключение – категорические суждения. В нем имеются два правильных модуса (дающих достоверный вывод) и два неправильных модуса (не дающих достоверного вывода). Следует отметить, что логические выражения правильных модусов являются логическими законами, а логические выражения неправильных модусов не являются логическими законами.

Задача 32 Условно-категорический силлогизм.Сделайте вывод, запишите формулу, определите модус и характер вывода.

Пример: «Если у человека высокая температура, то он болен. Этот человек болен».

Вывод: «Возможно, у человека высокая температура».

Формула: ((А®В)ÙВ)®А.

Модус: Неправильный утверждающий.

Характер вывода: Недостоверный.

Задача 33 По данной посылке постройте условно-категорический силлогизм по правильным и неправильным модусам.

Пример: «Если идет дождь, то асфальт мокрый».

А) правильный утверждающий модус: ((А®В)ÙА)®В.

В данный момент идет дождь.

Сейчас асфальт мокрый». Вывод носит достоверный характер.

Б) Правильный отрицающий модус: ((А®В)ÙØВ)®ØА.

«Если идет дождь, то асфальт мокрый.

В данный момент асфальт не мокрый.

Сейчас нет дождя». Вывод носит достоверный характер.

В) неправильный утверждающий модус : ((А®В)ÙВ)®А.

«Если идет дождь, то асфальт мокрый.

В данный момент асфальт мокрый.

Возможно, идет дождь». Вывод носит недостоверный характер.

Г) неправильный отрицающий модус: ((А®В)ÙØА)®ØВ.

«Если идет дождь, то асфальт мокрый

В данный момент нет дождя.

Асфальт не мокрый». Вывод носит недостоверный характер.

Теория к задачам 34, 35 Разделительно-категорическим называют силлогизм (РКС), в котором одна посылка – разделительное суждение, а другая посылка или заключение – категорические суждения. РКС имеет две формы: ((АÚ В)ÙА)®ØВ – утверждающе-отрицающий модус; ((АÚВ)ÙØА)®В – отрицающе-утверждающий модус.

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

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

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

Задача 34 Разделительно-категорический силлогизм. Сделайте вывод. Запишите формулу, определите модус и характер вывода

Пример: «Животные бывают позвоночными или беспозвоночными.

Это животное не является позвоночным».

Решение: «Значит, оно беспозвоночное».

АÚВ отрицающе-утверждающий

ØВ модус.
А Вывод достоверный (правило модуса соблюдено).

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

Пример: «Простые суждения бывают утвердительными или отрицательными».

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

а) Утверждающую: б) Отрицающую:

«Это суждение отрицательное». «Это суждение не отрицательное».

«Значит, оно не утвердительное». «Значит, оно утвердительное».

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

Вывод в обоих случаях достоверный, так как все правила соблюдены.

Теория к задаче 36 Дилемма – это условно-разделительное умозаключение, в котором одна посылка состоит из двух условных суждений, а другая является разделительным суждением. Дилеммы бывают конструктивными и деструктивными. Конструктивные дилеммы характеризуются тем, что мысль в них движется от утверждения вариантов оснований условных суждений к утверждению следствий. Конструктивные дилеммы бывают простыми и сложными. В простой конструктивной дилемме первая посылка состоит из двух условных суждений, основания которых различны, а следствия совпадают; вторая посылка содержит дизъюнкцию обоих оснований:

(А®В)Ù(С®В)

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

(А®В)Ù(С®D)

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

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

(А®В)Ù(А®С)

ØВÚØС

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

(А®В)Ù(С® D)

ØВÚØ D

Задача 36 . Определите вид дилеммы. Сделайте вывод, постройте схему. Определите характер вывода.

Пример: «Если заявление о преступлении является устным, то оно заносится в протокол, который подписывается следователем, прокурором или судьей, принявшим заявление; если заявление является письменным, то оно должно быть подписано лицом, от которого исходит. Но заявление о преступлении может быть устным или письменным».

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

Схема: (А ® В) Ù (С ® D)

А Ú С

Сложная конструктивная дилемма. Вывод достоверный.

Тема 10. Индуктивные умозаключения

Теория к задаче 37 : Все рассмотренные выше умозаключения были дедуктивными. Дедукция – умозаключение от более общего знания к менее общему. Дедуктивные умозаключения, как правило, строятся в форме простого категорического силлогизма, условно-категорического силлогизма или других вышеописанных стандартных форм рассуждений. /«Все адвокаты – юристы. Петров – адвокат. Значит, он – юрист». В данном случае мысль идет от знания обо всех адвоката к знанию о конкретном Петрове/.

Индуктивными называют умозаключения от менее общего знания к более общему. В индукции данные опыта «наводят» на общее. (От лат. Inductio –наведение).

Различают полную и неполную индукцию.

Полная индукция получается в случае, если, во-первых, исследованы все элементы класса предметов, и, во-вторых, установлено, что каждому из них принадлежит одно и то же свойство. /«Понедельник – солнечный день; вторник, среда, четверг, …, воскресенье были солнечными днями. Значит, вся неделя была солнечной»/. Полная индукция дает достоверный вывод.

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

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

При индуктивных умозаключениях возможны следующие ошибки:

а) «поспешное обобщение» - при исследовании явно недостаточного количества предметов класса /например, когда преподаватель, опросив трех студентов одной большой группы, и, не получив должных ответов, делает вывод о неподготовленности всей группы/;

б) «после этого, значит, по причине этого» - при неустановленности причинной связи между явлениями /«употреблять в пищу огурцы опасно для жизни, так как 99,9% людей, попавших в авто- и авиа- катастрофы, ели огурцы; 99,9% людей, умерших от различных заболеваний, если огурцы…»/ .

Методы выяснения причинной связи между явлениями (научной индукции) были открыты Фрэнсисом Бэконом и доработаны Джоном Стюартом Миллем. Существует пять основных методов выяснения причинной связи между явлениями: 1) метод единственного сходства; 2) метод единственного различия; 3) соединенный метод сходства и различия. 4) метод сопутствующих изменений; 5) метод остатков.

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

До 80-х годов XIX века существовало упрощенное представление о пищевых потребностях животного организма. Ученые утверждали, что организм нуждается только в белке и небольших количествах разных солей. В 1880 г. русский доктор Лунин Н.И. взял несколько десятков мышей и разделил их на подопытных и контрольных. Первых он стал кормить искусственным молоком, изготовленных из очищенных веществ, входящих в состав натурального молока, - белка, жира, казеина, сахара и соответствующих солей; других мышей, контрольных, - натуральным молоком. Подопытные мыши заболевали и гибли, контрольные оставались здоровыми. На основании этого Лунин сделал вывод, что в естественной пище присутствуют неизвестные еще вещества, которые необходимы для организма. Своими опытами, проведенными по методу различия, Н.И.Лунин положил начало учению о витаминах.