формальная логика появилась в какую эпоху

Логика: предикатная, формальная и сентенциальная. Кванторы и создание информатики

1 | Введение

Логика, как эпистемологический инструмент, изобретена независимо в трёх отдельных государствах: Греции (Аристотелем), Китае (до правления Цинь Шихуанди) и Индии. В последних двух перечисленных государствах логика не распространилась настолько, чтобы «прижиться» и получить своё полноценное развитие. В античной же Греции произошло наоборот — логика сформировалась в своих основах столь определённо, что дополнилась только через 2 тысячелетия.

Значительные изменения в греческую логику, помимо Дж. Буля, О. де Моргана и Б. Рассела, внёс Готлоб Фреге — он придумал 2 вида кванторов. А также Курт Гёдель, открыв знаменитые две теоремы о неполноте, описывающие невозможность объединения множества доказуемых утверждений со множеством истинных. Он утверждал, что доказательства математики зависят от начальных предположений, а не фундаментальной истины, из которой происходят ответы. Одна из главных идей его работ состоит в том, что ни один набор аксиом, — в том числе математических, — не способен доказать свою непротиворечивость.

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

Платон — учитель Аристотеля

В другие периоды в логику также вносили дополнения:

античной школой стоицизма введены термины «модальности», «материальной импликации», «оценки смысла и истины», которые являются задатками логики высказываний;

также средневековыми схоластами введены несколько понятий;

Но главное, что сами логические операции не изменились. «Органон» Аристотеля, как сборник из 6 книг — первоисточник, где подробно описаны главные логические законы. «Органон» (с древнегреческого ὄργανον), означает — инструмент. Аристотель считал, что логика является инструментом к познанию. Он объединяет методом получения информации такие науки:

Физика — наука о природе;

Метафизика — наука о природе природы;

Биология — раздел физики, наука о жизни;

Психология — раздел физики, наука о душе;

Кинематика — раздел физики, наука о движении;

2 | Терминология

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

Сам Аристотель находит логике как средству убеждения иное применение: в риторике, спорах, дебатах, выступлениях и т. д., описывая это в своём труде «Риторика». В западной философии принято давать чёткие определения перед рассуждениями, поэтому определимся с терминами. Логика — наука о правильном мышлении.

В языковой зависимости возникают трудности трактовки термина «наука», но даже в оригинальном названии труда Фридриха Гегеля «Наука логики» — «Wissenschaft der Logik», употребляется слово «наука» (Wissenschaft). Поэтому придём к консенсусу и будем считать, что научной можно назвать ту дисциплину, в которой возможны открытия, исследование и анализ. Логика в таком случае — наука, ибо внутри неё возможно совершать открытия. Яркий пример — комбинаторика Лейбница.

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

Слово «мышление» понимается на интуитивном уровне, но чёткое объяснение затруднительно, обширно и иногда не объективно.

Бюст Аристотеля

3 | Формальная и неформальная логика

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

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

Законы формальной логики:

1. Закон тождества (А = А): эквивокация или двусмысленность недопустимы. Нельзя подменять одно понятие, другим.

2. Закон непротиворечия (А ∧ ¬А = 0): одно и то же утверждение не может быть истинным и ложным одновременно.

3. Закон исключения третьего или бивалентности (А ∨ ¬А = 1): утверждение может быть либо истинным, либо ложным — третьего не дано.

Принципы формальной логики:

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

4 | Сентенциальная логика (алгебра высказываний)

Базовые операции сентенциальной логики — логики высказываний, где заглавная буква означает предложение:

Отрицание (Утверждение ¬A истинно тогда и только тогда, когда A ложно): если имеем утверждение «А» и имеем утверждение «не А», то, когда утверждение «А» будет истинным, утверждение «не А» будет ложным. Также и когда утверждение «А» будет ложным — утверждение «не А» будет истинным.

Конъюнкция (Утверждение A ∧ B истинно, если и A, и B — истинны. Ложно в противном случае): в английском языке — союз «and/&»; в русском — «и». В утверждении «А и В», между «А» с «В» стоит знак конъюнкции — «∧». Утверждение «А и В» является истинным, если «А» с «В» являются истинными одновременно. Если хоть один элемент ложен, то всё утверждение ложно. «А и В» подразумевает, во-первых: истинность «А», во-вторых: истинность «В».

