Размещено на http://www.allbest.ru/

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

ПЛАН

Внутренняя структура элементарных суждений. Логический квадрат

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

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

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

Энтимемы. Логика общения и спора

Сориты и эпихейремы

Литература

1. ВНУТРЕННЯЯ СТРУКТУРА ЭЛЕМЕНТАРНЫХ СУЖДЕНИЙ. ЛОГИЧЕСКИЙ КВАДРАТ

Элементарное суждение состоит из двух понятий S и P соединённых с помощью связок «есть», «не есть». Понятие S, отображающее предмет мысли суждения, называется субъектом суждения, а понятие P, в котором высказывается, что собой представляет субъект S, - предикатом суждения. Если предикат относится ко всему объему субъекта, то это выражается словами «Все S », если же только к его части, то «Некоторые S ». Так что S и P могут объединяться в четыре вида суждений:

Общеутвердительные суждения. Они символически обозначаются ASP или, еще короче, А. Это читается так: «Все S суть P ». Схематически соотношение между S и P изображается так:

или так

Общеотрицательные суждения. Они символически обозначаются ESP или, еще короче, Е. Это читается: «Все S не есть P ». Диаграммы Эйлера для S и Р имеет вид:

Часто утвердительные суждения. Они символически обозначаются ISP или, еще короче, I. Это читается так: «Некоторые S есть P». Диаграммы Эйлера для S и Р имеет вид:



или вид,

где заштрихованная часть изображает общие элементы объемов S и Р.

Частноотрицательные суждения. Они символически обозначаются OSP или, еще короче, О. Это читается: «Некоторые S не есть Р». Диаграммы Эйлера для S и Р имеет вид:

где заштрихованная часть изображает несовпадающие элементы S и Р.

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

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

Размещено на http://www.allbest.ru/

А х у	А ху	A yx
I xy	A yx	I xy
I yx	I xy	I yx
O yx	I yx	O xy

I xy	E xy
I yx	E yx
O xy	O xy
O yx	О yx

Византийский логик Михаил Пселл предложил наглядную схему, облегчающую запоминание характера взаимоотношений между истинным значением четырех видов суждений A, E, I, O, образованных из понятий S и P. Она получила название логического квадрата и выглядит так:



Размещено на http://www.allbest.ru/

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

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

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

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

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

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

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

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

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

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

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

2. НЕПОСРЕДСТВЕННЫЕ УМОЗАКЛЮЧЕНИЯ

Непосредственными умозаключениями являются такие умозаключения, в которых вывод делается из одной посылки. Таким будет, например вывод. «Все простые числа делятся на себя и на единицу. Следовательно, ни одно простое число не делится на два». Непосредственные умозаключения схематически можно записать так: SP>Y ав, где Х и У могут иметь значение A, E, I, O, а а и в - значение либо S либо P. Суждение SP называется условием (или антецедентом), а Y ав называется заключением или следствием (или консеквентом). Имеется четыре способа выбора Х, четыре способа выбора У и два способа выбора а и в. значит число модусов (фигур) непосредственных умозаключений равняется 4х4х2=32. Однако не все из них истинны. Некоторые из них ложны. Под истинным значением модуса следует понимать «всегда истинен», а под ложностью «не всегда истинен».

Истинность каждого модуса может быть установлена с помощью логического квадрата и таблицы истинности импликации. Например, модус ASP>ESP ложен. В самом деле, если суждение ASP истинно, то по правилу логического квадрата суждение ESP ложно и импликация ложна.

Истинность модуса может быть установлена и с помощью диаграмм Эйлера. Модус истинен, если диаграмма Эйлера, изображающая связь предиката и субъекта условия, совпадает с диаграммой, изображающей связь субъекта и предиката следствия. Так для модуса ASP>ESP диаграмма условия имеет вид:

А диаграммы следствия -

они не совпадают. Значит, модус ложен.

Легко убедится, что, например, модус ASP>ISP истинен. В самом деле, по правилу логического квадрата если истинно общее суждение, то истинно и подчиненное ему суждения, а если оно ложно, то ложно и подчиненное суждение. Посылка и заключение тем самым имеют одно и то же истинное значение, а значит импликация всегда истинна. Диаграмма Эйлера для условия имеет вид:

