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