Дизъюнкция (Утверждение A ∨ B верно, если A или B (или оба) верны. Если оба не верны — утверждение ложно): в английском языке — союз «or»; в русском — «или». Существует два типа дизъюнкции — включающая и исключающая (в логике используется включающее «или»). Условия таковы, что утверждение «А или В» будет истинным, когда один или оба элемента истинны, но никогда — когда оба элемента ложны. Это противоречит нашему обыденному мышлению, т.к. когда спрашивают: «Чай или кофе?» мы выбираем один элемент, но в логике подразумевается выбор не только одного, а нескольких возможных.

Импликация (Утверждение A ⇒ B ложно, только когда A истинно, а B ложно): в английском языке — «therefore»; в русском языке — «следовательно». Подразумевает истинность одного элемента при истинности другого. Потому что условия истинности соблюдаются всегда, кроме случая, когда «А» истинно, а «B» ложно. Поэтому утверждение: «А» ложно, следовательно «B» ложно — истинно. Покажется, что когда «А» ложно, а «В» истинно — не соблюдаются условия, но это не так. Если вы скажете, что после дождя промокните — это утверждение будет истинным вне зависимости от того, пошёл дождь или нет.

Эквивалентность (Утверждение A ⇔ B истинно, только если оба значения A и B ложны, либо оба истинны): если истинно утверждение «А, следовательно В» и истинно утверждение «В, следовательно А», то истинными являются выражения «А эквивалентно В» и соответственно «В эквивалентно А». Условия истинности соблюдаются в случаях, когда оба элемента истинны или оба ложны.

5 | Предикатная логика первого порядка

В XX веке, после добавлений в логику работ Готфрида Лейбница и Готлоба Фреге, на основе этой дисциплины создаётся новая — информатика. Языки программирования основываются на видоизменённой логике Аристотеля — предикатной логике, описательная способность которой выше, чем у логики высказываний (сентенциальной). Прежде чем разобрать этот новый тип логики, поговорим об её отличии от сентенциальной. Главная особенность предикатной логики, что заглавными буквами обозначаются предикаты, а не целые высказывания. Можно сказать, что предикат — это математическая функция, которая «накладывает» множество субъектов на множество утверждений.

Высказывание «Я пошёл в зоопарк» — состоит из субъекта и предиката. В нём субъект — «Я», а предикат — то, что остаётся кроме субъекта («… пошёл в зоопарк»). Субъект — кто совершает действие в предложении или имеет выраженное свойство; предикат — всё оставшееся. Таким образом, если в сентенциальной логике высказывание «Я пошёл в зоопарк» выражалось бы одной заглавной буквой, то в логике предикатов использовались бы две буквы (заглавная и подстрочная): «P» — для предиката; «x» — для субъекта. Субъекты обозначаются переменной («x»), потому что в предикатной логике появляются две относительно новые операции: универсальный и экзистенциальный кванторы. Особенность кванторов заключается в том, что ими возможно записать выражение истинное при всех возможных переменных «х» или хотя бы при одном.

Универсальный квантор (квантор всеобщности) обозначается символом — «∀», с указанием переменной под ним. Возьмём утверждение «Все пингвины чёрно-белые». В логике высказываний оно бы выражалось как «X ⇒ P», где «X» — нечто являющееся пингвином, а «P» — нечто являющееся чёрно-белым. В предикатной логике же используются субъекты и предикаты, поэтому нечто являющееся пингвином (субъект), обозначалось бы переменной «х» снизу под предикатом. «»х» — является пингвином, следовательно, является чёрно-белым». Записывается так: P(х) ⇒ B(х), где P(х): х — пингвин; B(х): x — чёрно-белый.

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

Универсальный квантор переводится как: «Для всех «х» истинно, что …». Теперь утверждение «х — является пингвином, следовательно, является чёрно-белым» с универсальным квантором перед ним, расшифровывается так: «Для всех «х» истинно, что «х» — является пингвином, следовательно, является чёрно-белым». Это означает, что чем бы ни был объект во вселенной, если этот объект пингвин — он является чёрно-белым. Полная запись будет выглядеть так:

Экзистенциальный квантор (квантор существования) обозначается символом — «∃» с указанием переменной под ним. Возьмём утверждение «Некоторые пингвины серые». Как и в прошлый раз, выражение «»x» — является пингвином и «х» — является серым» возносим в скобки и ставим перед ними квантор, в этом случае экзистенциальный с указанной переменной. «»x» — является пингвином и «х» — является серым» записывается так: P(х) ∧ C(х), где P(х): х — пингвин; C(х): x — серый.

