Логика что это
Логика что это
Логика — это основа и законы правильного мышления
Здравствуйте, уважаемые читатели блога KtoNaNovenkogo.ru. В течение дня самого обычного человека посещает тысячи мыслей. Мы думаем о реальных объектах и явлениях, о гипотетических ситуациях (кто победит, если Годзилла сразится с Кинг-Конгом?).
Но все мысли формируются одними и теми же способами по определенным принципам. Логика как раз изучает формы, методы и законы мышления.
Что такое логика?
Этот термин имеет греческие корни. Он образовался от слова «логос», что переводится как «рассуждение, разум, мысль, смысл». Это не случайно, ведь основы современной логики заложил древнегреческий философ Аристотель.
Толковый словарь Даля дает определение: «логика — это наука здравомыслия, наука о том, как правильно рассуждать». Ее основной задачей является поиск пути перехода от предпосылок к выводу, получение достоверного знания о предмете исследования.
На самом деле, интуитивное понимание логики впитывается в нас с молоком матери. Маленький ребенок рассуждает: «Если не слушаться родителей, можно понести наказание». С детства мы учимся строить свои высказывания правильным образом, делать верные выводы, поступать логично – адекватно ситуации.
Толковый словарь Ожегова предлагает 3 значения для слова «логика»:
Основы логики — формы логического мышления
Форма мышления – это оболочка для наших мыслей, способ по которому они строятся.
Существует всего 3 формы:
Все бесконечное пространство мыслей выражается этими тремя формами.
В нашей голове хранятся миллиарды понятий, которые мы объединяем в суждения, а потом делаем из них умозаключения. И все за доли секунды, даже не осознавая этого.
Законы логики (логического познания)
Законы логики — это принципы, следуя которым из истинных суждений можно гарантированно извлечь правильный вывод.
Существуют 4 закона. Порой их нарушают случайно, тогда получается ошибочное умозаключение — паралогизм. Иногда специально, с целью запутать собеседника и подвести его к ложной мысли. Тогда возникают софизмы – недостоверные выводы, которые кажутся логически правильными.
Закон тождества
Для тех, кто прогуливал в школе математику, уточню: тождество — это равенство.
Звучит закон так: понятие должно сохранять свой изначальный смысл на всем протяжении логического рассуждения.
Язык — многогранен, почти у любого слова есть несколько смыслов. Если в процессе подменить одно значение другим, получится ложный логический вывод.
Покажу на примере известной шуточной загадки: «Зачем вода в стакане?». Конечно, чтобы ее выпили. Но нет, она за стеклом. Тут как раз идет игра смыслов, нет тождества (однозначности). Понятия нельзя смешивать понятия и обязательно нужно избегать двусмысленности.
Закон непротиворечия
Два высказывания, которые несовместимы друг с другом, не могут быть одновременно истинными. Одно из них — ложное, а, возможно, и оба.
Вот Вася говорит, что Петя украл яблоко. Петя утверждает, что это сделал Вася. Эти высказывания противоречат друг другу. Значит, они не могут быть одновременно истинными. Но оба утверждения способны оказаться ложными, если есть третий вариант — на самом деле яблоко просто упало и закатилось под стол.
Логические противоречия бывают:
Контактные противоречия сразу бросаются в глаза, а вот дистантные отследить сложно. Например, неопытный оратор начинает речь с одной идеи, потом путается и в конце сам себя опровергает.
Закон исключенного третьего
Если из двух суждений одно является отрицанием другого, то они не могут быть одновременно ложными. Хотя бы одно должно быть истинным.
Этот закон тесно связан с предыдущим. Они похожи, но есть разница. Здесь рассматриваются высказывания, отрицающие друг друга («А» и «не А»), а не противоречия.
Вот пример: Вася говорит, что Петя украл яблоко. Петя утверждает, что он этого не делал. Тут нет никакого третьего варианта, одно из высказываний должно быть истинным. Это и есть пример использования закона исключенного третьего.
Закон достаточного основания
Всякое утверждение, чтобы считаться истинным и справедливым, должно быть доказано. Подтверждение можно получить эмпирическим (опытным) или теоретическим способами.
Вот ученый заявляет, что есть элементарные частицы, которые могут двигаться быстрее скорости света. Но никто не поверит, пока он не предоставит достаточно доказательств.
Основатель закона — немецкий ученый Готфрид Вильгельм Лейбниц. В повседневной жизни часто встречается нарушение этого правила.
Подробнее о законах логики:
Формальная и математическая логика
Логика разделяется на 2 направления – формальное и математическое.
Формальная логика концентрируется на форме мышления, способах и методах перехода от предпосылок к правильным умозаключениям. Содержание мыслительного процесса ее не касается.
С точки зрения формальной логики, доказательство существования черных дыр ничем не отличается от обоснования необходимости взять с собой зонт в дорогу. Отцом-основателем этой ветви науки является древнегреческий мыслитель Аристотель.
Математическая логика занимается проблемой применения математических методов для решения логических задач и создания алгоритмов логического вывода.
В ней используется строгий символический язык, который позволяет уйти от проблемы нарушения закона тождества из-за ошибочного толкования отдельных терминов.
Поясним на примере:
Символ математического языка | Значение |
---|---|
p | выражение «черепахи летают» |
0 | ложь |
1 | истина |
¬ | отрицание |
Вот так на языке математической логики можно описать выражение «черепахи могут летать»: |p|=0. А вот так выглядит фраза «черепахи не летают»: |¬p|=1.
Удачи вам! До скорых встреч на страницах блога KtoNaNovenkogo.ru
Эта статья относится к рубрикам:
Комментарии и отзывы (6)
Уметь мыслить логически — очень полезный навык, который сильно помогает в жизни. Жаль, что его почти не развивают в процессе обучения. Школьники и студенты просто зазубривают данные, не создавая логических связей между ними.
Значение логики сильно переоценивают. Многие гении часто принимали интуитивные и нелогичные решения, которые в последствии оказались судьбоносными. Не стоит возводить логику в культ.
Ну так черепахи летают или нет, что на сей счет думает математика? Я вот думаю, что летают, ведь если подбросить черепаху вверх, она будет лететь до тех пор пока не столкнется с Землей, а уберите силу тяжести и черепаха будет летать вечность.
Всё, что я понял из статьи, так только то, что никакого логического мышления у меня нет и никогда не было, вот так и живу, без логики.
Логика как наука: понятие, объект и предмет, законы логики
Наверное, нет человека, который не использовал бы слово «логика». Умозаключения, кажущиеся нам правильными, мы называем «логичными». А если кто-то поступает странно, мы говорим, что в его действиях отсутствует логика. Но на самом деле, логика это не только разумный ход рассуждений. Это целая наука, изучающая, как из одних суждений следует истинность или ложность других. Сегодня мы поговорим о том, что она собой представляет, какие законы логики и формы логического мышления существуют, а также выясним, какие функции выполняет эта наука.
Что такое логика?
Логика – это наука о формах, приёмах и операциях мышления, позволяющих устанавливать или опровергать истинность определенных утверждений, исходя из заведомо известных фактов. Сложно сказать точно, когда она возникла. Отдельные элементы логики присутствуют в работах древнегреческих, древнекитайских и древнеиндийских мыслителей 6-5 веков до н. э., но первым её основные принципы сформулировал Аристотель в 4 веке до н. э.
Изначально она возникла как направление в философии, но со временем развилась в сложную систему знаний и стала самостоятельной научной дисциплиной – формальной логикой. От остальных наук, изучающих мышление, она отличается тем, что абстрагируется от содержания размышлений и высказываний, а изучает их структуру и внутренние закономерности.
Термин «логика» образован от греческого слова λόγος (логос – мысль, слово, причина). Сегодня у него есть два основных значения. Им может обозначаться как научная дисциплина, изучающая закономерности мыслительных процессов и логических построений, так и совокупность правил, которых необходимо придерживаться при построении непротиворечивых умозаключений.
Объект и предмет логики
Как и любая наука, логика имеет объект и предмет изучения. Объектом логики является мышление человека – отображение различных явлений и процессов в его мыслях, а также построение умозаключений на основе уже имеющихся знаний о внешнем мире. Здесь следует отметить, что мышление является объектом не только для логики, но и для большого количества других наук.
Предмет логики – это система закономерностей правильного мышления. По сути, логика изучает один аспект познавательного мышления – законы и принципы, ведущие к построению непротиворечивых умозаключений. А поскольку философия изучает все аспекты познания мира, логика является философской наукой.
Формы логического мышления
Форма мышления – это структура мысли, определяющая взаимосвязи между отдельными её элементами.
Существует три основных формы мышления:
Какие бы мысли ни крутились сейчас в вашей головы, каждая из них относится к одной из этих трёх форм. Наш жизненный опыт включает знание миллионов разных понятий, которые мы мгновенно объединяем в суждения и делаем на их основе определённые умозаключения.
Законы логики
Существует 4 закона, знание которых позволяет лучше понять, что такое логика. Придерживаясь этих законов, можно гарантированно делать правильные и логичные умозаключения при условии наличия достаточного количества точно установленных фактов:
1. Закон тождества
Суть данного закона состоит в том, что суждение сохраняет своё предметное и смысловое значение в рамках одного контекста (например, в пределах одного логического рассуждения). Иными словами, недопустимо в процессе размышления подменять одно значение понятия или суждения другим, поскольку это приведёт к ложному выводу.
К примеру, утверждение «Выучить новый язык можно, общаясь с носителями на житейские темы» истинно в отношение английского или испанского языка, но слабо применимо к языкам программирования. Подобная подмена понятий является одним из грубых нарушений закона тождества. В данном примере она очевидна, но в некоторых случаях она используется как успешный демагогический приём.
2. Закон непротиворечия
Этот закон (называемый также «законом противоречия») гласит, что два высказывания, противоречащих друг другу, не могут быть истинными одновременно. Как минимум одно из них ложно. К примеру, если на столе лежит шар, полностью выкрашенный в один цвет, утверждения «Этот шар белый» и «Этот шар чёрный» не могут быть истинными одновременно. Но они оба вполне могут быть ложными, если шар, к примеру, красный.
Есть три основных типа логических противоречий:
Контактные противоречия обычно не пытаются скрыть. Их используют сознательно, чтобы смягчить негативное высказывание («Ты хорошо справился, но это не совсем то, о чём я просил») или, наоборот, усилить его («Отлично! Ты опять всё испортил!»). Дистантные противоречия могут применять демагоги, чтобы запутать собеседника, но чаще их используют по ошибке неопытные или плохо подготовившиеся ораторы.
3. Закон исключённого третьего
Если одно суждение отрицает другое, то одно из них является ложным, а второе – истинным. Здесь важно не путать, что подразумевается под отрицанием.
К примеру, утверждения «Этот шар белый» и «Этот шар чёрный» являются всего лишь взаимоисключающими. А отрицающими друг друга являются утверждения «Этот шар белый» и «Этот шар не белый» (одно из них обязательно является истинным, какого бы цвета ни был шар).
4. Закон достаточного основания
Этот закон ввёл Готфрид Лейбниц. Его суть состоит в том, что для того, чтобы считать утверждение истинным, необходимо располагать однозначными доказательствами, исключающими другие варианты. В повседневной жизни люди пренебрегают этим законом логики чаще, чем любым другим, делая однозначные выводы по косвенным фактам.
К примеру, если в середине лета вы несколько дней подряд не видели соседа, которого обычно встречаете ежедневно, можно предположить, что он уехал в отпуск. Скорее всего, так и есть, но всё же этот вывод противоречит закону достаточного основания, поскольку нельзя исключать, к примеру, болезнь или командировку.
Нарушение законов логики
Когда законы логики нарушаются, возникают логические ошибки. Существует три основных типа логических ошибок:
Софизмы – это основной инструмент в софистике. Они используются для того, чтобы запутать собеседника, подвести его к неправильным выводам или заставить выглядеть глупо перед окружающими. Парадоксы могут возникать, в частности, когда смешиваются количественные и качественные характеристики предметов и явлений либо присутствуют неявные условия. В таком случае рассуждение, выглядящее логически правильным, может приводить к выводам, противоречащим действительности или другому логически правильному рассуждению.
В качестве примера можно привести «Парадокс кучи». Его суть состоит в следующем: если из кучи гравия убрать 1 камешек, куча останется кучей, однако если продолжать этот процесс, то в какой-то момент куча перестанет существовать. Противоречие здесь в том, что убирание одного (любого!) камня не должно приводить к исчезновению кучи. И всё же она исчезает именно от того, что из неё убирают один камень. Причина этого парадокса в том, что не сформулирована взаимосвязь между количественными и качественными характеристиками кучи.
Другой пример логической ошибки – известная апория Зенона про Ахиллеса, который никогда не догонит черепаху. Условие парадокса специально формулируется так, чтобы исключить из рассмотрения точку пути, в которой атлет обгоняет черепаху. В результате доказательство того, что он не сможет этого сделать, не противоречит законам логики. Ошибка заложена в самой формулировке задачи, в которой неявно присутствует условие «На отрезке до точки X».
Виды логики
Объясняя, что такое логика, обычно говорят в первую очередь о формальной логике. При этом существует ещё два раздела, фактически являющихся самостоятельными дисциплинами: математическая (символическая) логика и диалектическая логика. Рассмотрим каждый из разделов подробнее.
1. Формальная логика
Формальная логика – это научная дисциплина, изучающая структуру и истинность утверждений. Её создателем считается Аристотель (4 век до н. э.), рассматривавший её как возможность оперировать формальными фактами, абстрагируясь от их природы и содержания. Это позволяет обеспечить логическую правильность суждений, поскольку анализу подвергается только структура утверждения, но не его содержание.
По сути, наше мышление подчиняется формальной логике. Основываясь на имеющихся фактах, мы делаем логические выводы и принимаем решения. Однако мы не можем полностью абстрагироваться от природы и содержания суждений, кроме того, эмоции могут оказывать очень сильное влияние на наши выводы и действия. Поэтому людям свойственны нелогичные поступки.
2. Математическая логика
Изначально это была часть формальной логики, но в 19 веке она выделилась в самостоятельный раздел (при этом в ней по-прежнему соблюдаются все принципы формальной логики). Она пополнилась новыми математическими методами и специализированными нотациями. Благодаря этому символическая логика превратилась в мощный инструмент, применяемый современными науками при решении задач и доказательстве теорий.
Данная модель делает процесс познания более точным, поскольку в ней слова естественных языков с размытым смыслом заменяются формальными определениями, исключающими двусмысленность и размытость суждений. Все суждения математической логики формулируются на точном языке, не допускающем неоднозначных трактовок. Для таких языков чётко определена семантика (значения терминов) и синтаксис (совокупность формул или правил построения объектов языка).
3. Диалектическая логика
Это философская дисциплина, изучающая мышление вообще. Её основателем считается немецкий философ Георг Гегель (1770-1831). Она основывается на формальной логике, и всё же в ней учитывается содержание явлений, объектов и процессов. В ней используются такие принципы как:
Зачем нужна логика?
Главная цель логики заключается в том, чтобы обеспечить эффективный инструментарий для поиска решений и доказательств, применимый в любых сферах знаний. Благодаря логике мы можем оперировать фактами, достоверность которых установлена и доказана. Логика необходима при решении таких задач как:
Заключение
Логика – это наука о правильном мышлении и о способах рассуждения, не ведущих к ошибочным выводам. Это одна из важнейших научных дисциплин, ведь её принципами и законами пользуются все существующие науки. И даже если мы этого не замечаем, вся наша жизнь подчинена логике. Мы используем её в быту и общении, она заложена в законах, которые мы соблюдаем, без неё был бы невозможен научно-технический прогресс, достижениями которого мы пользуемся ежедневно.
Логика: предикатная, формальная и сентенциальная. Кванторы и возникновение информатики
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 ложны, либо оба истинны): если истинно утверждение «А, следовательно В» и истинно утверждение «В, следовательно А», то истинными являются выражения «А эквивалентно В» и соответственно «В эквивалентно А». Условия истинности соблюдаются в случаях, когда оба элемента истинны или оба ложны.
Значение переменных
Отрицание (для А)
A
B
0
0
0
1
1
0
1
1
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 — Гильмутдинова Нина: «Логика и теория аргументации»;
Вводный раздел. Логика как наука
Что же и составляет величие человека, как не мысль?
Прежде чем непосредственно приступить к проблематике логики, необходимо иметь хотя бы общее представление о самой этой науке – уяснить себе ее предмет, познакомиться с историей ее возникновения и развития вплоть до наших дней, осмыслить ее принципиальное значение для научного познания и практической деятельности вообще, для юристов в частности и особенности.
Без такого общего представления о логике в целом трудно понять отбор самих логических проблем, оценить место и значение каждой из них в ряду других.
Глава 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.