Книга: Кобзарь Логика учебник

Широкое распространение логики в России началось в XIX веке, когда с развитием высшего светского, университетского образования, где логика была обязательной учебной дисциплиной, стали чаще издаваться учебники и учебные пособия по логике. Можно говорить даже о формировании университетской логики в первой половине XIX века, она представлена именами П. Любовского, И. Любачинского, П. Лодия, А. Галича, Н. Рождественского и др. Однако, подлинный расцвет, связанный и с новаторскими разработками логики, падает на вторую половину этого века, на его конец и начало века ХХ. Он представлен именами В.Н. Карпова, М.И. Владиславлева, М.И. Каринского, Н.Я. Грота, Л.В. Рутковского, А.И. Введенского, П.С. Порецкого, Е.Л. Буницкого, С.О .Шатуновского, Н.А. Васильева, С.И. Поварнина и некоторых др. Этот период характерен еще и тем, что учебная литература по логике издавалась не только для вузов и гимназий, но и для самообразования, а это свидетельство ее широкого вхождения в общественное сознание. Однако, длилось сие недолго.

Послереволюционный период истории логики в советской России был неблагоприятен для формальной логики, она искусственно противопоставлялась диалектической, объявлялась метафизической, буржуазной наукой, и надолго была изъята из школьного учебного процесса. Лишь в 1947/48 учебном году была восстановлена, однако постоянно испытывала прессинг со стороны логики диалектической, в которую официально включалась как элементарный ее раздел, наподобие вхождения элементарной математики в высшую. Что касается математической логики, то она еще долгие годы существовала вне и независимо от формальной, в рамках математики, тем и спасая себя от идеологического давления. Хотя генетическое и историческое развитие их имеет много общего, однако на сегодняшний день математическая логика далеко отошла от традиционной, она часто, так же как в свое время и диалектическая, претендует на включение традиционной в себя в качестве элементарного учения. Ее развитие в единстве с формальной стало возможно лишь с 60-х гг., но все таки они слабо состыковываются. Для здравого смысла символика математической логики слишком сложна, необходимость же придавать естественным языковым выражениям символический вид (для достижения строгой однозначности), усложняет ее использование прежде всего гуманитариям, поэтому математическая логика так и не получила широкого распространения в среде гуманитариев. Эта логика, все таки, более ориентирована на "искусственный интеллект". Многие современные задачи логики и связаны сейчас с компьютеризацией образования.

Глава 1

ПРИНЦИПЫ (ОСНОВНЫЕ ЗАКОНЫ) И ЭЛЕМЕНТАРНЫЕ МЕТОДЫ МЫСЛИТЕЛЬНОЙ ДЕЯТЕЛЬНОСТИ

Каждой науке соответствуют определенные положения, при­нимаемые в этой науке без доказательства, без обоснования — в силу их фундаментальной простоты, а поэтому и умозрительной очевидности. Такие положения называ­ются принципами, а в некоторых дедуктивного характе­ра науках - аксиомами (постулатами). Своей простотой и монолитностью они выполняют роль основания (фундамента) всего здания науки. Имеет такие положения и логика. Их называют обычно основными законами логики: закон тож­дества, закон противоречия, закон исключенного третьего и за­кон достаточного основания. Но представляется, что это не совсем точно, поскольку законы открываются в рамках науки, исследуются и только потом формулируются ею. Принципы же - лишь принимаются. Аристотель, кстати, относился к этим законам как к основоположениям, определениям, принципам. Ведь, в самом деле, разве эти положения логикой исследуются, открываются ею - они в ней всего лишь формулируются, оговариваются и принимаются.