Экзистенциальный квантор можно перевести так: «Есть такой «х», для которого будет истинно, что …». Подразумевается, что есть как минимум один «х», для которого выполняются условия выражения. Если вам говорят, что картофеля не существует, достаточно показать одну картофелину для опровержения этого утверждения. Также и с кванторами, если существует хотя бы один серый пингвин, то утверждение об отсутствии серых пингвинов будет ложно. Полная запись экзистенциального квантора для выражения «Есть такой «х», для которого будет истинно, что «x» — является пингвином и «х» — является серым», будет выглядеть так:

6 | Заключение

Примечательно, что есть возможность перевода одного вида квантора в другой. Возьмём утверждение «Все пингвины не являются серыми». Для универсального квантора текстовая запись будет такая: «Для всех «х», будет истинным утверждение о том, что если «х» — является пингвином, то «х» — не является серым объектом». Но утверждение изменяется и для экзистенциального квантора, используя знак отрицания: «Нет такого «х», для которого бы было истинным утверждение о том, что «x»— является пингвином и «х»— является серым».

В середине XIX века, Готлоб Фреге дополнил логику Аристотеля двумя этими операциями, которые позже сформировались в отдельную дисциплину — предикатную логику. С введением в логику экзистенциального квантора (после универсального) — предикатная логика, в основе своей, завершилась как система…

Источники:

1 — Аристотель: «Органон» — «Первая аналитика» и «Вторая аналитика»;

2 — Аристотель: «Риторика»;

3 — Готлоб Фреге: «Исчисление понятий»;

4 — «Monatshefte für Mathematik und Physik» 1931 г.: Курт Гёдель «О принципиально неразрешимых положениях в системе Principia Mathematica и родственных ей системах»;

5 — The Early Mathematical Manuscripts of Leibniz;

6 — Мельников Сергей: «Введение в философию Аристотеля»;

7 — Гильмутдинова Нина: «Логика и теория аргументации»;

Источник

Формальная логика

В истории философии — отдельный раздел или направление логики конца XIX—начала XX века.

Содержание

История

По Канту, формальная логика (в «Критике чистого разума» она названа «общей») отвлекается от содержания понятий и имеет дело только с их формой:

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

Программа «логистики»

Формалистами (представителями т. н. «логистики», оформившейся на Женевском конгрессе 1904 г. усилиями Л. Кутюра, А. Лаланда и др.) конца XIX — начала XX века формальность логики связывалась с выделением значений истинности высказываний при переносе их из естественного языка в символическую нотацию. Логистики стремились дать обоснование математическому знанию (в перспективе — естествознанию) в пределах одной только формальной логики. Существенные усилия в этом направлении были приложены Д. Гильбертом, Кутюра, Б. Расселом.

Фокус на истинностном значении отличало формальную логику от других дисциплин, имеющих дело с формой, как-то лингвистика и такие математические дисциплины, как арифметика, геометрия, алгебра, математический анализ. Соответственно, к формальной логике ими относились все те разделы логики, которые удалось формализовать в символических формах, разработанных в XIX—начале XX век математиками и логиками О. де Морганом, Дж. Булем, Дж. Пеано, Г. Фреге, Расселом и другими.

«За бортом» формальной логики оставались такие логические дисциплины, как диалектика (в её средневековой версии и различных нововременных вариантах), индуктивная логика (Дж. С. Милль) и другие варианты логики науки.

Так понимаемая формальная логика переставала быть наукой о мышлении, и многими формалистами [7] [8] последнее вовсе дезавуировалось как «психологическое» понятие, не имеющее отношения к логике как таковой, которая-де должна сосредоточиться на изучении и совершенствовании языка, на структурных, а не процессуальных свойствах речевых конструкций. Эта точка зрения нашла развитие во взглядах Венского кружка, Львовско-Варшавской школы и, далее, англосаксонской аналитической философии. Однако другими формалистами (в частности, большинством российских [источник не указан 1309 дней] ) она не разделялась.

В то же время в 1910—20-х гг. претензии логистиков на обоснование точного знания убедительно критиковались А. Пуанкаре [9] и, позднее, примкнувшим к нему в этой критике Гильбертом, после чего логистическое движение сошло на нет.

Предмет и метод формальной логики

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

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

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

Претензии формальной логики на роль теории мышления несостоятельны, поскольку:

Утрата специфики

