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

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

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

СЛОЖНЫЕ И СЛОЖНОСОКРАЩЕННЫЕ СИЛЛОГИЗМЫ (полисиллогизмы, сориты, эпихейрема)

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

ИНДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ

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

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

1. Точно знать число предметов или явлений, подлежащих рассмотрению.

2. Убедиться, что признак принадлежит каждому элементу этого класса.

3. Число элементов изучаемого класса должно быть невелико.

ИНДУКТИВНЫЕ МЕТОДЫ

УСТАНОВЛЕНИЯ ПРИЧИННЫХ СВЯЗЕЙ

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

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

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

ВВЕДЕНИЕ

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

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

ПОНЯТИЕ ДОКАЗАТЕЛЬСТВА И ЕГО СТРУКТУРА

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

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

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

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

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

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

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

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

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

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

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

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

ПРЯМОЕ И КОСВЕННОЕ ДОКАЗАТЕЛЬСТВО

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

Например: Все космические тела подпадают под действие законов небесной механики.

Кометы - космические тела.

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

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

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

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

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

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

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

По общим правилам силлогизма : нарушены правила терминов силлогизма: имеет место учетверение терминов, поскольку в большей посылке термин М 1 – "материально поддерживать друг друга", а в меньшей посылке М 2 – "поддерживать друг друга", средний термин не распределен ни в одной из посылок.

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

С помощью контрпримера: если вместо понятия "G и F " подставить понятие "верные друзья", то будет получено ложное заключение из истинных посылок.

По модусам фигур : модус ААА – неправильный модус второй фигуры силлогизма.

С помощью схем : для этого запишем структуру посылок и заключения следующим образом:

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

Рис. 8.8

Рис. 8.9

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

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

Умозаключения из суждений с отношениями

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

Важнейшими логическими свойствами отношений являются рефлексивность, симметричность, транзитивность, функциональность (однозначность).

Рефлексивным называется такое отношение между предметами А и В , в котором предмет находится в таком же отношении и к самому себе. Если R обладает свойством рефлексивности, то оно выражается формулой

A RB → A RA ∩ B RB .

Например: "Если А ≡ В , то A ≡ А и В ≡ В ".

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

A RB → B RA .

Например, свойством симметричности обладает отношение "быть родственником": если А родственник В , то В – родственник А .

Транзитивным называется такое свойство отношений, когда при наличии этого отношения между предметами А и В , В и С можно установить это отношение между А и С , т.е. A RC . Логическое свойство транзитивности можно выразить формулой

(A RB ) ∩ (B RC ) → A RC .

Например:

А > В 6 > 4

В > С 4 > 2

А > С 6 > 2

Функциональным (однозначным) называется отношение в том, и только в том случае, если каждому значению отношения у отношения x Ry соответствует лишь одно-единственное значение х . Например: "x отец у ", так как у каждого человека (у ) имеется один-единственный отец.

Логическое свойство функциональности символически можно записать в виде следующей аксиомы:

(A RB ∩ C RB ) → А ≡ С .

Сокращенные, сложные сложносокращенные силлогизмы

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

Энтимема

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

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

Различают следующие виды энтимем:

а) с пропущенной большей посылкой, например:

б) с пропущенной меньшей посылкой, например:

Все химические элементы (М) имеют атомный вес (Р); (подразумевается)

Значит, гелий (5) имеет атомный вес (Р).

в) с пропущенным заключением, например:

Все химические элементы (М) имеют атомный вес (Р)

Структура энтимем:

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

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

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

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

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

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

• 1. Найти заключение и так его сформулировать, чтобы больший и меньший термины были четко выражены.
• 2. При нахождении посылок и заключения следует исходить из того, что заключение обычно помещается после слов "значит", "следовательно" и т.п. или перед словами "потому что", "ибо", "так как". Другое суждение, естественно, будет являться одной из посылок.
• 3. Если опущена одна из посылок, а заключение наличествует, то нужно установить, какая из них (большая или меньшая) имеется. Это производится путем проверки, какой из крайних терминов содержится в данной посылке. Если больший термин, значит, имеется большая посылка; если в посылке присутствует меньший термин, значит, меньшая посылка.
• 4. Зная, какая из посылок опущена, а также зная средний термин, можно определить оба термина недостающей посылки.

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

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

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

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

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

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

В итоге получаем полный силлогизм:

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

Рис. 8.10

Полисиллогизмы, сорит, эпихейрема

В процессе мышления силлогизмы соединяются между собой, образуя цепи силлогизмов – сложные силлогизмы и полисиллогизмы.

