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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Сущность познания заключается в следующем:

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

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

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

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

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

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

Свойства абстрактного мышления:

1) отражение действительности в обобщенных образах;

2) опосредованное отражение действительности (не наблюдаемое непосредственно);

3) неразрывная связь с языком.

Предметом логики является правильное мышление, т. е. такое, которое соответствует логическим законам (принципам).

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

Выделяют несколько видов знаков:

1) знаки-копии (фотографии, отпечатки пальцев и т. п.);

2) знаки-признаки (дым – признак огня, боль – признак болезни и т. п.);

3) знаки-сигналы (звонок – начало занятия);

4) знаки-символы (дорожные знаки, буквы алфавита и т. п.). По происхождению языки бывают естественные и искусственные.

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

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

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

Общепринятым является язык логики предикатов. Его основными категориями являются: имена предметов, выражения, обозначающие свойства и отношения, и предложения.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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