Распространение идей многозначной логики в различных её вариантах (в том числе, символизированных), а затем — идей абстрактных типов данных в теоретическом программировании проблематизировало «изнутри» специфику истинности как области значений логических функций, включающих лишь два возможных значения. Так, аппарат бесконечнозначной логики Лукасевича—Тарского [13] практически неотличим от аппарата теории вероятностей, а в теории типов данных логический (булев) тип ничем особенным не отличается от прочих ни с операторной точки зрения, ни с точки зрения машинной реализации.

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

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

Споры вокруг формальной логики в Советском Союзе

Однако вокруг этой тематики с переменным успехом продолжалась борьба «диалектиков» и «формалистов». В 1950—60-е гг. формальная логика (уже уйдя из школы) обосновалась в вузах и исследовательских институтах. Выдающуюся роль в восстановлении логических исследований и преподавания логики в стране сыграли такие представители формалистического направления, как С. А. Яновская, А. С. Есенин-Вольпин, Ю. А. Гастев, А. А. Марков и др.

Обратной стороной процесса стала контрреакция со стороны «формалистов» по отношению к логикам, стремившимся разрабатывать логику вне программы её формализации. Уже в 1960—70-е г. сложности с публикациями испытывали такие логики, как А. А. Зиновьев (вынужденный затем сменить язык и перейти на «математические» символы), Э. В. Ильенков (покинувший коллектив «Философской энциклопедии» в знак протеста против подмены логической проблематики математической) и др.

Приложения

Примечания

Литература

История логики

Судьба формальной логики в СССР

См. также

Ссылки

Логические операции с понятиями

2 константы: импликация () • Круги Эйлера/Диаграмма Венна • Теория множеств

Полезное

Смотреть что такое «Формальная логика» в других словарях:

ФОРМАЛЬНАЯ ЛОГИКА — наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержания. Определение «формальная» было введено И. Кантом с намерением подчеркнуть ведущую особенность Ф.л. в подходе к… … Философская энциклопедия

ФОРМАЛЬНАЯ ЛОГИКА — см. Логика … Большой Энциклопедический словарь

формальная логика — наука об элементарных законах и формах правильного мышления Большой словарь иностранных слов. Издательство «ИДДК», 2007 … Словарь иностранных слов русского языка

формальная логика — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN formal logic … Справочник технического переводчика

формальная логика — см. Логика. * * * ФОРМАЛЬНАЯ ЛОГИКА ФОРМАЛЬНАЯ ЛОГИКА, см. Логика (см. ЛОГИКА) … Энциклопедический словарь

формальная логика — formalioji logika statusas T sritis automatika atitikmenys: angl. formal logic vok. formale Logik, f rus. формальная логика, f pranc. logique formelle, f … Automatikos terminų žodynas

Формальная логика — наука о мышлении, предметом которой является исследование умозаключений и доказательств с точки зрения их формы и в отвлечении от их конкретного содержания. Ф. л. – базисная наука; её идеи и методы используются как в повседневной практике … Большая советская энциклопедия

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

ФОРМАЛЬНАЯ ЛОГИКА — наука, изучающая формы мышления в отвлечении от конкретного содержания суждений, умозаключений, понятий … Профессиональное образование. Словарь

логика (формальная логика) — (от греч. logos слово, понятие, рассуждение, разум) наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или структурой, и не зависит от… … Словарь терминов логики

Источник

Вводный раздел. Логика как наука

Что же и составляет величие человека, как не мысль?

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

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

Глава I. Предмет логики

1. Специфика логики как науки

Свое название логика получила от древнегреческого слова logos, означавшего, с одной стороны, слово, речь, а с другой – мысль, смысл, разум.

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

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

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

Какое же место занимает логика в системе наук?

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

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

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

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

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

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

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

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

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

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

2. Мышление как объект логики

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

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

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

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

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

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

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

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

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

В то же время мышление – не раз и навсегда данная, застывшая способность отражения, не простое «зеркало мира». Оно непрерывно изменяется и развивается само. В этом проявляется его включенность в универсальное взаимодействие как источник эволюции Вселенной. Из первоначально неразвитого, предметно-образного оно превращается во все более опосредованное и обобщенное. «Царство мыслей» все более разрастается и обогащается. Мышление все глубже проникает в тайны Вселенной и вовлекает в свою орбиту все более широкий круг предметов и явлений действительности. Ему оказываются подвластны все более мелкие частицы мироздания и все более крупномасштабные образования Вселенной. Его отражательные возможности усиливаются и возрастают за счет использования всё новых технических устройств: микроскопа, телескопа, земных и космических лабораторий и т. д. На определенной ступени своего развития естественное человеческое мышление как бы перерастает в искусственный интеллект, «машинное мышление». Создаются все более сложные технические устройства – компьютеры, способные по заложенной в них программе выполнять самые разнообразные мыслительные функции: считать, решать шахматные задачи, переводить с одного языка на другой.

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

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

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

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

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

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

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

