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