Логика. Шпаргалка

Логика. Шпаргалка
Алена Сергеевна Корчагина

Камил Азимович Азимов

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

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

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

Камил Азимович Азимов, Алена Сергеевна Корчагина

Логика, шпаргалка

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

* * *

1. Предмет и значение логики

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

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

Предмет науки логики – законы и формы мышления – необходимо отличать от науки об этих законах и формах.

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

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

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

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

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

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

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

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

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

2. История возникновения и развития логики как науки

Возникновение логики связывают с древнегреческим философом Аристотелем (384–322 гг. до н. э.), но зародилась она в Индии и Китае (VI в. до н. э.). На начальных этапах ее развития в Древней Индии большое внимание уделялось теории умозаключения, которое отождествлялось с доказательством. В Древнем Китае большинство логических теорий были разбросаны по различным трактатам, которые посвящались вопросам философии, этики, политики и естествознания. В них акцентируется внимание на таких логических проблемах, как теория имен, теория высказывания, теория рассуждения, законы мышления.

Аристотелем был написан фундаментальный труд по логике «Органон», что в переводе с греческого означает «орудия познания»). Аристотель сформулировал основные законы мышления: тождества, противоречия и исключенного третьего, описал важнейшие логические операции, разработал теорию понятия и суждения, исследовал дедуктивное (силлогистическое) умозаключение. Аристотелевское учение о силлогизме составило основу одного из направлений современной математической логики – логики предикатов.

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

Важнейшим этапом в развитии логики явилась теория индукции, разработанная английским философом Ф. Бэконом (1561–1626). Бэкон подверг критике извращенную средневековой схоластикой дедуктивную логику Аристотеля, которая, по его мнению, не может служить методом научных открытий. Таким методом должна быть индукция, принципы которой изложены в его сочинении «Новый Органон». Однако он неправомерно противопоставил индуктивный метод методу дедукции; в действительности эти методы не исключают, а дополняют друг друга. Бэкон разработал методы научной индукции, систематизированные впоследствии английским философом и логиком Дж. Миллем (1806–873).

Дальнейшее развитие логики связано с именами Р. Декарта, Г. Лейбница, И. Канта и др.

Французский философ Р. Декарт (1596–1650) развил идеи дедуктивной логики, сформулировал правила научного исследования.

Это был первый период развития логики, длившийся более двух тысячелетий. Второй начинается с трудов немецкого философа Г. Лейбница (1646–1716), сформулировавшего закон достаточного основания и выдвинувшего идею математической логики, которая получила развитие лишь в XIX–XX вв.

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

Знаменитыми русскими исследователями в области логики были М. И. Каринский (1840–1917) и Л. В. Рутковский (1859–1920). Так, М. И. Карийский внес значительный вклад в разработку классификации умозаключений. Л. В. Рутковский – автор труда «Основные типы умозаключений» (1888 г.) – считал возможным признать равноправными с отношениями тождества и такие, как отношения сходства, сосуществования и др.

3. Формирование неклассической логики

Непосредственным результатом революции, произошедшей в логике в конце XIX – начале XX вв., было возникновение логической теории, получившей со временем название классической логики.

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

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

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

В 1908 г.Л. Брауэр, голландский математик и логик, подверг сомнению неограниченную приложимость в математических рассуждениях классических законов исключенного третьего, (снятия) двойного отрицания, косвенного доказательства. Одним из результатов анализа таких рассуждений явилось возникновение интуиционистской логики, сформулированной в 1930 г.

Еще в 1912 г. американский логик и философ К. И. Льюис обратил внимание на т. н. парадоксы импликации, характерные для формального аналога условного высказывания в классической логике – материальной импликации. Льюис разработал первую неклассическую теорию логического следования, в основе которой лежало понятие строгой импликации. Наибольшую известность из них получила релевантная логика, развитая американскими логиками А. Р. Андерсоном и Н. Д. Белнапом.

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

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

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

4. Модальная логика и другие разделы неклассической логики

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

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

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

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

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

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

В логике времени к абсолютным модальностям относятся понятия «было» («всегда было»), «есть» и «будет» («всегда будет»). Сравнительными модальными понятиями являются «раньше», «позже» и «одновременно».