На второй ступени познания, исходя из чувственных данных, в предметах и явлениях выделяют общие свойства и на их основе обобщают и выделяют предметы некоторого типа. В результате такого обобщения и выделения предметов образуются понятия об этих предметах. Понятия, в свою очередь, служат методологическим инструментом познания. Обобщающий характер мышления проявляется также в возможности формировать законы, отражающие свойства классов предметов, явлений и т.д.
Особенностью мышления является его неразрывная связь с языком. «На “духе”, — писал К. Маркс, — с самого начала лежит проклятие — быть “отягощённым” материей, которая выступает здесь в виде движущихся слоев воздуха, звуков — словом, в виде языка»[4]
. Язык — это средство формирования мыслей. В языке закрепляются результаты мышления, посредством языка происходит обмен мыслями между людьми.Мышление является активной и целенаправленной деятельностью. В процессе мышления ставятся определённые цели и формируются задачи. Для достижения поставленных целей и решения задач осуществляются мыслительные действия.
Все перечисленные особенности мышления обусловлены применением определённых логических методов и приёмов познания, отражением мира в определённых логических формах.
Основными (логическими) формами, в которых выражаются мысли, являются: понятия, суждения, теории и др. Основными формами, в которых происходит развитие знания, являются: умозаключение, проблема, гипотеза и др.
Логика изучает эти формы мыслей и формы развития знания, особые приёмы и методы познания, применяемые на ступени абстрактного мышления, а также особые законы мышления.
§ 2. ФОРМАЛЬНАЯ ЛОГИКА КАК НАУКА
Чтобы дать определение логической формы мысли и указать способы выявления логических форм различных мыслей, выделим среди выражений естественного языка термины, называемые логическими. К ним относятся союзы “и”, “или”, “если..., то...”, отрицание “неверно, что” (“не”), слова, характеризующие количество предметов, о которых нечто утверждается или отрицается: “все” (“ни один”), “некоторые”, связка “суть” (“есть”) и др. Процесс выявления логической формы мысли заключается в отвлечении от смысла нелогических терминов, входящих в словосочетание, выражающее эту мысль. Сделать это можно различными способами. Например, опустить нелогические термины в словосочетании и поставить вместо них многоточия, штриховые и другие линии. В результате замены нелогических терминов многоточием и штриховой линией из предложения “Все адвокаты — юристы” получим выражение “Все ... суть — — —”.
Другой способ отвлечения от смысла нелогических терминов заключается в замене этих терминов особыми символами (переменными). При этом вместо различных вхождений одного и того же нелогического термина ставится одна и та же переменная, а вместо различных терминов — различные переменные. Кроме того, вместо терминов различных типов ставятся символы различных типов.
Выявим логические формы следующих рассуждений:
(1) Все студенты первого курса Юридического колледжа МГУ им. М.В.Ломоносова изучают логику.
Некоторые студенты первого курса Юридического колледжа МГУ им. М.В.Ломоносова будут специализироваться по гражданскому праву.
Следовательно, некоторые студенты, которые будут специализироваться по гражданскому праву, изучают логику.
(2) Следователь — юрист. Следовательно, образованный следователь — образованный юрист.
Заменив нелогические термины символами, получим:
(1) Все М суть Р. Некоторые М суть S. Следовательно, некоторые S суть Р.
(2) S есть Р. Следовательно, SQ есть PQ.
Этими выражениями представляются логические формы исходных мыслей.
Таким образом,
Логическая форма содержательна, информативна. Так, выражение, получаемое в результате отвлечения от смыслов и значений нелогических терминов первого рассуждения, несет следующую информацию: “Если все предметы класса М включаются в класс Р и некоторые предметы класса М включаются в класс S, то некоторые предметы класса S включаются в класс Р”.
Мысли можно подразделить на классы в зависимости от типов их логических форм. Основные из этих классов составят мысли, называемые понятиями, суждениями и умозаключениями.