Другое дело, когда, учитывая особенности предметной области логики, эти принципиальные положения в ней могут быть конкретизированы тем или иным законом. Поэтому, с нашей точки зрения, хотя в логике обычно и формулируются четыре основных закона, но опираются они всего лишь на три принципа: принцип тождества, принцип противоречия и принцип достаточности. Название "основные законы логики" (основные законы мышления) порой дезориентирует студентов и они считают, что логика и есть наука об этих четырех законах. Конечно же, это значительное упрощение. Свести всю науку к исследованию всего лишь четырех, пусть и основных, законов не верно. Неверно потому, что эти законы логика не исследует. Далее, собственно логическими законами, т.е. законами, открываемыми данной наукой относительно форм мысли, являются, в частности, законы структуры этих форм мысли и законы связи их между собой. Закон, являясь самым существенным признаком научного знания, отражает общее, коренное, внутреннее, сущностное, не лежащее на поверхности, не дающееся исследованию непосредственно; закон обнаруживается в процессе познания, в процессе, идущем от отражения внешнего к отражению внутреннего, скрытого. Открытие и формулировка законов — показатель качественного развития нау­ки, ее проникновения вглубь изучаемого, исследуемого пред­мета. Поэтому, говоря о логике как науке о формах и законах мысли, под законами следует понимать те, которые отражают сущность, внутренне необходимое, закономерное в структуре отдельных форм мысли или в их связи между собой.

Осваивая принципиальные положения (основные законы) логики, важно знать особенности исторического их осознавания и формулировки, зависимость их от философии и практической стороны деятельности человека. Здесь без знакомства с историей фило­софии, историей логики не обойтись, В таких случаях рекомен­дуем обращаться к энциклопедиям, словарям, либо к работам по истории философии и логики, среди которых можно выде­лить работу А.О.Маковельского «История логики» (М., 1967), Н.И.Стяжкина и В.Д.Силакова «Краткий очерк истории общей и математической логики в России» (М., 1962), наконец - «Логический словарь-справочник» Н.И.Кондакова (М., 1975).

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

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

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

§ 1. ПРИНЦИП ТОЖДЕСТВА

Итак, первым принципом логики как науки является положение: всякая мысль тождественна сама себе. В виде формулы этот принцип записывается - "А есть А", или "А=А", где символом А обозначена любая мысль. На этот принцип опираются многие логические положения. В частности, если мы установили, что по каким-то показателям, по каким-то признакам мысль "А" тождественна мысли "В", то можно определенно утверждать, что и мысль "В" по тому же признаку будет тождественна мысли "А". Далее, если А по какому-то показателю равна В, а В при этом так же равна С, то необходимо, что и А по тому же показателю будет равна С. Например, мысль "Это - столица России" (А) тождественна по объему мысли "Это - крупнейший российский город" (В), поскольку обе эти мысли отражают один и тот же объект (предмет). Мысль В, в свою очередь тождественна мысли "Это - город России с 9-ти миллионным населением" (С), то понятно, что и мысль А будет по объемному показателю тождественна мысли С. Другими словами, на принципы опираются и в них находят свое обоснование многие другие, более частные положения логики, свойства форм мысли, в частности, свойства транзитивности, симметричности, коммутативности и др.

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

