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

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

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

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

Например:

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

к совершению преступления (М)

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

к совершению преступления (М)

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

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

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

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

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

Осмотр места происшествия (М) имеет одной из своих задач

обнаружение следов преступления (Р)

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

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

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

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

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

2.если одна из посылок отрицательная то большая посылка должна быть общей.

Например:

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

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

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

Билет №8

1. Операция определения понятий. Логическая операция, раскрывающая содержание понятия путем перечисления

входящих в него признаков называется определением понятия или дефиницией.

Как известно содержание понятия - это совокупность существенных признаков

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

определяемого под ближайшее родовое понятие. Указание побочной части

фиксирует те особенные (видообразующие) признаки, которые отличают

определяемое от всех, с которыми оно соподчинено родовому понятию. Поэтому

стандартная процедура определения называется определением через ближайший

род и видообразующие признаки. Такое построение дефиниции не является

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

генетическое определение понятия.

Построение дефиниции должно подчиняться ряду правил.

1) Определение должно быть соразмерным.

следует перечислять только общие существенные признаки

предметов, мыслимых в определяемом.

2) Определение должно быть четким и ясным.

В определениях не должно содержаться метафор, сравнений, неизвестных

понятий.

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

Это правило является частным случаем предыдущего: оно предостерегает

против определение неизвестного понятия через однородное ему или

производное от него, которое, естественно, тоже не может считаться

известным. Пример "Логика—закон о логических принципах".

4) Определение по возможности не должно быть отрицательным.

То есть в определении понятия следует фиксировать наличие существенных

признаков мыслимых в нем предметов, а не их отсутствие. Например, суждение: “Реферат – не диссертация” хотя и справедливо, однако практически ничего не говорит о реальном

реферате.

Существуют операции, заменяющие определение (описание и

характеристика)

Описание состоит в том, чтобы полно и точно указать адресату

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

Описание выходит за круг чисто логических операций, оно апеллирует

скорее к чувственному восприятию конкретного предмета

Характеристика - операция, заменяющая определение тогда, когда оно

невозможно или не требуется. Характеристика состоит в том, что

перечисляются отличительные признаки или параметры предмета, имеющие

значение для адресата. Характеристика, в отличие от описания, не направлена

на создание наглядного образа мыслимого предмета.

2. Сведение модусов II, III и IV фигур к модусам I фигуры.

Билет №9

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

Виды деления. В настоящее время принято выделять два основных вида деления: таксономическое и мереологическое.

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

а) по видообразующему признаку (основанию).

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

б) дихотомическое – деление исходного объема на объемы противоречащих друг другу понятий.

Пример 1. Грибы можно разделить на съедобные и несъедобные.

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

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

Мереологическое деление. В отличие от таксономического деления, в процессе которого выявляются виды предметов некоторого рода, мереологическое деление есть расчленение некоторого предмета на части.

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

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

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

Где посылки пишутся над чертой, а вывод – под ней.

Им закон транзитивности, лежащий в основе всех непосредственных умозаключений, соответствует в чистом виде. Однако, существуют не имеющие структуры формы чисто условных умозаключений. Одна из них, «Если a, то b, если не-a, то тоже b» содержит предопределенный ответ, эквивалентный утверждению b.

Более значимыми являются бесструктурные модусы гипотетического силлогизма.

1. Утверждающий: «Если a, то b; a: b» и «Если a, то b; a: b».

   Если a, то b

   Известно что a

   Тогда b

2. Позволяет строить достоверные умозаключения от утверждения основания к утверждению следствия.

3. Вероятностно-утверждающий: «Если a, то b; b: вероятно a» и «Если a, то b; b: вероятно a». Не дает достоверного заключения (поскольку, при проверке, формула a → b ≡ b → a не оказывается тождественно истинной) и означает что, из утверждения следствия нельзя умозаключать достоверность причины (нельзя достоверно умозаключать от утверждения следствия, к утверждению его основания).

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

4. Отрицающий: «Если a, то b; не-b: не-a» и «Если a, то b; не-b (b): не-a». Позволяет строить достоверные умозаключения от отрицания следствия к отрицанию основания: нет следствия – небыло и основания.

5. Вероятностно-отрицающий: «Если a, то b; не-a: вероятно не-b» и «Если a, то b; не-a: вероятно b (не-b)». Означает что из отрицания основания невозвожно отрицать достоверность следствия (нельзя достоверно заключать от отрицания основания к отрицанию следствия).

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

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

S есть A или B, или C

A есть или A₁ или A₂

S есть или A₁ или A₂, или B, или C

Каждое такое S есть A, S есть B… является альтернативой. Пример:

Предложения бывают простыми и сложными

Сложные бывают сложносочиненными и сложноподчиненными

Предложения бывают простыми, сложносочиненными и сложноподчиненными

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

S бывают или A, или B, или C

Это S есть A

Это S не B и не C

Равносилен отрицающе-утверждающему.

S бывают или A, или B, или C

Это S не A и не B

Это S есть C

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

Если принято одно, другое опровергнуто Одно принято Другое опровергнуто

Если опровергнуто одно, принято другое Одно опровергнуто Другое принято

Которой легко пользоваться, вставив в нее истинные переменные. Например:

Земля или звезда, или планета

Она планета

И не звезда

Билет №10

1. Суждение, его логическая структура. Суждение, как и понятие, являясь структурой мышления, имеет свою внутреннюю структуру, однако более сложную, чем понятие. Элементами логической структуры суждения являются: субъект, предикат, связка и квантор. Субъект суждения - это понятие, отражающее предмет мысли, то, о чем мыслится в данном суждении. Обозначается буквой «S» (от лат. subjektum -лежащий в основе). Предикат суждения - это понятие, отражающее признак предмета мысли, то, что мыслится о субъекте суждения. Обозначается буквой «Р» (от лат. praedicatum - сказанный). Связка выражает отношение, которое существует в суждении между субъектом и предикатом. Она характеризует принадлежность предмету мысли какого-либо свойства, отраженного в предикате, или его отсутствие. Обозначается знаком «тире», а также может подразумеваться или быть выражена словом или группой слов: «есть», «суть», «не являются», «имеется» и т.д. Квантор (кванторное слово) указывает, относится ли признак, выраженный в предикате суждения, ко всему или к части объема понятия, выражающего субъект. Находится перед субъектом и обозначается словами «все», «некоторые», «многие», «ни один» и т.д. Однако квантор может в суждении и отсутствовать. Таким образом, каждое суждение состоит из трех основных элементов — субъекта, предмета и связки (двух терминов и связки). Каждый из этих членов суждения обязательно имеется или подразумевается во всех суждениях. Состав суждения можно выразить общей формулой:

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