3. Содержание и форма мышления

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

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

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

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

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

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

Для того чтобы получить хотя бы общее предварительное представление о логических формах, приведем в качестве примеров несколько групп мыслей.

Начнем с наиболее простых мыслей, выраженных словами «планета», «дерево», «адвокат». Нетрудно установить, что они весьма различны по содержанию: одна отражает предметы неживой природы, другая – живой, третья – общественной жизни. Но в них заключено и нечто общее: каждый раз мыслится группа предметов, причем в их общих и существенных признаках. Это и есть их специфическая структура, или логическая форма. Так, говоря «планета», мы имеем в виду не Землю, Венеру или Марс во всей их неповторимости и конкретности, а все планеты вообще, притом мыслим то, что объединяет их в одну группу и в то же время отличает от других групп – звезд, астероидов, спутников планет. Под «деревом» разумеем не данное дерево и не дуб, сосну или березу, а всякое дерево вообще в его наиболее общих и характерных чертах. Наконец, «адвокат» – это не конкретный индивид: Иванов, Петров или Сидоров, а адвокат вообще, нечто общее и типичное для всех адвокатов. Такая структура мысли, или логическая форма, называется понятием.

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

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

Рассмотрим далее примеры еще более сложных мыслей. В логике для наглядности и удобства анализа они располагаются следующим образом:

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

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

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

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

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

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

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

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

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

4. Связь мыслей. Закон мышления

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

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

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

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

О каких конкретно связях идет речь? Поскольку мышление имеет содержание и форму, то эти связи двоякого рода – содержательные и формальные. Так, в высказывании «Москва есть столица» содержательная, или фактическая, связь состоит в том, что мысль о конкретном городе – Москве соотносится с мыслью о специфических городах – столицах. Но здесь есть и иная, формальная связь, между самими формами мыслей – понятиями. Она выражается в русском языке словом «есть» и означает, что один предмет включается в группу предметов, а следовательно, одно понятие входит в другое, не исчерпывая его. Вместе с изменением содержания высказывания меняется и содержательная связь, а формальная может повторяться сколь угодно долго. Так, в высказываниях «Право есть общественное явление», «Конституция есть закон» содержательная связь каждый раз новая, а формальная – та же, что и в первом высказывании. Поскольку именно логика исследует такого рода связи между мыслями, отвлекаясь от их конкретного содержания, они получили наименование «логические связи». Их также существует огромное множество, что свидетельствует о развитости и богатстве человеческого мышления. Это связи между признаками в понятии и самими понятиями, между элементами суждения и самими суждениями, элементами умозаключения и умозаключениями. Например, связи между суждениями выражаются союзами «и», «или», «если. то», частицей «не» и др. В них отражаются реальные, объективно существующие связи и отношения между предметами и явлениями действительности: соединения, разъединения, обусловленности и пр.

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

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

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

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

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

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

5. Истинность и правильность мышления

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

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

Что значит истинность мышления? Это его свойство, производное от истины. Под истиной разумеется такое содержание мысли, которое соответствует самой действительности (а это в конечном счете проверяется практикой). Если же мысль по своему содержанию не соответствует действительности, то это ложь (заблуждение). Так, если мы выскажем мысль: «День солнечный» – и на улице действительно вовсю сияет солнце, то она истинна. И наоборот, ложна, если погода на самом деле пасмурная или даже идет дождь. Другие примеры: «Все юристы имеют специальное образование» – истина, а «Некоторые юристы не имеют специального образования» – ложь. Или: «Все свидетели дают верные показания» – ложь, а «Некоторые свидетели дают верные показания» – истина.

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

Какое значение имеют истинность и правильность в реальном мыслительном процессе? Они служат двумя фундаментальными условиями получения его успешных результатов. Это особенно рельефно проявляется в умозаключениях. Истинность исходных суждений – первое необходимое условие достижения истинного вывода. При ложности хотя бы одного из суждений определенного вывода получить нельзя: он может быть как истинным, так и ложным. Например, ложно, что «Все свидетели дают верные показания». При этом известно, что «Сидоров – свидетель». Значит ли это, что «Сидоров дает верные показания»? Вывод здесь неопределенный.