Полисиллогизмы

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

Силлогизм, предшествующий другому в цепи силлогизмов, называется просиллогизмом .

Силлогизм, следующий за другим в цепи силлогизмов, называется эписиллогизмом .

Различают прогрессивные и регрессивные полисиллогизмы.

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

Например:

Регрессивным полисиллогизмом называется полисиллогизм, в котором заключение просиллогизма становится меньшей посылкой эписиллогизма.

Все фальшивомонетчики (Е) – преступники (D)

Все преступники (D ) – правонарушители (С)

Следовательно,

Все фальшивомонетчики (Е) – правонарушители (С)

А )

Следовательно,

Все фальшивомонетчики (Е) – люди (A )

Все люди (А ) смертны (В )

(Е) – смертны (В)

Все Е есть D

Все D есть С

Все Е есть С

Все С есть A

Все Е есть А

Все А есть В

Все Е есть В

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

Сорит

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

Различают два вида соритов: прогрессивный, или гоклениевский, по имени автора – немецкого логика Р. Гоклена (1547– 1628) и регрессивный, или аристотелевский.

Сорит, в котором начиная со второго силлогизма в цепи силлогизмов пропускается большая посылка, называется прогрессивным (гоклениевским ) .

Пример .

Все люди (А) смертны (В)

Все правонарушители (С) – люди (А)

Все преступники (D ) – правонарушители (С)

Все фальшивомонетчики (Е ) – преступники (D )

Следовательно, все фальшивомонетчики (Е) – смертны (В)

Все А есть В

Все С есть А

Все D есть С

Все Е есть D

Все Е есть В

Сорит, в котором начиная со второго силлогизма в цепи силлогизмов пропускается меньшая посылка, называется регрессивным (аристотелевским ).

Пример .

Все фальшивомонетчики (Е ) – преступники (D)

Все преступники (D) – правонарушители (С)

Все правонарушители (С) – люди (A )

Все люди (А) смертны (В )

Следовательно, все фальшивомонетчики (Е) смертны (В)

Все Е есть D

Все D есть С

Все С есть А

Все А есть В

Все Е есть В

Эпихейрема

Эпихейрема (греч. epiheirema – умозаключение) – это такой сложносокращенный силлогизм, в котором посылками являются энтимемы.

Пример .

Все ромбы (А ) – параллелограммы (С ), так как они (ромбы) (А ) имеют попарно параллельные стороны (В)

Все квадраты (D ) – ромбы (А ), так как они (квадраты) (О) имеют взаимоперпендикулярные диагонали, делящиеся в точке их пересечения пополам (Е )

Следовательно, все квадраты (D) – параллелограммы (С).

Все А есть С, так как А есть В – энтимема

Все D есть A, так как D есть Е – энтимема

Все D есть С

Сокращенный силлогизм (энтимема) – умозаключение с пропущенной посылкой или заключением. Энтимема в переводе с греческого означает «в уме».

Например: «Математику уже затем учить надо, что она ум в порядок приводит» (М. Ломоносов).

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

Например: «Сумма цифр данного числа делится на 3, следовательно, данное число делится на 3». Здесь пропущена условная посылка «Если сумма цифр данного числа делится на 3, то все число делится на 3».

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

просиллогизмом , последующий – эписиллогизмом полисиллогизмом .

Например:

Например:

33. Полисиллогизмы и сориты, правила образования, примеры. Понятие эпихейремы.

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

Различают прогрессивный и регрессивный полисиллогизмы.

В прогрессивном полисиллогизме заключение просиллогизма становится большей посылкой эписиллогизма.

Например:

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

Например:

Сложный силлогизм, в котором пропущены некоторые посылки, называется соритом (от греческого «куча»). Существует два вида соритов: прогрессивный и регрессивный .

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

Схема прогрессивного сорита:

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

Схема регрессивного сорита:

К сложносокращенным силлогизмам относится также эпихейрема. Эпихейрема – это сложносокращенный силлогизм, обе посылки которого являются энтимемами. Например:

Схема эпихейремы такова:

Схема первой посылки:

Схема второй посылки:

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

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

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

Разделительный силлогизм

Чисто-условный силлогизм Например:

Схема этого силлогизма такая:

Вывод в чисто-условном умозаключении основывается на правиле: следствие следствия есть следствие основания.

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

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

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

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

1) утверждающий,

2) отрицающий.

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

Например:

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

Например:

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

От утверждения истинности следствия к утверждению истинности основания:

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

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

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

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

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

