Особенности современной логики
Непосредственным результатом революции, произошедшей в логике в конце XIX – начале XX вв., было возникновение логической теории, получившей со временем название "классическая логика". У ее истоков стоят ирландский логик Д. Буль, американский философ и логик Ч. Пирс и немецкий логик Г. Фреге. В их работах была реализована идея переноса в логику тех методов, которые обычно применяются в математике. Классическая логика по-прежнему остается ядром современной логики, сохраняющим как теоретическую, так и практическую значимость. Таким образом, классическая логика продолжает традиции аристотелевского направления в развитии логики, используя при этом современный математический и категориальный аппарат.
Однако в начале XX в. началась критика классической логики. В результате возникло множество новых направлений, которые получили название неклассической логики.
В отличие от классической неклассическая логика не сформировалась как единое целое, а представляет собой разнородные направления.
Интуиционистская логика
В 1908 г. голландский математик и логик Л. Брауэр подверг сомнению неограниченную приложимость в математических рассуждениях классических законов исключенного третьего (который гласит, что либо само утверждение, либо его отрицание истинно), двойного отрицания, косвенного доказательства. В результате данного анализа в 1930 г. возникла интуиционистская логика, которая не содержала данных законов. Закон исключенного третьего, считал Брауэр, возник в рассуждениях о конечном множестве объектов. Затем он был распространен и на бесконечные множества. Когда множество конечно, мы можем решить, все ли объекты, входящие в него, обладают некоторым свойством, проверив один за другим все объекты данного множества. Для бесконечных множеств такая проверка невозможна.
По выражению немецкого математика Г. Вейля, доказательство существования, опирающееся на закон исключенного третьего, извещает мир о существовании сокровища, при этом не указывая местонахождения и не давая возможности им воспользоваться.
Выдвигая на первый план математическую интуицию, интуиционисты не придавали большого значения систематизации логических правил. Только в 1930 г. ученик Брауэра А. Рейтинг опубликовал работу с изложением особой интуиционистской логики.
В дальнейшем идеи, касающиеся ограниченной приложимости закона исключенного третьего и близких ему способов математического доказательства, были развиты русскими учеными А. Н. Колмогоровым, В. А. Гливенко, А. А. Марковым и другими.
Многозначная логика
В 20-е гг. начало складываться новое направление – многозначная логика. Особенностью классической логики является принцип, согласно которому каждое высказывание либо истинно, либо ложно. Это так называемый принцип двузначности. Ему противопоставляют многозначные системы. В них, наряду с истинными и ложными суждениями, допускаются неопределенные суждения, учет которых меняет всю картину рассуждения.
Принцип двузначности был известен еще Аристотелю, который не считал его, однако, универсальным и не распространял его действия на высказывания о будущем. Аристотелю казалось, что высказывания о будущих случайных событиях, наступление которых зависит от человека, не являются ни истинными, ни ложными. Они не подчиняются принципу двузначности. Прошлое и настоящее определены однозначно и не подвержены изменению. Будущее же в определенной мере свободно для изменения и выбора.
Подход Аристотеля уже в древности вызывал ожесточенные споры. Его высоко оценивал Эпикур, который допускал существование случайных событий. Другой древнегреческий логик Хрисипп, категорически отрицавший случайное, с Аристотелем не соглашался. Он считал принцип двузначности одним из основных положений не только всей логики, но и философии.
В более позднее время положение, что всякое высказывание либо истинно, либо ложно, оспаривалось многими логиками и по множеству причин. В частности, указывалось на неприменимость данного принципа к высказываниям о неустойчивых, переходных состояниях, о несуществующих объектах, об объектах, недоступных наблюдению.
Но только в современной логике оказалось возможным реализовать сомнения в универсальности принципа двузначности в форме логических систем. Первые многозначные логики построили независимо друг от друга польский логик Я. Лукасевич в 1920 г. и американский логик Э. Пост в 1921 г.
Лукасевичем была предложена трехзначная логика, основанная на предположении, что высказывания бывают истинными, ложными и неопределенными. К последним были отнесены высказывания наподобие: "Студенты летом поедут в отпуск". Событие, описываемое данным высказыванием, сейчас никак не определено – ни позитивно, ни негативно. Значит, высказывание не является ни истинным, ни ложным, оно только возможно.
Все законы трехзначной логики Лукасевича оказались также и законами классической логики, однако обратное утверждение смысла не имело. Ряд классических законов в трехзначной логике отсутствовал. Среди них были закон противоречия, закон исключенного третьего, закон косвенного доказательства и ряд других.
В отличие от Лукасевича Э. Пост подходил к построению многозначной логики чисто формально. Допустим, 1 обозначает истину, а 0 – ложь. Естественно допустить, что числа между единицей и нулем обозначает степени истины.
В то же время, чтобы построение логической системы перестало быть чисто техническим упражнением, а сама система – сугубо формальной конструкцией, необходимо придать символам данной системы определенный логически смысл и содержательно-ясную интерпретацию. Вопрос о такой интерпретации – самая сложная и спорная проблема многозначных логик. Как только между истиной и ложью допускается что-то промежуточное, встает вопрос: что означают высказывания, не относящиеся ни к истинным, ни к ложным? Кроме того, введение промежуточных степеней истины изменяет обычный смысл самих понятий истины и лжи.
Было много попыток содержательно обосновать многозначные логические системы, однако удовлетворительного объяснения до сих пор нет.
Релевантная логика
Классическая логика подвергалась критике за то, что не дает корректного описания логического следования. Основная задача логики – систематизация правил, позволяющих из принятых утверждений выводить новые. Логическое следование – это отношение, существующее между утверждениями и обоснованно выводимыми из них заключениями. Задача логики – уточнить интуитивное представление о следовании и сформулировать на этой основе однозначно определенное понятие следования. Логическое следование должно вести от истинных положений только к истинным. Классическая логика удовлетворяет данным требованиям, однако многие ее положения плохо согласуются с нашими привычными представлениями. В частности, классическая логика говорит, что из противоречивого суждения "Студент Иванов – отличник", и "Студент Иванов не является отличником" следуют такие утверждения: "Студенты не хотят учиться". Но между исходным утверждением и этими якобы вытекающими из него утверждениями нет никакой содержательной связи. Здесь прослеживается отход от обычного представления о следовании. Следствие, которое выводится, должно быть как-то связано с тем, из чего оно выводится. Классическая логика пренебрегает этим очевидным обстоятельством.
На эти так называемые "парадоксы импликации" еще в 1912 г. обратил внимание американский логик К. И. Льюис. Он разработал неклассическую теорию логического следования, в основе которой лежало понятие строгой импликации. Наиболее полное развитие данная концепция получила в релевантной логике, разработанной американскими логиками А. Р. Андерсоном и Н. Д. Белнапом.
Особенности логических законов и их связь с принципами мышления
Теоретическую основу любой науки составляют законы, которым подчиняются ее объекты. Существуют такие законы и в логике. Но прежде чем рассматривать законы логики, целесообразно раскрыть понятие закона вообще.
С точки зрения современных научных представлений окружающий нас мир есть единое целое. Связность – всеобщее свойство составляющих его элементов. Это способность предметов и явлений существовать не порознь, а вместе, вступая в те или иные связи и отношения. При этом образуются целостные системы – атом. Солнечная система, живой организм, общество и т. п. Эти связи и отношения многообразны. Они могут быть внешними и внутренними, существенными и несущественными, случайными и необходимыми и т. д. Одним из видов связей является и закон.
Закон – это внутренняя, существенная и необходимая связь между предметами и явлениями, повторяющаяся всегда и всюду при определенных условиях.
Каждая наука изучает свои специфические законы. Так, в физике – это законы всемирного тяготения, сохранения и превращения энергии и т. д. В юридических науках – это законы возникновения и развития государства и права и другие. Все эти законы превращают отдельные элементы, изучаемые науками, в стройные и связные теоретические системы.
Мышление тоже имеет связный характер, но его связность качественно иная. Структурными элементами здесь выступают не сами вещи, а лишь мысли, то есть отражения вещей. Поэтому связность проявляется в том, что возникающие и циркулирующие в головах людей мысли существуют не отдельно и изолированно одна от другой, подобно осколкам разбитого зеркала, в каждом из которых отражаются лишь какие-то отдельные кусочки действительности. Они так или иначе связаны между собой, образуя более или менее стройные системы знаний вплоть до наиболее общей системы взглядов и представлений о мире в целом и отношении к нему человека (мировоззрение).
В логике аналогом любой формы целостности, в которой прослеживаются те или иные связи, выступает универсум – та совокупность объектов, мыслимая как единое целое, на элементах которой мы рассматриваем необходимые нам связи. Универсум задает предметную область логических действий, связывает в одно целое все части рассуждений. Например, если мы собираемся рассматривать боевые машины, то универсумом выступают все боевые машины, существующие сейчас, существовавшие ранее и те, которые будут существовать в будущем.
Итак, логический универсум представляет собой систему, в которой отдельные элементы связаны между собой в процессе рассуждения определенными связями. О каких же связях идет речь? Поскольку мышление имеет содержание и форму, то эти связи двоякого рода – содержательные и формальные. Так, в высказывании "Москва есть столица" содержательная, или фактическая, связь состоит в том, что мысль о конкретном городе – Москве соотносится с мыслью о специфических городах – столицах. Но здесь есть и иная, формальная связь между самими формами мыслей – понятиями. Она выражается в русском слове "есть" и означает, что один предмет включается в группу предметов. С изменением содержания высказывания меняется и содержательная связь, а формальная может повторяться сколь угодно долго. Так, в высказываниях "Право есть общественное явление" и "Конституция есть закон" содержательная связь каждый раз новая, а формальная – одна и та же. Так вот логика изучает не содержание высказываний, а их форму. Соответственно, формальные связи между высказываниями получили название "логические связи". Логических связей так же существует огромное множество. Это связи между признаками в понятии и самими понятиями, между элементами суждения и самими суждениями и т. п. Они выражаются союзами "и", "или", "если…то" и другими. В них отражаются реальные, объективно существующие связи и отношения между предметами и явлениями действительности: соединения, разъединения, обусловленности и прочее. Особым видом логической связи является закон мышления, или закон логики.
Закон логики – это внутренняя, необходимая и существенная связь между мыслями в процессе рассуждения, рассматриваемая со стороны ее формы.
Происхождение законов мышления обязано рациональной активности человека. Выраженная в правилах, нормах и рекомендациях, целесообразная активность находит свое воплощение в принципах, имеющих всеобщий характер.
В мышлении действуют разные законы. Прежде всего выделим те, с помощью которых раскрывается развитие и функционирование объективного мира и процесс познания. Это законы диалектической логики. Формальная же логика изучает законы связей между мыслями в процессе рассуждения.
Законы формальной логики сложились на основе многовековой практики человеческого познания. Такая долгая история позволила выявить специфические черты, присущие именно законам формальной логики. В отличие от законов естествознания, которые описывают связь явлений природы, многократно повторяемую в идентичных условиях, законы мышления предписывают определенные способы интеллектуальной деятельности. Цель законов логики – сформулировать основания, фундамент правил и рекомендаций, следуя которым можно достичь истины. Поэтому законы мышления не являются законами в том смысле, в котором указанный термин используется для описания явлений природы.
С другой стороны, существуют социальные законы: юридические акты, государственные указы и т. п. Они устанавливаются людьми и имеют исторический характер. Законы мышления, в отличие от них, имеют внеисторический характер и связаны с характером мыслительной деятельности человека как биологического существа.
Еще одной особенностью законов логики является то, что их невозможно ни опровергнуть, ни подтвердить. Они представляют собой априорные, известные до всякого опыта истины. Исходя из этого, логические законы содержат только логические константы и переменные. Таким образом, они являются истинными в любой непустой области объектов. Какие бы конкретные высказывания не подставлялись в эти законы вместо переменных, всегда будут получаться истинные высказывания.
Кроме того, в логике используются принципы человеческого мышления, часто называемые основными законами логики, хотя более правильно назвать их законами человеческого мышления. Это прежде всего закон тождества, закон противоречия, закон исключенного третьего и закон достаточного основания. Основные законы мышления – это очевидные утверждения, являющиеся аксиомами. Они образуют фундамент логики как науки.
Закон тождества
Любая мысль в процессе рассуждения должна иметь определенное, устойчивое содержание. Это коренное свойство мышления – его определенность – выражает закон тождества:
Всякая мысль в процессе рассуждения должна быть тождественна самой себе (а есть а, или а = а, где под а понимается любая мысль).
Закон тождества может быть выражен формулой р→р (если р, то р), где р – любое высказывание, → – знак импликации.
Из закона тождества следует: нельзя отождествлять различные мысли, нельзя тождественные мысли принимать за нетождественные. Нарушение этого требования в процессе рассуждения нередко бывает связано с различным выражением одной и той же мысли в языке.
Например, два суждения: "Н совершил кражу" и "Н тайно похитил чужое имущество" – выражают одну и ту же мысль (если, разумеется, речь идет об одном и том же лице). Предикаты этих суждений – равнозначные понятия: кража и есть тайное хищение чужого имущества. Поэтому было бы ошибочным рассматривать эти мысли как нетождественные.
С другой стороны, употребление многозначных слов может привести к ошибочному отождествлению различных мыслей. Например, в уголовном праве словом "штраф" обозначают меру наказания, предусмотренную Уголовным кодексом, в гражданском праве этим словом обозначают меру административного воздействия. Очевидно, употреблять подобное слово в одном значении не следует.
Отождествление различных мыслей нередко связано с различиями в профессии, образовании и т. д. Так бывает в следственной практике, когда обвиняемый или свидетель, не зная точного смысла некоторых понятий, понимает их иначе, чем следователь. Это нередко приводит к путанице, неясности, затрудняет выяснение существа дела.
Отождествление различных понятий представляет собой логическую ошибку – подмену понятия, которая может быть как неосознанной, так и преднамеренной.
Соблюдение требований закона тождества имеет важное значение в работе юриста, требующей употребления понятий в их точном значении.
При разбирательстве любого дела важно выяснить точный смысл понятий, которыми пользуются обвиняемый или свидетели, и употреблять эти понятия в строго определенном смысле. В противном случае предмет мысли будет упущен, и вместо выяснения дела произойдет его запутывание.
Таким образом, закон тождества представляет закон человеческого мышления, гласящий, что в процессе рассуждения значение понятий и рассуждений изменять запрещается. Они должны оставаться тождественными сами себе, иначе свойства одного объекта незаметно окажутся приписанными совершенно другому объекту.
Данное требование является справедливым не только в русле логики, но и в других науках, поэтому данный закон носит всеобщий характер.
Закон непротиворечия
Логическое мышление характеризуется непротиворечивостью. Противоречия разрушают мысль, затрудняют процесс познания. Требование непротиворечивости мышления выражает формально-логический закон непротиворечия:
Два несовместимых друг с другом суждения не могут быть одновременно истинными; по крайней мере одно из них необходимо ложно.
Этот закон формулируется следующим образом: неверно, что а и не-а (не могут быть истинными две мысли, одна из которых отрицает другую). Он выражается формулой