Читалка - Учебник логики

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

Из такого определения задач логики можно понять значение логики.

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

Но в действительности это неверно. Логика не поставляет своею целью открытие истин, а ставит своею целью доказательство уже открытых истин. Логика указывает правила, при помощи которых могут быть открыты ошибки. Вследствие этого, благодаря логике можно избежать ошибок. Поэтому становится понятным утверждение   английского философа Д.С. Милля, что польза логики главным образом отрицательная. Её задача заключается в том, чтобы предостеречь от возможных ошибок. Вследствие этого практическая важность логики чрезвычайно велика. «Когда я принимаю в соображение, — говорит Д. С. Милль, — как проста теория умозаключения, какого небольшого времени достаточно для приобретения полного знания её принципов и правил и даже значительной опытности в их применении, я не нахожу никакого извинения для тех, кто, желая заниматься с успехом каким-нибудь умственным трудом, упускает это изучение. Логика есть великий преследователь тёмного и запутанного мышления; она рассеивает туман, скрывающий от нас наше невежество и заставляющий нас думать, что мы понимаем предмет, в то время

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

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

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

История логики и главное направление её. Творцом логики как науки следует считать Аристотеля (384—322). Логика Аристотеля имела господствующее значение не только в древности, но также и в средние века, в эпоху так называемой схоластической философии. Заслуживает упоминания сочинение последователей философа Декарта (1596—1650), которое называлось: La logique ou lart de penser (1662). Эта логика, которая называется логикой Port, которая, принадлежит к так называемому формальному направлению. В Англии Бэкон (1561—1626) считается основателем особого направления в логике, которое называется индуктивным, наилучшими выразителями которого в современной логике являются Д.С. Милль (1806—1873) и Л. Бэн (1818—1903).

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

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

Все вулканы суть горы

Все гейзеры суть вулканы

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

Но возьмём следующий пример:

Все богачи тщеславны

Некоторые люди не суть богачи

След., некоторые люди не суть тщеславны.

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

Те правила, которые указывают, когда получаются заключения истинные формально, мы можем назвать формальными критериями истинности; те правила, которые определяют материальную истинность, мы можем назвать материальными критериями истинности