Логика

Автор работы: Пользователь скрыл имя, 21 Октября 2012 в 23:33, курс лекций

Краткое описание

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

Содержимое работы - 1 файл

ЛОГИКА.doc

— 792.00 Кб (Скачать файл)
    1. А (Все S есть Р) преобразуется в Е (Ни одно не – Р не есть S),
    2. Е (Ни одно S не есть Р) преобразуется в J (Некоторые не – Р есть S),
    3. О (Некоторые S не есть Р) преобразуется в J (Некоторые не – Р есть S).

Частноутвердительные суждения (J) противопоставлению предикату не подвергаются.

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

Проверим, например, умозаключение: «Все разумное - действительно, следовательно, все действительное - разумно». Посылка – общеутвердительное суждение (А) с субъектом «разумное» (S) и предикатом «действительно» (Р) – обозначим ее А (S, Р). Заключение – тоже общеутвердительное суждение А, где субъект и предикат посылки поменялись местами, т.е. А (Р, S). Значит преобразование состоит в обращении, однако оно неправильно, т.к. общеутвердительное суждение обращается с ограничением и поэтому заключение должно быть частноутвердительным суждением – J (P, S).

Рассмотрим другое непосредственное умозаключение: «Все разумное - действительно, значит, все недействительное не является разумным», в котором посылка  – А (S, P), а заключение Е (не – P, S). Такой вид преобразования представляет собой по форме противопоставление предикату, т.е. последовательное превращение и обращение: после превращение посылки А (S, P) получаем суждение вида Е (S, не – Р) – (все разумное не является недействительным), обращение которого дает Е (не – Р, S) – все недействительное не является разумным. Как, видим, умозаключение правильное.

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

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

Умозаключение же: «Из  ложности того, что все юристы адвокаты, следует, что некоторые юристы адвокаты» будет неправильным, поскольку при посылке, утверждающей ложность общеутвердительного суждения (~А), которое по определению эквивалентно частноотрицательному суждению (О), заключение, выражающее частноутвердительное суждение (J) может быть как истинным, так и ложным, т.е. заключение «Некоторые юристы адвокаты» не следует из посылки «Неверно, что все юристы адвокаты».

 2.2. Простой категорический силлогизм (ПКС)

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

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

Железо – металл


Железо электропроводно

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

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

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

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

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


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

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

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

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

Все законы объективны, т.е. независимы от людей

Конституция РФ – закон


Конституция РФ – не зависит  от людей.

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

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

Все поэты  впечатлительные  люди

Иванов впечатлительный человек


Иванов – поэт (?)

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

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

Все учебники – полезны

Все учебники – книги


Некоторые книги полезны

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

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

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

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

Ни один историк не является беспристрастным

Заключения сделать  нельзя.

2. Если одна из посылок отрицательная, то и заключение отрицательное. Это правило очевидно.

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

4. Если одна из посылок частная, то и заключение частное.

Для проверки правильности силлогизма по общим правилам требуется: (1) найти его термины (меньший, больший  и средний); (2) определить виды суждений (А, Е, J, О), в которых выражены посылки и заключение; (3) определить распределенность терминов в них.

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

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

Все книги – полезны


Ни одна книга не вызывает у меня скуки

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

Возьмем другое умозаключение:

Некоторые юристы – члены коллегии адвокатов


Все сотрудники нашего коллектива – юристы

Некоторые сотрудники нашего коллектива – члены коллегии адвокатов.

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

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

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


 

 

 

 

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

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

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


Все страусы (S) имеют крылья (Р)

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

Этот смертельный удар (Р) нанесен человеком огромной силы (М)

Обвиняемый (S) не является человеком огромной силы (М)


Обвиняемый (S) не мог нанести этот смертельный удар (Р)

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

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

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


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

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

Некоторые пенсионеры (Р) – работающие (М)

Все работающие (М) получают зарплату (S)


Некоторые получающие зарплату (S) – пенсионеры (Р)

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

1-ая фигура: Большая  посылка должна быть общим  суждением

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

2-ая фигура: Большая  посылка – общее суждение.

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

3-я фигура: Меньшая  посылка – утвердительное суждение

                    Заключение – частное суждение

4-ая фигура: Общеутвердительных  заключений не дает.

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

Информация о работе Логика