В силу того, что логика изучает формы мышления различного содержания, в которых происходит развитие мыслей, она носит название формальной логики .
Буржуазные логики обычно придают понятию формальной логики такой смысл, будто она вообще не интересуется истинностью суждений и умозаключений, их соответствием действительности, а занимается проверкой только формальной согласованности и последовательности мыслей, независимо от того, верны или ложны эти мысли по существу. В этом смысле «формальная логика» приобретает характер «формалистической логики», оторванной от задач познания объективной действительности.
Такова была средневековая схоластическая логика, в таком смысле логика была развита в новое время немецким философом-идеалистом Кантом (1724—1804), и такое её понимание получило широкое распространение в современной буржуазной философии. Правильны или неправильны те исходные положения (посылки), из которых делаются выводы, соответствуют ли эти выводы действительности,— этот вопрос, по мнению буржуазных логиков, не интересует формальную логику, которая занимается только формальной правильностью рассуждений, формальной согласованностью мыслей, хотя бы сами мысли были ложны или просто нелепы.
Разумеется, мы не понимаем формальную логику в этом смысле и придаём ей совершенно иное значение — значение необходимого условия правильного мышления и, следовательно, познания действительности. Формальная логика формальна не потому, что она безразлична к содержанию наших мыслей, не потому, что она бессодержательна, а потому, что она вскрывает и изучает формы мысли, в которых выражается различное содержание, различные стороны и свойства объективной действительности. В мышлении человека отражается объективная действительность, и логика изучает формы мышления, в которых происходит это отражение. Объективная действительность многообразна, её явления имеют различные стороны и свойства, от которых и зависят формы мышления. Поэтому формы мышления всегда связаны с его содержанием и представляют собой отражение в сознании человека различных сторон и свойств объективной действительности. Мысли человека истинны тогда, когда они правильно отражают действительность, и ложны, когда они отражают действительность неправильно. Формальная логика, изучая формы мысли, содействует правильности, истинности мышления и тем самым помогает познанию действительности. Поэтому задача формальной. логики состоит не в том, чтобы формально правильно связывать наши мысли независимо от того, истинны они или ложны, а в том, чтобы научить, как правильно выражать истинные мысли и из истинных мыслей делать истинные выводы, устранять ложные утверждения, приходить к правильным заключениям.
Наименование изучаемой нами логики формальной логикой имеет также то значение, что указывает на её отличие от диалектической логики, от материалистической диалектики, о чем ниже будет сказано особо.
§ 4. ЛОГИКА И ПСИХОЛОГИЯ
Предметом логики является человеческое мышление, его законы. Но мышление как форма психической жизни человека изучается и другой наукой — психологией.
Психология —это наука о законах душевной деятельности, психической жизни человека. Психология, так же как и логика, изучает законы мышления. Между этими науками имеется тесная связь, но есть и различие. Различие между логикой и психологией двоякое. Во-первых, различие между логикой и психологией состоит в том, что логика изучает только законы мышления, тогда как психология изучает законы всей душевной деятельности человека, т. е. не только мышление, но и ощущения, эмоции, волю и т. д. Во-вторых, различие между логикой и психологией заключается в том, что хотя обе эти науки изучают законы мышления, но они изучают разные законы.
Психология изучает мышление человека как естественный процесс психической деятельности в том виде, как он протекает фактически. Предмет психологии — душевная жизнь человека, связи и закономерности психических явлений. Мышление рассматривается и изучается психологией как явление душевной жизни наряду и в связи с другими психическими явлениями.
Иначе подходит к изучению мышления логика. Логика изучает законы правильного мышления, т. е. такие законы, которые обеспечивают правильность выражения и развития мыслей, верность выведения одних мыслей из других, истинность получаемых выводов. Логика формулирует такие законы мышления, которые необходимо соблюдать для того, чтобы мышление было правильным, достигающим целей познания действительности. Бывает, что мы рассуждаем неправильно, делаем необоснованные выводы, неверно связываем свои мысли, и этот процесс мышления психологически может быть вполне понятен и объясним. Но логически такое мышление неправильно, это неправильное мышление, не достигающее целей познания действительности. При изучении любого логического закона (в дальнейшем мы будем эти законы изучать подробно) кто-либо всегда может сказать: «а я мыслю не так» а совсем иначе», и это может быть правда. Но это ни в малейшей мере не лишает законы логики их необходимого значения. Мышление человека, отступающее от законов логики, психологически вполне объяснимо, но оно неправильно, ошибочно, приводит к ложным, необоснованным выводам.