Но истинность исходных суждений – недостаточное условие получения истинного вывода. Другим необходимым условием выступает правильность их связи между собой в структуре умозаключения. Например:

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

Такой вывод может оказаться ложным, так как умозаключение построено неправильно. Петров может быть юристом, но не быть адвокатом, а работать прокурором, судьей и т. д.

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

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

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

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

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

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

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

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

Сказанное в пп. 3, 4 и 5 главы I и объясняет, почему логика определяется как наука о формах и законах правильного мышления, ведущего к истине.

Глава II. История логики (краткий очерк)

1. Возникновение и этапы развития традиционной формальной логики

Логика имеет долгую и богатую историю, неразрывно связанную с историей развития общества в целом.

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

История свидетельствует, что отдельные логические проблемы возникают перед мысленным взором человека уже свыше 2,5 тыс. лет назад – сначала в Древней Индии и Древнем Китае. Затем они получают более полную разработку в Древней Греции и Риме. Лишь постепенно складывается более или менее стройная система логических знаний, оформляется самостоятельная наука.

Каковы причины возникновения логики? Основными являются две. Одна из них – зарождение и первоначальное развитие наук, прежде всего астрономии и математики. Этот процесс относится к VI в. до н. э. и получает наиболее полное развитие в Древней Греции. Рождаясь в борьбе с мифологией и религией, наука основывалась на теоретическом мышлении, предполагающем умозаключения и доказательства. Отсюда – необходимость исследования природы самого мышления как средства познания.

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

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

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

Основателем логики – или, как иногда говорят, «отцом логики» – принято считать крупнейшего древнегреческого философа и ученого-энциклопедиста Аристотеля (384–322 гг. до н. э.). Следует, однако, учитывать, что первое довольно развернутое и систематическое изложение логических проблем фактически дал более ранний древнегреческий философ и естествоиспытатель Демокрит (460 – примерно 370 г. до н. э.). Среди его многочисленных трудов был и обширный трактат в трех книгах «О логическом, или О канонах» (от греч. kanon – предписание, правило). Здесь не только были раскрыты сущность познания, его основные формы и критерии истины, но и показана огромная роль логических рассуждений в познании, дана классификация суждений, подвергнуты решительной критике некоторые виды выводного знания и предпринята попытка разработать индуктивную логику – логику опытного знания.

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

Аристотелю принадлежит ряд трактатов по логике, объединенных позднее под названием «Органон» (от греч. organon – орудие, инструмент).

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

Будучи гигантским обобщением предшествующей практики мышления, логика Аристотеля оказала мощное влияние на ее последующее развитие, и прежде всего на научное познание. Так, под сильным впечатлением от этой науки написаны знаменитые «Начала» Евклида (около 323–283 гг. до н. э.). В них подведен величественный итог развития греческой математики за предшествующие три столетия и впервые с такой силой проявился на практике дедуктивный метод построения научной теории. Оценивая историческое значение труда Евклида как практического применения логики, А. Эйнштейн подчеркивал, что это удивительное произведение дало человеческому разуму ту уверенность в себе, которая была так необходима для его последующей деятельности.

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

В свою очередь, сама логика получила дальнейшее развитие как в Греции, так и в других странах, причем и на Западе и на Востоке. Это развитие вызывалось, с одной стороны, непрерывным совершенствованием и обогащением практики мышления (в котором все больший удельный вес занимало научное познание), а с другой – все более глубоким проникновением в сущность мыслительных процессов. А проявлялось оно не только во все более полном и точном истолковании сложившегося круга проблем, но и в последовательном расширении предмета логики за счет выдвижения и анализа все новых ее проблем. Первоначально это выразилось, например, в детализации и обобщении аристотелевской теории дедукции. Наряду с усиленной разработкой теории умозаключений из простых суждений исследовались и новые формы дедуктивного вывода – из сложных суждений. Такова, например, логика стоиков (Зенон, Хрисипп – III в. до н. э.). Кстати, именно им принадлежит честь введения термина «логика» в научный оборот.

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

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

Индуктивная логика была позднее систематизирована и развита английским философом и ученым Дж. Ст. Миллем (1806–1873) в его двухтомном труде «Система логики силлогистической и индуктивной». Она существенно повлияла на дальнейшее развитие научного познания, способствовала достижению им новых высот.