А для следствия - вид:

Они совпадают.

Чтобы выделить истинные модусы можно воспользоваться и правилами распределения членов суждения, т.е. S или P. Некоторый член суждения (т.е. S или P) называется распределенным тогда, когда он является либо субъектом общего суждения, либо предикатом отрицательного суждения. Так, в суждении АSР субъект S распределен, а предикат P - не распределен. В суждении ESP распределены и субъект, и предикат. В суждении ISP не распределены ни субъект, ни предикат. Наконец, в суждении OSP субъект не распределен, а предикат распределен.

Итак, для истинных модусов непосредственных умозаключений выполняются два правила:

В любом истинном модусе суждения являются либо оба утвердительными, либо оба отрицательными.

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

Рассмотрим, например, модус ASP APS. Член Р распределен в заключении, но он нераспределен в следствии. Значит, модус ложен.

Любым из указанных методов легко установить, что из 32 модусов непосредственных умозаключений только 10 истинны. Отбрасывая из этих десяти четыре тавтологии XSPXSP, где Х может принимать одно из значений A, E, I, O, получаем шесть истинных модусов:

ASP ISP;

ESP OSP;

ASP IPS;

ESP EPS;

ESP OPS;

ISP IPS.

Модусы ASP ISP и ESP OSP называются изменением количества суждений. Их примерами могут служить заключения: «Все прилагательные обозначают признак предмета, значит, некоторые прилагательные обозначают признак предмета»; «Все жиры не растворяются в воде. Следовательно, некоторые жиры не растворяются в воде».

Модусы ASP IPS, ESP EPS, ESP OPS, ISP IPS называются обращением. При обращении субъект и предикат посылки меняются местами: в заключении субъект становится предикатом, а предикат - субъектом. Примерами этих модусов могут быть заключения: «Все звезды - небесные тела, следовательно, некоторые небесные тела - звезды»; «Ни одна ель не есть лиственное дерево. Следовательно, ни одно лиственное дерево не есть ель»; «Некоторые изобретатели - инженеры. Значит, некоторые инженеры - изобретатели» и т.д.

КАТЕГОРИЧЕСКИЙ СИЛЛОГИЗМ

суждение умозаключение энтимема логика

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

По определению силлогизм имеет схему:

X _в,а Y_c,в Z_c,а,

где X, Y, Z могут иметь смысл A, E, I, O; в, а - принимать значение М или Р; с, в - значение S или М; с, а - значение S или Р.

Имеется 4 способа выбора Х, 4 - выбора У, 4 - выбора Z, 2 способа выбора в, а и 2 способа выбора с, в. Значит, имеется 4*4*4*2*2=256 различных модусов силлогизма.

Составляющая любого модуса силлогизма принято обозначать так:

суждения, из которых делается вывод, называются посылками;

посылка, содержащая Р, называется большой посылкой;

посылка, содержащая S - малой.

Понятия, входящие в силлогизм, именуются терминами;

Р - называется большим термином;

S - малым термином;

М - средним термином;

S и Р - крайними терминами.

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

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

1. М - Р

S-М либо SM>ZSP

S- Р

Р - М

S-М либо МSM>ZSP

S- Р

3. М - Р

М-S либо МS>ZSP

S- Р

4. Р - М

М-S либо ММS>ZSP

S- Р

Здесь Х, У, Z, могут иметь смысл А, Е, І, О. Так, что каждая фигура силлогизма имеет 64 модуса.

Не все модусы каждой фигуры истины. Истинность или ложность модуса легко проверить с помощью диаграмм Эйлера: модус истинен, если диаграмма S и Р посылок совпадает с диаграммой S и Р следствия; в противном случае он ложен, т.е. не всегда истинен. Так для модуса SM>ESP диаграмма S и Р посылок имеет вид:

А для следствия - вид:

Эти диаграммы не совпадают. Значит, модус ложен. Напротив, для модуса EMPSM>ESP диаграмма S и Р посылок имеет вид:

А для следствия - вид:

диаграммы совпадают. Значит, этот модус истинен.

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

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

В каждом истинном модусе термин, распределенный в следствии, распределен и в одной из посылок.

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

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

Модусы 1 фигуры:

AMPSM>ASP

ЕMPSM>ЕSP

AMPISM>ISP

EMPISM>OSP

AMPSM>ISP

EMPSM>OSP

Модусы 11 фигуры:

EPMSM>ESP

APMESM>ESP

EPMISM>OSP

APMOSM>OSP

EPMSM>OSP

APMESM>OSP

Модусы 111 фигуры:

AMPMS>ISP

IMPMS>ISP

AMPIMS>ISP

EMPMS>OSP

OMPMS>OSP

EMPIMS>OSP

Модусы 1У фигуры:

APMMS>ISP

APMEMS>ESP

IPMMS>ISP

EPMMS>OSP

EPMIMS>OSP

APMIMS>OSP

Приведем наглядные примеры истинных модусов фигур силлогизмов.

Первая фигура.

Все щелочноземельные металлы (М) двухвалентны (Р).

Стронции (S) - щелочноземельный металл (М).

Стронции (S) - двухвалентный (Р).

Вторая фигура.

Всякое растение (Р) содержит клетчатку (М).

Ни одна гидра (S) не содержит клетчатки (М).

Ни одна гидра (S) не растение (Р).

Третья фигура.

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

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

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

Четвертая фигура.

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

Ни одно млекопитающее (М) не есть рыба (S).

Ни одна рыба (S) не есть кит (Р).

4. ПОЛИСИЛЛОГИЗМЫ

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

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

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

1. Все законы естествознания имеют объективный характер.

Все законы физики - законы естествознания.

Все законы физики имеют объективный характер.

Все законы физики имеют объективный характер.

Законы квантовой механики - законы физики.

Законы квантовой механики имеют объективный характер.

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

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

Все дельфины - киты.

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

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

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

Все дельфины - позвоночные.

5. ЭНТИМЕМЫ. ЛОГИКА ОБЩЕНИЯ И СПОРА

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

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

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

Все страны, в которых каждую минуту совершается грабеж, богатые.

Нагония - страна, в которой каждую минуту совершается грабеж.

Нагония - богатая страна.

Поставив под сомнение первую посылку, мы поставим под сомнение и все рассуждение оппонента.

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

6. СОРИТЫ И ЭПИХЕЙРЕМЫ

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

Строение сорита выражается следующей формулой:

Все А - В

Все В - С

Все С - Д

Все Д - Е

Все К - М

Все А - М

Если пропускает меньшая посылка то такой сорит называется аристотелевским. Его пример:

3 - нечетное число.

Все нечетные числа - натуральные числа.

Все натуральные числа - рациональные числа.

Все рациональные числа - действительные числа.

3 - действительное число.

Если пропускается большая посылка, то такой сорит, называется гоклиеновским. Его пример:

Все рациональные числа - действительные числа.

Все натуральные числа - рациональные числа.

Все нечетные числа - натуральные числа.

3 - нечетное число.

3 - действительное число.

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

M есть P, так как оно есть N

S есть M, так как оно есть O

S есть P

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

Все N суть Р

Все М суть N

Все М есть P

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

Все О суть М

Все S суть O

Все S суть M

И схема заключения следующая:

Все М есть Р

Все S суть M

Все S суть Р

Пример эпихейремы.

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

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

Все квадраты - параллелограммы.

Имеют место следующие правила для соритов. В каждом истинном модусе:

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

Посылка отрицательна тогда, когда отрицательно следствие.

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

ЛИТЕРАТУРА

1. Логика. К. - Хатнюк В.С. 2005 г.

2. Логика - искусство мышления. Тимирязев А.К.- К. 2000 г.

3. Философия и жизнь - журнал- К. 2004 г.

4. История логики и мышления - Касинов В.И. 1999.

5. Логика и человек - М. 2000.

6. Философия жизни. Матюшенко В.М. - Москва - 2003 г.

7. Философия бытия. Марикова А.В. - К. 2000 г.

Размещено на Allbest.ru