Например:

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

I модус – утверждающе-отрицающий (modus ponendo tollens). Его схема:

Правило modus ponendo tоllens - разделительная посылка должна быть исключающей (строгой) дизъюнкцией.

II модус – отрицающе-утверждающий (modus tоllendo ponens).

Его схема:

Правило modus tоllendo ponens – в разделительной посылке должны быть перечислены все возможные альтернативы.

37. Условно-разделительные (лемматические) умозаключения. Дилеммы, их виды, символическая запись и примеры. Понятие о полилеммах.

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

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

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

В зависимости от того, сколько следствий установлено в условной посылке, различают дилеммы, трилеммы, n – леммы.

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

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

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

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

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

Неполная индукция – вероятностное умозаключение, в котором заключение о принадлежности признака целому классу предметов делается на основании принадлежности этого признака части предметов данного класса.

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

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

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

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

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

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

Этот класс предметов в статистике называется популяцией , а любой класс популяции – выборкой .

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

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

1) Установить структуру силлогизма:

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

2) Определить фигуру силлогизма

3) Определить модус силлогизма

4) Установить распределённость терминов

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

6) Проверить правильность силлогизма и сделать вывод: указать правильный или неправильный силлогизм.

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

Чисто условным называется умозаключение , обе по­сылки которого являются условными суждениями. Например:

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

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

В приведенном примере обе посылки - условные суждения, причем следствие первой посылки является основанием второй (q), из которого, в свою очередь, вытекает некоторое следствие (г). Общая часть двух посылок (q) позволяет связать основание пер­вой (р) и следствие второй (г). Поэтому заключение также выража­ется в форме условного суждения. Схема чисто условного умозаключения: (р-> q) л (q-> г)

Вывод в чисто условном умозаключении основывается на правиле: следствие следствия есть следствие основания.

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

Это умозаключение имеет два правильных модуса: утвержда­ющий и отрицающий.

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

Например:

Если иск предъявлен недееспособным лицом (р), то суд остав­ляет иск без рассмотрения (q).

Иск предъявлен недееспособным лицом (р).

Суд оставляет иск без рассмотрения (q).

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

Утверждающий модус дает достоверные выводы. Он имеет схему: p->q.P q

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

Рассуждение направлено от отрицания истинности следствия к отрицанию истинности основания. Например:

Если иск предъявлен недееспособным лицом (р), то суд ос­тавляет иск без рассмотрения (q).

Суд не оставил иск без рассмотрения (1 q).

Неверно, что иск предъявлен недееспособным лицом (1 р).

Схема отрицающего модуса: р -»д. 1д

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

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

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

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

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

● В утверждающе-отрицающем модусе (modus ponendo tollens) меньшая посылка, категорическое суждение, утверждает один член дизъюнкции, заключение - также категорическое суждение - отрицает другой ее член. Например:

Данная облигация предъявительская (р).

Данная облигация не является именной (q).

Схема утверждающе-отрицающего модуса →

V - символ строгой дизъюнкции.

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

● В отрицающе-утверждающем модусе (modus tollendo ponens) меньшая посылка отрицает один дизъюнкт, заключение утверждает другой. Например:

Облигации могут быть предъявительскими (р) или именными (q).

Данная облигация не является предъявительской (1 р).

Данная облигация именная (q).

Схема отрицающе-утверждающего модуса →

< > - символ закрытой дизъюнкции.

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

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

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

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

Схема простой конструктивной дилеммы:

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

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

Обвиняемый подлежит уголовной ответственности за преступ­ление против правосудия (г).

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

Схема сложной конструктивной дилеммы:

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

Схема простой деструктивной дилеммы:

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

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

Преступление, совершенное Н., не является умышленным (р).

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

Схема сложной деструктивной дилеммы:

Если предприятие является арендным (р), то оно осуществляет предпринимательскую деятельность на основе взятого им в арен­ду имущественного комплекса (q); если оно является коллектив­ным (г), то осуществляет такую деятельность на основе находяще­гося в его собственности имущества (s).

Данное предприятие не осуществляет свою деятельность ни на основе взятого в аренду имущественного комплекса (1 а), ни на основе находящегося в его собственности имущества (Is).

Данное предприятие не арендное (1 р) или не коллективное (1 г).

24. Сокращенный силлогизм (энтимема). Сложный и сложносокращенный силлогизмы (полисиллогизм, сорит, эпихейрема).