Потребности научного познания не только в индуктивном, но и в дедуктивном методе в XVII в. наиболее полно воплотил французский философ и ученый Р. Декарт (1596–1650). В своем главном труде «Рассуждение о методе. », основываясь на данных прежде всего математики, он подчеркивал значение рациональной дедукции как основного метода научного познания.

Последователи Декарта из монастыря в Пор-Рояле А. Арно и П. Николь создали труд «Логика, или Искусство мыслить». Он получил известность как «Логика Пор-Рояля» и долгое время использовался в качестве учебника по этой науке. В нем авторы вышли далеко за пределы традиционной логики и уделили главное внимание методологии научного познания, логике открытий. Логика рассматривалась ими как познавательное орудие всех наук. Создание подобных «расширенных логик» стало характерным в XIX–XX вв.

Известный вклад в развитие традиционной формальной логики внесли русские ученые. Так, уже в первых трактатах по логике начиная приблизительно с X в. предпринимались попытки самостоятельного комментирования трудов Аристотеля и других ученых. Оригинальные логические концепции в России разрабатывались в XVIII в. и были связаны прежде всего с именами М. Ломоносова (1711–1765) и А. Радищева (1749–1802). Расцвет логических исследований в нашей стране относится к концу XIX в. Так, М. Каринский (1840–1917) создал оригинальную общую теорию выводов – как дедуктивных, так и индуктивных. Труды его ученика Л. Рутковского (1859–1920) были посвящены прежде всего основным типам умозаключений, их дальнейшей разработке, и представляли собой, по сути, частный случай более общей теории логических отношений. С. Поварнин (1870–1952) стремился разработать общую теорию отношений в логике. Дальнейшее развитие традиционная логика получила в годы Советской власти. Она успешно разрабатывается и в наши дни.

2. Создание символической логики

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

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

Растущие успехи в развитии математики и проникновение математических методов в другие науки уже во второй половине XVII в. настоятельно выдвигали две фундаментальные проблемы. С одной стороны, это применение логики для разработки теоретических оснований математики, а с другой – математизация самой логики как науки. Наиболее глубокую и плодотворную попытку решить вставшие проблемы предпринял крупнейший немецкий философ и математик Г. Лейбниц (1646–1716). Тем самым он стал, по существу, зачинателем математической (символической) логики. Лейбниц мечтал о том времени, когда ученые будут заниматься не эмпирическими исследованиями, а исчислением с карандашом в руках. Он стремился изобрести для этого универсальный символический язык, посредством которого можно было бы рационализировать любую эмпирическую науку. Новое знание, по его мнению, будет результатом логической калькуляции – исчисления.

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

Идеи Лейбница получили некоторую разработку уже в XVIII в. и первой половине XIX в. Однако наиболее благоприятные условия для мощного развития символической логики сложились лишь со второй половины XIX в. К этому времени математизация наук достигла особенно значительного прогресса, а в самой математике возникли новые фундаментальные проблемы ее обоснования. Английский ученый, математик и логик Дж. Буль (1815–1864) в своих работах прежде всего применял математику к логике. Он дал математический анализ теории умозаключений, выработал логическое исчисление («Булева алгебра»). Немецкий логик и математик Г. Фреге (1848–1925) применил логику для исследования математики, ее оснований. Английский философ, логик и математик Б. Рассел (1872–1970) совместно с А. Уайтхедом (1861 – 1947) в трехтомном фундаментальном труде «Principia Mathematica» в целях ее логического обоснования попытался осуществить в систематической форме дедуктивно-аксиоматическое построение логики.

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

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

Значение символических языков в логике трудно переоценить. Г. Фреге сравнивал его со значением телескопа и микроскопа. А немецкий философ Г. Клаус (1912–1974) считал, что создание формализованного языка имело для техники логического вывода такое же значение, какое в сфере производства имел переход от ручного труда к машинному. Возникая на основе традиционной формальной логики, символическая логика, с одной стороны, уточняет, углубляет и обобщает прежние представления о логических законах и формах, особенно в теории выводов, а с другой – все более значительно расширяет и обогащает логическую проблематику.

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

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

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

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

Растущие потребности научно-технического прогресса обусловливают дальнейшее интенсивное развитие современной логики.

Остается сказать, что в разработку систем символической логики внесли важный вклад русские ученые. Среди них особенно выделяется П. Порецкий (1846–1907). Так, он первым в России начал чтение лекций по математической логике. Его собственные труды в этой области не только были на уровне трудов современных ему западноевропейских ученых, но и в ряде случаев превосходили их.