Противоречит ли закон тождества диалектическим законам? Учитывая своеобразие предмета логики, легко установить, что между ними нет того противоречия, на которое часто ссылаются для иллюстрации «метафизичности», антидиалектичности фор­мальной логики. Формальная логика рассматривает свой пред­мет не в движении, не в развитии, не в истории, а сам по себе, как таковой, ставший, неизменный по своей структуре. Диалектика, поскольку она пронизывает собой все, находит свое проявление в логике по-иному, она обнаруживается во внутреннем содержании ее. И верно, поскольку про­тиворечива сама природа (мир вещей), то противоречиво и отражение его, т.е. противоречиво мышление, противоречива, диалектичная по своему строению сама мысль. Так, понятие как форма мысли пред­ставляет собой единство своих составных элементов - объема и содержания. Объем и содержание понятия и есть несовпадающие, противоположные, противоречивые элементы данной формы мысли, диалектическое единство которых и определяет целостность понятия как формы мысли. Так же диалектичны по своему строению и другие формы мысли: суждение, умозаключение и др., что легко обнаруживается в самом содержании логического учения о них. (Подробнее об этом см.: Кобзарь В.И. Диалектичность формальной логики // Логика и развитие научного знания. Л., 1991).

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

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

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

Диалектичность же неотъемлемо присутствует в содержании многих закона логики, она в обратной зависимости объема и содержания понятия, в единстве и несовместимости субъекта и предиката суж­дения; в законах и правилах всех основных форм мысли, в их отношениях и пр., но только не в изменчивости структуры той или иной формы мысли. Формы мысли по своему строению, структуре постоянны.

§ 2. ПРИНЦИП ПРОТИВОРЕЧИЯ

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

Какие же мысли не тождественны между собой? Конечно же, противоречащие мысли. Но противоречие между мыслями может быть двояким: условно говоря, в широком смысле, как несовпа­дение мыслей между собой в случае «Этот предмет белый» и «Этот предмет не белый"; и в узком смысле, как такое несовпадение, которое доведено до предела, до крайности, полярности, т.е. проти­воположности («Этот предмет белый» и «Этот предмет черный»). Поэтому в логике принцип противоречия конкретизируется двумя законами: законом исключенного третьего для широкого противоречия, и для узкого - законом противоречия (точнее же - противоположности). К сожалению, названия этих законов несколько путают начинающих, но в этом не так уж сложно разобраться. Принцип противоречия, гласящий, что противоречащие мысли не могут быть одновременно истинными, в одинаковой степени относится как к широкому противоречию, так и к его особому виду — проти­воположности. Действительно, такие пары мыслей, как «Этот предмет белый» и «Этот предмет не белый» или «Этот предмет белый» и «Этот предмет черный», никогда одновременно истинными быть не могут. В этом общность закона противоре­чия и закона исключенного третьего. Различие же заключается в том, что если противоречащие в широком смысле мысли в одно и то же время не могут быть не только истинными, но и ложными, то противопо­ложные мысли (тоже противоречащие, но в узком смысле, и тоже не истинные одновременно) могут быть одновременно ложными. Для снятия некоторой неопределен­ности сформулируем полностью оба закона.

Закон исключенного третьего: противоречащие мысли не мо­гут быть одновременно ни истинными, ни ложными, т. е. если одна из противоречащих мыслей истинна, то другая будет обязатель­но ложна, и наоборот. Третьего в этом отношении нет: либо истина, либо ложь. Формульная запись его А v не-А, или АvА. Читается формула: истинно А или не-А (черта над символом - знак отрицания).

Закон противоречия (противоположности): противоречащие, точнее противополож­ные, мысли не могут быть одновременно истинными, по мень­шей мере одна из них ложна, по большей же мере обе могут быть ложными. Формальная запись его: А /\ В, или (поскольку В допустимо заменить на не-А) А /\ не-А, или А /\ А. Читаются формулы: "неверно, что А и В одновременно истинны", или более просто - "неверно, что А и В", или "неверно, что А и не-А одновременно истинны.

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

§ 3. ПРИНЦИП ДОСТАТОЧНОСТИ

В литературе по логике нет разночтений по первым трем законам, они были известны еще Аристотелю и в разных формулировках встречаются в его работах, прежде всего в "Органоне" и "Метафизике". Сложнее с законом достаточного основания. Общепринято считать, что этот закон введен в логику Г. Лейбницем. Он сформулировал его в начале XVIII в. так: все существующее имеет достаточное основания для своего существования. Сочинение с этой формулировкой закона было опубликовано лишь в 1765 г., т.е. во второй половине этого века. Однако, исторический приоритет все же не за Г. Лейбницем, а за Левкипом и Демокритом, куоторым приписывается довольно четкая формулировка этого положения: "ни одна вещь не возникает беспричинно, но все возникает на каком-нибудь основании и в силу необходимости" (Маковельский А.О. Досократики. Казань, 1914. Ч. 1. С. 208).

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