Лекция 1. Логика как наука

Ю. В. Баскаков, А. В. Попова

ББК 87.4 я7

Л О Г И К А

Теория и практика

Учебное пособие

Электронный вариант

Ростов-на-Дону, 2011

Логика. Теория и практика: Учебное пособие. Издание 2-е, дополненное – Ростов н/Д: Рост. гос. ун-т путей сообщения. Ростов н/Д, 2005. – 45 с. Баскаков Ю. В., Попова А. В.

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

Пособие предназначено для студентов всех специальностей. Одоб­рено к изданию кафедрой философии и истории Отечества университета.

Теоретический курс

Лекция 1. Логика как наука

1. Предмет формальной логики и ее значение. Понятие логической формы.

2. Исторические этапы развития логической науки.

3. Взаимосвязь логики и философии. Логика формальная и диалектическая.

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

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

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

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

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

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

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

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

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

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

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

2. Формальная логика – одна из древнейших наук. Изучением логических форм занимались философы еще в XI–V веках до н.э. Они разрабатывали некоторые вопросы структуры мышления и языковых грамматических форм, в которых оно реализуется. Это было связано прежде всего с запросами развития ораторского искусства и ведения дискуссий по различным вопросам жизни государства, этики и эстетики. Наиболее распространены были такие дискуссии на родине античной демократии – в Древней Греции, где выдающиеся ораторы пользовались большим уважением. Другим важным стимулом развития логики были запросы становящегося научного знания, особенно математики.

В Древней Греции проблемы логики исследовали Демокрит (ок. 460 — ок. 370 до н.э.), Сократ (469 — 399 до н.э.), Платон (427— 347 до н.э.). Однако основателем науки логики по праву считается величайший мыслитель древности, ученик Платона — Аристотель (384–322 до н.э.). Он впервые обстоятельно и всесторонне исследовал основные для науки логики вопросы: систематизировал формы мышления − понятие, суждение, умозаключение, сформулировал логические законы − закон тождества, противоречия, исключенного третьего, вывел логические правила дедуктивного умозаключения и доказательства. Ему принадлежат шесть логических трактатов, которые впоследствии были объединены под общим названием «Органон» (орудие, метод исследования).

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

В средние века, когда философию превратили в служанку теологии (богословия), логика Аристотеля была оторвана от объективной основы и подчинена интересам богословия. Однако логические исследования, отстаивающие материалистические основы учения о мышлении и познании, продолжались. В работах, например, таджикского философа Ибн-Сины (Авиценна) (980–1037) развиваются основные принципы логики Аристотеля.

Зарождение капитализма, развитие промышленности, мореплавания и торговли в Новое время (XVI–XVII вв.) поставили новые задачи научного познания природы и самого мышления. Аналитический подход к окружающему миру определил развитие индуктивной логики как метода выведения из опытного знания об единичных общих положений для целых классов явлений. Это способствовало массовому открытию законов науки. Разработка этого нового направления в логике связана с именем английского философа Френсиса Бэкона (1561–1626).

В дальнейшем логика разрабатывалась многими мыслителями, среди которых необходимо отметить французского философа и математика Рене Декарта (1596–1650), углубившего аристотелевское учение о дедукции, немецкого философа и математика Готфрида Лейбница (1646–1716), сформулировавшего четвертый логический закон – закон достаточного основания. Ему же принадлежит идея перевода логики на язык математики с целью облегчения проверки истинности результатов мышления. Он, в частности, писал, что единственное средство улучшить наши умозаключения это сделать их, как у математиков, наглядными, так, чтобы свои ошибки находить глазами, и, если среди людей возникнет спор, нужно просто сказать: «Посчитаемся, тогда без особых формальностей можно будет увидеть, кто прав». Идея Лейбница о возможности и продуктивности сведения логических рассуждений к вычислениям в течение многих лет не находила развития и применения.

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

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

Против абсолютизации законов логики выступили с идеалистических позиций немецкий философ Иммануил Кант (1724–1804) и Георг Вильгельм Фридрих Гегель (1770–1831). Так, И. Кант обычную логику трактовал сугубо формалистически, в полном отрыве от содержания мысли. Он выдвинул иной тип логики (трансцендентальной), в которой логические формы рассматриваются как априорные (существующие до всякого опыта, т.е. врожденные) свойства рассудка, обусловливающие возможность всеобщего и необходимого знания явлений опыта (сущность вещей, по Канту, непознаваема). Помимо трансцендентальной логики Кант признавал и существование «чисто формальной» логики, которая имеет дело с «чистыми формами мышления».

Обстоятельную критику кантовского априоризма (и агностицизма) дал Г. Гегель В то же время он критически относился вообще к формальной логике как «метафизической». Свое отношение к формальной логике он строил исходя из объективно-идеалистически понятого положения о тождестве законов мышления и бытия. Законы мышления, по мнению Гегеля, носят всеобщий характер, распространяются на все сферы действительности, определяя ее развитие. Но такой универсальной логикой должна стать не формальная логика, а диалектическая, рассматривающая саморазвитие абсолютной Идеи (мировой Мысли), «инобытием» которой является внешняя для человека природная и социальная реальность.

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

С конца XIX века формальная логика шагнула далеко вперед. В XX веке возникла математическая логика, которая, опираясь на указанную выше идею Г. Лейбница, широко применила метод математической формализации и специальный аппарат символов к определенному кругу логических операций (Б. Рассел, Д. Гильберт, В. Аккерман и др.). Формализация и предельное абстрагирование (отвлечение) от конкретного содержания высказываний позволили решить ряд трудных логических задач в области математики и нашли применение в работе электронно-вычислительных машин, теории программирования и проч. Значительный вклад в разработку современной математической логики внесли отечественные математики А.П. Колмогоров, А.А. Марков, П.С. Новиков и другие.

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

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

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

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

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

Она поднимает наше мышление на более высокую ступень. Но и здесь в процессе познания противоречивой сущности вещей требование логической стройности мысли остается правомерным и необходимым. На каждом уровне научного познания диалектика не только «уживается» с формальной логикой, но подчеркивает ее необходимость, показывает, что без изучения формальной логики нельзя овладеть диалектическим способом мышления. Для усвоения диалектического метода необходимо в качестве предпосылки научиться элементарно правильному мышлению без нарушения законов и правил формальной логики. «...Кто не умеет мыслить логически последовательно и непротиворечиво, тот не сумеет мыслить и диалектически», – писал известный отечественный философ Б.М.Кедров[2].