Логика как наука об умозаключениях
Е. П. Агапов
ЛОГИКА
Учебное пособие
СОДЕРЖАНИЕ
Глава 1. Предмет и значение логики
1. 1. Возникновение и развитие логики
1. 2. Логика как наука об умозаключениях
1. 3. Теоретическое и практическое значение логики
Контрольные вопросы
Упражнения
Часть первая. Понятие и суждение
Глава 2. Общая характеристика понятия
2. 1. Содержание и объём понятия
2. 2. Виды понятий
2. 3. Отношения между понятиями
Контрольные вопросы
Упражнения
Глава 3. Определение понятий
3. 1. Понятие и структура определения
3. 2. Виды определений
3. 3. Правила определений
Контрольные вопросы
Упражнения
Глава 4. Деление понятий
4. 1. Понятие и структура деления
4. 2. Виды деления
4. 3. Правила деления
Контрольные вопросы
Упражнения
Глава 5. Общая характеристика суждения
5. 1. Понятие и структура суждения
5. 2. Виды суждений
5. 3. Простые и сложные суждения
Контрольные вопросы
Упражнения
Часть вторая. Умозаключение
Глава 6. Умозаключения логики высказываний
6. 1. Язык логики высказываний
6. 2. Истинностные таблицы
6. 3. Анализ умозаключений в логике высказываний
Контрольные вопросы
Упражнения
Глава 7. Непосредственные умозаключения
7. 1. Понятие и виды непосредственных умозаключений
7. 2. Умозаключения посредством преобразования суждений
7. 3. Умозаключения по логическому квадрату
Контрольные вопросы
|
|
|
Упражнения
Глава 8. Категорический силлогизм
8. 1. Понятие и структура силлогизма
8. 2. Фигуры и модусы силлогизма
8. 3. Установление правильности силлогизмов
Контрольные вопросы
Упражнения
Глава 9. Сложные и сокращённые силлогизмы
9. 1. Простые и сложные силлогизмы
9. 2. Полные и сокращённые силлогизмы
9. 3. Сложносокращённые силлогизмы
Контрольные вопросы
Упражнения
Глоссарий
Тесты
Персоналии
Литература
ГЛАВА 1
ПРЕДМЕТ И ЗНАЧЕНИЕ ЛОГИКИ
Возникновение и развитие логики
Логика как наука возникла в 4 в. до н. э. в Древней Греции, переживавшей классический период своего развития. Её основоположником является Аристотель, который стоит в одном ряду с такими выдающимися представителями древнегреческой философии, как Сократ и Платон. Возникновение логики было связано с потребностями развития математики, философии и общественной жизни Древней Греции, прежде всего политики и права, т. е. тех областей теоретической и практической деятельности, в которых важную роль играло обоснование принимаемых положений.
В развитии математики древние греки опирались на арифметические и геометрические знания, накопленные в Вавилонии и Египте, а также традиции крито-микенской культуры. Первоначально они пользовались любыми средствами, которые помогали им доказывать математические истины. Так, в доказательстве теоремы Пифагора, согласно которой квадрат гипотенузы прямоугольного треугольника равен сумме квадратов катетов, существенную роль играли чертежи. Однако постепенно произошло превращение математики в дедуктивную науку, в которой одни положения обосновываются с помощью других, ранее принятых положений[1]. В «Началах» Евклида, который был младшим современником Аристотеля, теоремы выводятся в конечном счёте из аксиом и определений без какого бы то ни было обращения к опыту.
|
|
|
Древнегреческая философия возникла в 7 в. до н. э. в Ионии, которая представляла собой историческую область, расположенную на западном побережье Малой Азии. Её возникновение было связано с падением власти родовой аристократии, а также возвышением земледельцев, торговцев и ремесленников, получившим политическое оформление в виде института рабовладельческой демократии. Новые слои древнегреческого общества были заинтересованы в развитии знания, включавшего в себя как философию, так и отдельные науки. Кроме того, благодаря своему географическому положению Иония имела обширные связи с восточными государствами, которые добились больших успехов в развитии материальной и духовной культуры.
|
|
|
Первые греческие философы были одновременно и поэтами, выражавшими свои взгляды в образной форме. От их произведений остались только фрагменты, которые являются скорее афоризмами, чем обоснованными положениями. Так, Гераклиту, считающемуся основоположником диалектики как учения о развитии, приписывается авторство знаменитых афоризмов «Всё течёт, всё изменяется» и «В одну и ту же реку нельзя войти дважды». Однако к 5 в. до н. э., когда на смену Ионии как культурного центра Древней Греции пришли Афины, произошло изменение представлений о философствовании. От авторов философских систем требовалось уже не только провозглашать свои взгляды, но и обосновывать их. Например, Горгий из Леонтин, принадлежавший к школе софистов, следующим образом обосновывал положение о том, что ничто не существует: «если бы нечто и существовало, то оно было бы непознаваемым; если бы нечто и было познаваемым, то познанное невыразимо».
Общественная жизнь Древней Греции основывалась на принципах демократии, которая имела ограниченный характер. Ограниченность древнегреческой демократии проявлялась в том, что гражданскими правами обладали только свободные мужчины после тридцати лет. Что касается свободных мужчин до тридцати лет, а также женщин и рабов, то они такими правами не обладали. В сфере политики основным демократическим институтом было народное собрание, а в сфере права – суд. Членами и того, и другого были только те, кто обладали гражданскими правами, т. е. граждане полиса.
|
|
|
В народном собрании рассматривались вопросы, важные для жизни всего полиса (объявление войны, введение налогов, помощь нуждающимся и т. д.). Однако их решению предшествовало обсуждение различных точек зрения, сторонники которых пытались убедить других членов народного собрания в своей правоте. Принималась та точка зрения, которая получала наибольшее число голосов. Поэтому от политика требовалось умение показать, что его точка зрения вполне согласуется с мнением большинства, т. е. вывести её из общепринятых положений.
Из членов народного собрания выбирались и судебные заседатели, число которых зависело от важности рассматриваемого вопроса. Чем более важным для жизни полиса был вопрос, подлежавший рассмотрению в суде, тем большим было число участвовавших в нём заседателей. Особенностью древнегреческого судопроизводства было то, что в нём отсутствовали прения, а также не предполагалась апелляция. После заслушивания истца и ответчика судебные заседатели путём голосования решали, виновен обвиняемый или нет. Если их ответ оказывался положительным, то вторым голосованием они определяли наказание для того, кто был признан виновным. При той системе судопроизводства, которая сложилась в Древней Греции, очень многое зависело от умения обвиняемого обосновать свою точку зрения. Отсутствие такого умения могло иметь самые неприятные последствия, вплоть до смертного приговора. Поэтому искусство убедительного выступления, которому обучали за деньги представители школы софистов, приобрело в Древней Греции необычайную популярность.
Установив, что обоснование принимаемых положений играло важную роль в математике, философии и общественной жизни Древней Греции, обратимся к его сущности. Обосновать какое-либо положение значит правильно вывести его из тех положений, которые уже приняты. Математик доказывает новые теоремы, используя аксиомы и определения, а также ранее доказанные теоремы. Философ обосновывает свои представления о структуре бытия и природе человека с помощью правдоподобных положений, которые не должны вызывать серьёзных возражений у его оппонентов. К таким же положениям апеллирует и человек, выступающий в народном собрании или суде. Он имеет своей целью убедить аудиторию – членов народного собрания или судебных заседателей – в правоте своей точки зрения.
Обращаясь к структуре обоснования, Аристотель выделил в ней два элемента: во-первых, принимаемые положения (которые могут быть истинными или правдоподобными), а во-вторых, выведение из них обосновываемого положения. Такое выведение, называемое умозаключением, может быть правильным или неправильным, т. е. действительно иметь место или нет. Сделав умозаключение предметом специального исследования, Аристотель и положил начало логике как науке. Он был первым, кто осознал необходимость науки об умозаключениях, названной впоследствии логикой.
Хотя Аристотель является основоположником логики, ему не удалось придумать общеупотребимое название для своего изобретения, которое было предметом его нескрываемой гордости. В аристотелевском трактате «О софистических опровержениях», посвящённом критике некорректных приёмов, которыми пользовались софисты для введения в заблуждение своих оппонентов, используется выражение «учение об умозаключениях». Слово «логика» для обозначения созданной Аристотелем науки об умозаключениях впервые стало использоваться его последователем Александром Афродисийским, жившим в конце 2 – начале 3 в. В течение долгого времени в качестве его синонима использовалось слово «диалектика», которое является одним из самых многозначных в философской литературе начиная с античности. Примеры его употребления в названиях логических трактатов можно обнаружить и в средние века, и в Новое время («О диалектике» Августина, «Диалектика» Абеляра и др.). В настоящее время за наукой об умозаключениях, созданной Аристотелем, окончательно закрепилось слово «логика», тогда как диалектикой чаще всего называют учение о развитии.
Помимо Аристотеля и его последователей, которых называли перипатетиками, логические проблемы разрабатывались представителями других философских школ Древней Греции, прежде всего мегариками и стоиками. Большой вклад в их разработку был сделан в средние века, когда логику стали преподавать в университетах, появившихся в конце 12 – начале 13 в. сначала в Париже, Оксфорде и Кембридже, а затем и в других западноевропейских городах. В Новое время логические исследования стимулировались прежде всего развитием математики, которая считалась образцом научной строгости. Немецкий философ Лейбниц, живший в 17 в., сформулировал идею применения в логике математических методов. Хотя эта идея не была им реализована, его считают основоположником современной логики, которую часто называют символической или математической.
За два тысячелетия своего существования логика добилась определённых успехов, хотя её развитие шло сравнительно медленно. Иммануил Кант, принадлежавший к немецкой классической философии, считал её завершённой наукой, в которой трудно рассчитывать на новые результаты. Однако дальнейшее развитие науки показало, что он был не прав. В конце 19 – начале 20 в. в логике произошла революция, связанная с попытками решения антиномий, которые были обнаружены в математике и других областях науки. Она стала чертой, отделяющей современную логику от традиционной.
Антиномия представляет собой систему умозаключений, которые кажутся правильными, но приводят нас к противоречию, т. е. заставляют принимать и некоторое утверждение, и его отрицание. Поскольку противоречие воспринимается нами как несоответствие здравому смыслу, её называют также парадоксом[2]. Примеры антиномий мы находим уже у древних греков, на которых они произвели необычайно сильное впечатление. Наиболее известным из этих примеров является антиномия лжеца, представляющая собой следующее:
Кто-то говорит «Я лгу». То, что он говорит, истинно или ложно? Если предположить, что оно истинно, то мы приходим к выводу, что оно ложно, а если предположить, что оно ложно, то мы приходим к выводу, что оно истинно. Таким образом, мы сталкиваемся с парадоксальной ситуацией, когда одно и то же утверждение оказывается одновременно и истинным, и ложным.
Антиномии, известные древним грекам, были надолго забыты, пока в конце 19 – начале 20 в. наука не столкнулась с новыми антиномиями. Так, антиномия Рассела касалась множества всех множеств, которые не являются своими собственными элементами. Сам Рассел предложил её упрощённый вариант, известный как антиномия деревенского парикмахера:
Предположим, что единственный деревенский парикмахер бреет только тех, кто не бреется сам. Если мы зададимся вопросом, должен ли этот парикмахер брить сам себя, то любой ответ на него приведёт нас к противоречию.
Когда антиномия Рассела стала известна научному сообществу, она произвела эффект разорвавшейся бомбы. Оказывалось, что теория множеств, лежащая в основе всей математики, сама противоречива. Вообще обнаружение антиномий говорило о том, что способы определения и умозаключения, которыми пользовались представители различных наук, далеки от точности. Поскольку эти способы находятся в сфере традиционных интересов логики, именно она стала искать пути решения трудностей, связанных с обнаружением антиномий.
С целью устранения антиномий было создано несколько теорий, наиболее известными из которых стали аксиоматическая теория множеств, теория типов и теория семантических категорий. Создание этих теорий ознаменовало переход от традиционной логики, просуществовавшей два тысячелетия, к современной, история которой насчитывает всего сто лет. Различие между традиционной и современной логикой касается не предмета, а используемых методов. Современная логика пользуется строгими методами, которые позволяют ей более точно описывать допустимые способы определения, умозаключения и других интеллектуальных процедур, используемых как в науке, так и в повседневной жизни.
Логика как наука об умозаключениях
Согласно традиционному пониманию, восходящему к Аристотелю, логика является наукой об умозаключениях. Именно такая наука была необходима для развития математики, философии, права, а также других областей теоретической и практической деятельности, которые сложились в Древней Греции к 4 в. до н. э. В дальнейшем стали говорить, что логика основывается на трёх китах – математике, философии и праве.
Центральное положение в логике занимает умозаключение, представляющее собой форму мышления, в которой из одних суждений, называемых посылками, выводится другое суждение – заключение. Умозаключение относится не к физическим, а к мыслительным (или интеллектуальным) действиям, которые совершаются в нашей голове. Оно представляет собой действие с суждениями, которые также являются мыслительными конструкциями. Кратко умозаключение можно определить как переход от посылок к заключению, т. е. выведение заключения из принимаемых посылок.
Из определения умозаключения следует, что оно состоит из двух основных элементов – посылок и заключения. Посылки представляют собой положения, которые принимаются в силу их истинности, очевидности, правдоподобия и других причин. Они образуют исходный пункт умозаключения, хотя и независимы от него, т. е. могут существовать вне связи с заключением, которое выводится из них. С другой стороны, одни и те же посылки могут служить исходным пунктом различных умозаключений. Что касается заключения, то под ним имеется в виду положение, которое выводится из посылок в процессе самого умозаключения. Цель умозаключения заключается именно в том, чтобы вывести заключение из принимаемых посылок.
Помимо посылок и заключения, в состав умозаключения входит связка, роль которой в обычном языке играют выражения «следовательно», «значит», «таким образом» и др. Её функция заключается в том, чтобы отделять посылки от заключения. Связка указывает на то, что мы имеем дело не с описанием какой-то реальности, а с выведением на основе имеющейся информации нового знания о ней. Пример такого выведения мы можем найти в следующем умозаключении:
Все науки полезны. Экономика – наука. Следовательно, экономика полезна.
На первый взгляд может показаться, что это умозаключение излишне. Действительно, разве и так не очевидно, что экономика полезна? Однако тот, кто считает что-то очевидным, может ошибаться. Чтобы исключить всякие сомнения относительно принимаемого положения, надо вывести его из более очевидных положений. Любой человек, далёкий от философии иррационализма, согласится с тем, что все науки полезны. Тем более никто не будет возражать против того факта, что экономика является не только хозяйственной деятельностью людей, но и наукой. Но если все науки полезны, а экономика является одной из них, то и она полезна.
Как и любое целенаправленное действие, совершаемое человеком, умозаключение может быть правильным или неправильным. Под правильным имеется в виду умозаключение, в котором истинность посылок влечёт за собой истинность заключения. Правильность умозаключения не означает, что входящие в него посылки и заключение истинны. Она означает только то, что если мы принимаем истинность посылок, то с необходимостью должны принять и истинность заключения. Так, в вышеприведённом примере мы не утверждаем безусловно, что экономика полезна, а выводим утверждение о её полезности из принятых нами посылок. Что касается неправильного умозаключения, то под ним имеется в виду умозаключение, в котором истинность посылок не влечёт за собой истинности заключения, т. е. посылки в нём могут быть истинными, а заключение ложным. Например, в умозаключении
Для всех скандинавских стран характерен высокий уровень социальной защиты населения. Германия не является скандинавской страной. Следовательно, для неё не характерен высокий уровень социальной защиты населения
истинность посылок не влечёт за собой истинности заключения, которое просто ложно. Действительно, первая посылка этого умозаключения говорит о том, что в число стран с высоким уровнем социальной защиты населения входят скандинавские страны, но какие ещё страны входят в их число, она не говорит. Поэтому у нас нет оснований утверждать, что Германия, хотя она и не является скандинавской страной (вторая посылка), не входит в число стран с высоким уровнем социальной защиты населения.
Интерес к умозаключениям, проявленный впервые Аристотелем и приведший к возникновению логики как науки, имеет теоретико-познавательные корни. Существует два способа получения нового знания – эмпирический и теоретический. Первый из этих способов, предполагающий непосредственное взаимодействие человека с изучаемыми объектами, включает в себя наблюдение, измерение, эксперимент и другие эмпирические процедуры, которые широко используются во многих областях знания, включая экономику. Второй способ получения нового знания, называемый обычно теоретическим, не предполагает непосредственного взаимодействия человека с изучаемыми объектами. Он сводится к преобразованию имеющегося уже знания, которое осуществляется с помощью умозаключений.
Умозаключение достигает своей цели (т. е. даёт нам новое знание) только тогда, когда оно правильно. Логика как наука и стремится сформулировать принципы правильного умозаключения, которым мы должны следовать в нашей познавательной деятельности. Для того чтобы сформулировать такие принципы, необходимо отвлечься от содержания конкретных умозаключений и сосредоточиться на их форме, т. е. способе связи входящих в них посылок и заключения[3]. Так, умозаключение.
Все науки полезны. Экономика – наука. Следовательно, экономика полезна
отличается по содержанию от умозаключения
Все люди смертны. Сократ – человек. Следовательно, Сократ смертен,
но тождественно ему по форме. Как мы увидим в главе 8, эта форма гарантирует нам истинность заключения при условии истинности посылок, т. е. является частным случаем одного из принципов правильного умозаключения. С другой стороны, если форма умозаключения не гарантирует нам истинность заключения при условии истинности посылок, то никакому из этих принципов она не соответствует, а само умозаключение оказывается неправильным. В дальнейшем мы сможем убедиться, что умозаключение
Для всех скандинавских стран характерен высокий уровень социальной защиты населения. Германия не является скандинавской страной. Следовательно, для неё не характерен высокий уровень социальной защиты населения
не только противно нашей интуиции, но и нарушает требования логики.
Аристотель, заложивший основы логики как науки, определял её как учение об умозаключениях. Однако изучение умозаключений образует ядро логической проблематики, но не исчерпывает её. Структурно умозаключение состоит из суждений, а они в свою очередь – из понятий. Поэтому объектами научного интереса в логике всегда были не только умозаключения, но и другие, более простые в структурном отношении формы мышления – суждения и понятия. При изложении логики обычно следуют принципу «от простого – к сложному», т. е. рассматривают формы мышления в такой последовательности: понятие – суждение – умозаключение. Традиция такого изложения логики, которой мы также будем следовать, восходит по существу к Аристотелю.
Дата добавления: 2019-09-13; просмотров: 801; Мы поможем в написании вашей работы! |
Мы поможем в написании ваших работ!