Сфера конкретных интересов логики существенно менялась на протяжении истории, но основная цель всегда оставалась неизменной: исследование того, как из одних утверждений можно выводить другие.
2. Логическая правильность
Основной задачей логики является отделение правильных способов умозаключения (вывода) от неправильных. Правильные выводы называются также обоснованными, последовательными, или логичными.
Правильное умозаключение – умозаключение, схема которого представляет собой закон логики, в силу чего из истинных посылок с необходимостью вытекает истинное следствие.
Правильным является, например, следующее умозаключение, использовавшееся в качестве стандартного примера еще в Древней Греции:
Все люди смертны.
Все греки люди.
Следовательно, все греки смертны.
Первые два высказывания – это посылки умозаключения, третье – его заключение.
Еще один пример правильного умозаключения, связанный со знаменитым опытом Фуко.
«Если Земля вращается вокруг своей оси, маятники, качающиеся на ее поверхности, постепенно изменяют плоскость своих колебаний; Земля вращается вокруг своей оси; значит, маятники на ее поверхности постепенно изменяют плоскость своих колебаний».
Как протекает это рассуждение о Земле и маятниках? Сначала устанавливается условная связь между вращением Земли и изменением плоскости колебания маятников. Затем констатируется, что Земля действительно вращается. Из этого выводится, что маятники в самом деле постепенно изменяют плоскость своих колебаний. Это заключение вытекает с какой-то принудительной силой. Оно как бы навязывается всем, кто принял посылки рассуждения. Именно поэтому можно также сказать, что маятники должны изменять плоскость своих колебаний. Схема данного рассуждения проста: если есть первое, то есть второе; имеет место первое; значит, есть и второе. Принципиально важным является то, что, о чем бы мы ни рассуждали по такой схеме – о Земле и маятниках, о человеке или химических элементах, о мифах или богах, – рассуждение останется правильным. Чтобы убедиться в этом, достаточно подставить в схему вместо слов «первое» и «второе» два утверждения с любым конкретным содержанием.
Изменим несколько данную схему и будем рассуждать так: если есть первое, то имеется второе; имеет место второе; значит, есть и первое.
Например: «Если идет дождь, земля мокрая; земля мокрая; следовательно, идет дождь». Этот вывод, очевидно, неправилен. Верно, что всякий раз, когда идет дождь, земля мокрая. Но из этого утверждения и того факта, что земля мокрая, вовсе не вытекает, что идет дождь. Земля может оказаться мокрой и без дождя, ее можно намочить, скажем, из шланга, она может быть мокрой после таяния снега и т. д.
Еще один пример рассуждения по последней схеме подтвердит, что она способна приводить от истинных посылок к ложным заключениям: «Если у человека повышенная температура, он болен; человек болен; значит, у него повышенная температура». Однако такое заключение не вытекает с необходимостью: люди с повышенной температурой действительно больны, но далеко не у всех больных такая температура.
Таким образом, в правильном умозаключении, опирающемся на закон логики, из истинных посылок всегда с необходимостью следует истинное заключение.
Этим объясняется тот огромный интерес, который логика проявляет к правильным умозаключениям. Они позволяют из уже имеющегося знания получать новое знание, и притом с помощью «чистого» рассуждения, без всякого обращения к опыту, интуиции и т. п. Правильное рассуждение как бы разворачивает и конкретизирует наши знания. Оно дает стопроцентную гарантию успеха, а не просто обеспечивает ту или иную – быть может, и высокую – вероятность истинного заключения.
Логика занимается не только связями утверждений в правильных умозаключениях, но и многими иными проблемами: смыслом и значением выражений языка, различными отношениями между понятиями, операциями определения и логического деления понятий, вероятностными, или правдоподобными, рассуждениями, парадоксами и логическими ошибками и т. д. Но главная задача логики – анализ правильности рассуждения, формулировка законов и принципов, соблюдение которых является необходимым условием получения истинных заключений в процессе вывода.
3. Логическая форма
Согласно основному принципу логики, правильность рассуждения зависит только от его логической формы, или структуры, и не зависит от конкретного содержания входящих в него утверждений.
Логическая форма – способ связи входящих в рассуждение содержательных частей.
Основной принцип логики был в ясной форме сформулирован еще Аристотелем, и поэтому его принято считать основателем логики как науки.
Основной принцип логики предполагает – и это следует специально подчеркнуть, – что каждое наше рассуждение, выраженное в языке, имеет не только содержание, но и определенную форму. Предполагается также, что содержание и форма отличаются друг от друга и могут быть разделены. Содержание рассуждения не оказывает никакого влияния на его правильность, поэтому от него следует отвлечься. Для оценки правильности существенной является лишь форма. Ее необходимо выделить в чистом виде и затем на основе одной «бессодержательной» формы решить вопрос о правильности рассматриваемого рассуждения.
Особым интересом логики к логической форме наших рассуждений объясняется то, что иногда эту науку называют также «формальной логикой».
Понятие логической формы является довольно абстрактным. Смысл его лучше всего раскрыть на примерах.
Сравним два утверждения: «Все металлы проводят электрический ток» и «Все планеты имеют форму куба». По содержанию они совершенно различны, к тому же первое из них является истинным, а второе ложным. И тем не менее сходство их несомненно – это сходство, а точнее говоря тождество, их строения, формы. Чтобы выявить данное сходство, нужно отвлечься от содержания утверждений и от обусловленных им различий. Оставим поэтому в стороне металлы и планеты, электрический ток и кубы. Заменим все содержательные компоненты утверждений латинскими буквами, например S и Р, не несущими никакого содержания. В итоге получим в обоих случаях выражение «Все S есть Р» («Все металлы есть проводящие электрический ток» и «Все планеты есть имеющие форму куба»). Это и есть форма рассматриваемых утверждений. Такую же логическую форму имеют утверждения «Все кометы имеют хвост», «Все люди добры» и т. п. Но утверждения «Все люди не являются бессмертными» и «Все личинки мух не имеют головы» имеют уже другую логическую форму – «Все S не есть Р».
Еще один пример выявления логической формы. Возьмем два условных высказывания: «Если сейчас день, то сейчас светло» и «Если сейчас ночь, то сейчас темно». Заменим входящие в эти высказывания простые утверждения «Сейчас день» и «Сейчас ночь» буквой А, а утверждения «Сейчас светло» и «Сейчас темно» – буквой В. Получим, что форма этих двух высказываний одна и та же – «Если А, то В».
Логическую форму имеют не только высказывания, но и состоящие из них рассуждения.
Возьмем, к примеру, умозаключение: «Если у человека повышенная температура, он болен; у человека повышенная температура; следовательно, человек болен». Логическая форма этого умозаключения: «Если А, то В; А; следовательно, В». Умозаключение такой формы будет правильным, какие бы конкретные высказывания ни подставлялись вместо букв А и В («Если сейчас день, то светло; сейчас день; значит, сейчас светло», «Если совершено преступление, должно последовать наказание; совершено преступление; значит, должно последовать наказание» и т. п.).
Поскольку правильность рассуждения зависит только от его формы и не зависит от содержания, мышление всех людей подчиняется одним и тем же принципам. С точки зрения логики полинезиец мыслит точно так же, как китаец или европеец, женщина так же, как и мужчина, старик так же, как и молодой человек, и т. п.