● Термин “энтимема ” в переводе с греческого языка означает “в уме”, “в мыслях”. Силлогизм с пропущенной посылкой или заключением называется сокращенным силлогизмом, или энтимемой. Широко используются энтимемы простого категорического силлогизма, особенно выводы по первой фигуре.

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

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

●Сорит (с общими посылками). Прогрессивный и регрессивный полисиллогизмы в мышлении чаще всего применяются в сокращенной форме - в виде соритов. Существует два вида соритов: прогрессивный и регрессивный.

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

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

Все А суть С, так как А суть В.

Все D суть А, так как D суть Е.

Все D суть С.

Индуктивные умозаключения: определение, особенности, структура. Полная и неполная индукция. Особенности популярной индукции. Факторы, влияющие на повышение степени вероятности выводов популярной индукции.

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

S 2 - Р Только S 1 , S 2 , S 3 , ... S n составляют класс К

S 3 -Р Каждый элемент К - Р

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

● точное знание числа предметов или явлений, подлежащих изучению;

● убеждение, что признак принадлежит каждому элементу класса;

● небольшое число элементов изучаемого класса;

● целесообразность и рациональность.

Возьмем для логического анализа следующие правила русского языка.

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

Родительный падеж выражает грамматические отношения между словами.

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

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

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

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

Именительный, родительный, дательный, винительный, творительный, пред ложный - падежи русского языка

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

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

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

S 1 , S 2 , S 3 , ... составляют класс К

Вероятно, каждый элемент К - Р

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

Слово "молоко" изменяется по падежам

Слово "библиотека" изменяется по падежам

Слово "врач" изменяется по падежам

Слово "чернила" изменяется по падежам

Слова "молоко", "библиотека", "врач", "чернила" - существительные

−Вероятно, все имена существительные изменяются по падежам

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

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

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

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

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

1. Поспешное обобщение.

2. "После этого, значит, по причине этого". Кроме того, данная ошибка лежит в основе многих суеверий и предрассудков.

3. Подмена условного безусловным.

40. Сложные и сложносокращенные силлогизмы.

Сложные и сложносокращенные силлогизмы

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

Соединение простых силлогизмов, в котором заключение предшествующего силлогизма (просиллогизма) становится посылкой последующего силлогизма (эписиллогизма), называется сложным силлогизмом, или полисиллогизмом

Различают прогрессивный и регрессивный полисиллогизмы

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

Общественно опасное деяние (А) наказуемо (В)

Преступление (С) - общественно опасное деяние (А)

Преступление (С) наказуемо (В) - заключение 1 силлогизма (большая предпосылка во 2 силлогизме)

Дача взятки (D ) - преступление (С)

Дача взятки (D) наказуема (В) - заключение 2 силлогизма

В регрессивном полисиллогизме заключение предшествующего силлогизма (просиллогизма) становится меньшей посылкой последующего (эписиллогизма). Например

Преступления в сфере экономики (А) - общественно опасные деяния (В)

Незаконное предпринимательство (С) - преступление в сфере экономики (А)

Незаконное предпринимательство (С) - общественно опасное деяние (В) -

Общественно опасные деяния (В) наказуемы (D)

Незаконное предпринимательство (С) - общественно опасное деяние (В) - заключение 1 силлогизма (меньшаяя предпосылка во 2 силлогизме)

Незаконное предпринимательство (С) наказуемо (D)

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

Разновидности полисиллогизма – сорит и эпихейрема.

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

Схема прогрессивного сорита:

Все А есть В

Все С есть А

Все D есть С

Все D есть В

Схема регрессивного сорита:

Все А есть В

Все В есть С

Все С есть D

Все А есть D

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

Общественно опасное деяние (А) наказуемо (В).

Преступление (С) - общественно опасное деяние (А)

Дача взятки (D ) - преступление (С)

Дача взятки (D) наказуема (В)

К сложносокращенным силлогизмам относится также эпихейрема.

Эпихейремой называется сложносокращенный силлогизм, обе посылки которого являются энтимемами.

Например:

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

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

3) Действия обвиняемого уголовно наказуемы.

Развернем посылки эпихейремы в полные силлогизмы. Для этого восстановим в полный силлогизм сначала 1-ю энтимему:

Клевета (М) уголовно наказуема (Р)

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

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

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

Теперь восстановим 2-ю энтимему.

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

Действия обвиняемого (S) выразились в умышленном извращении фактов в заявлении на гражданина П. (М)

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

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

Заключение эпихейремы получено из заключений 1-го и 2-го силлогизмов:

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

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

Действия обвиняемого (S)уголовно наказуемы (Р)