3. Становление диалектической логики

Если и традиционная (аристотелевская) и символическая (математическая) логика – это качественно различные ступени в развитии одной и той же формальной логики, то диалектическая логика – другая важнейшая составная часть современной логики как науки о мышлении. Обращаясь снова к истории, мы находим, что уже Аристотель поставил и попытался решить ряд фундаментальных проблем диалектической логики – проблему отражения реальных противоречий в понятиях, проблему соотношения отдельного и общего, вещи и понятия о ней и т. д. Элементы диалектической логики постепенно накапливались в трудах последующих мыслителей и особенно отчетливо проявились в работах Бэкона, Гоббса, Декарта, Лейбница. Однако как относительно самостоятельная логическая наука, качественно отличная от формальной логики своим подходом к мышлению, диалектическая логика стала оформляться лишь в конце XVIII – начале XIX в. И это также связано прежде всего с прогрессом наук. В их развитии все более четко обозначивался новый этап: из наук о сложившихся, «готовых» предметах они все более превращались в науки о процессах, о происхождении и развитии этих предметов, а также о той связи, которая объединяла их в одно великое целое.

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

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

К. Маркс в «Капитале» попытался применить диалектическую логику к анализу современного ему общества. Однако специальных работ по диалектической логике у Маркса и Энгельса нет.

Становление диалектической логики как науки продолжалось в разных странах и в конце XIX в., а также на протяжении всего XX в.

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

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

Глава III. Значение логики

1. Социальное назначение и основные функции логики

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

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

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

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

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

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

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

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

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

2. Роль логики в формировании логической культуры человека

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

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

Что же такое логическая культура? Это культура мышления, проявляющаяся в культуре письменной и устной речи. Она включает:

а) определенную совокупность знаний о средствах мыслительной деятельности, ее формах и законах;

б) умение использовать эти знания в практике мышления – оперировать понятиями, правильно производить те или иные логические операции с ними, строить умозаключения, доказывать и опровергать;

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

Разумеется, выработка логической культуры – дело долгое и трудное. И значение логики здесь, несомненно, велико. Говоря об этом значении, важно избегать двух крайностей: как переоценки логики, так и ее недооценки. С одной стороны, нельзя полагать, будто логика учит нас мыслить. Это было бы большим преувеличением. Логика не учит нас мыслить так же, как физиология не учит переваривать пищу. Мышление – такой же объективный процесс, как и пищеварение. Само использование логики предполагает наличие двух необходимых условий: во-первых, определенной способности к мышлению, а во-вторых, известной суммы знаний. Люди мыслили, и мыслили более или менее правильно, задолго до появления логики. Она сама возникла лишь как обобщение практики мышления, и притом правильного мышления. Еще знаменитый оратор древности Демосфен полагал, что мы от природы, до науки умеем излагать, как было дело, и доказывать то, что нам нужно, и опровергать. И в настоящее время многие люди, не зная логики, мыслят и рассуждают довольно правильно.

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

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

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

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

Г. Лейбниц вполне справедливо полагал, что если бы ученые так же старательно занимались логикой, как музыканты музыкой, то они творили бы чудеса.

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

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

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

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

3. Значение логики для юристов

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

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

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

Необходимость знания логики очевидна для медицинских работников. Они имеют дело с самым дорогим для человека – его жизнью и здоровьем. Поэтому в анализе признаков болезни и диагнозе, а значит, определении методов лечения особенно опасны логические просчеты. Известный врач А. Остроумов (1844–1908), именем которого названа, в частности, одна из крупнейших больниц Москвы, не раз заявлял, что есть медики, которые лучше, чем он, знают медицину, однако лучшим диагностиком считают именно его. «Почему, – спрашивал он, – мне удаются диагнозы лучше, чем другим? Только потому, что кроме медицины я знаю еще логику. Зная логику, я легко справляюсь с тем материалом, который дает история болезни в качестве своих признаков. Я могу построить силлогизм в любой форме, я могу сделать индуктивное умозаключение и оценить степень достоверности вывода. Любую логическую форму я могу применить к тем немногим показателям, которыми характеризуется данная болезнь на своей первой стадии. Всем этим другие медики воспользоваться не могут, ибо они не учились логике. Преимущество у меня именно в этом».

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

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

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

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

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

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

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

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

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

Цицерон М. Три трактата об ораторском искусстве. М., 1972. С. 209.

Источник