3. Исходные понятия формальной логики: предмет мышления; логическая форма; логический закон; истинность и формальная правильность мысли.

Предмет логики как науки определен через понятия формы мышления и закона мышления. Формы мышления иначе называют логическими формами, а законы мышления - логическими зако­нами.

Для того чтобы выявить логические формы, необходимо отвлечься от содержания, заключенного к какой-либо знаковой системе (языковой структуре). Подставим вместо конкретных знаков символы:

(1) Все люди смертны Все М есть Р

(2) Сократ есть человек S есть М

(3) Сократ смертен S есть Р

В приведенном выше рассуждении посредством введения символики можно легко обнаружить некоторые элементы, совокупность которых об­разует некую структуру. Так каждый из трех символов S, М, Р обозначает понятие. Сгруппировав эти понятия попарно, получаем суж­дения: (1) Все М есть Р. (2) S есть М, (3) S есть Р. Взятые вместе, эти сужде­ния образуют умозаключение. Таким образом, какое бы рассуждение ни рассматривалось, в любом из них мы обнаружим эти элементы и объеди­няющую их структуру. Это означает, что многообразное содержание наших мыслей воплощается в определенных логических формах, и, прежде всего, в понятиях, суждениях и умозаключениях.

Логическая форма - это структура мысли, характеризующая способ связи ее элементов.

Как показывает историческая практика мышления, знание логических форм не гарантирует от логических ошибок. Всякий мыслительный про­цесс протекает согласно совокупности законов и принципов. Только их сознательное применение является отличительной чертой правильного мышления.

Логический закон - это необходимая, существенная, устойчивая и по­вторяющаяся связь мыслей, детерминирующая правильность мышления.

Применение логических законов обеспечивает формальную правиль­ность рассуждений. Формально правильным является рассуждение, по­строенное в соответствии с логическими законами.

Однако формально правильное рассуждение не всегда приводит к верному результату, так как помимо формы мышление имеет и другую сторону - содержание, которое также определяет значимость результата мыслительной деятельности. Поэтому в рамках последней необходимо учитывать истинность рассуждения. Рассуждение является истинным, если оно соответствует действительности. Рассуждение, не соответствующее действительности, является ложным.

Таким образом, всякое рассуждение приведет к верному результату, если оно является, во-первых, формально правильным, и, во-вторых, ис­тинным по содержанию.

4. Понятие как исходная форма мысли. Логические приемы образования понятий: анализ, синтез, сравнение, обобщение, абстрагирование.

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

Признаки могу принадлежать различ­ным предметам мышления и быть для них общими, образуя класс предме­тов, обладающих данным признаком. В свою очередь, определенная группа предметов мышления в представленном классе может обладать отличительным признаком который принадлежит только ей. На его основании образуется особый, подкласс. Отличительный признак, который принадлежит исключительно данному классу, выступает границей множества предметов данного класса, а потому является достаточным для отождествления с самим предметом мышления. Признак, без которого предмет (класс) не может мыслиться, является необходимым. Приз­нак (или их совокупность), который принадлежит предмету мышления не­обходимым образом и одновременно выступает достаточным отличитель­ным признаком, является существенным. Совокупность существенных признаков составляет качественную специфику предмета мышления и вы­ступает основой для формирования понятия.

Например, невозможно мыслить человека без наличия головного мозга, и этот признак является необходимым, но по нему нельзя отличить человека от других животных, обладающих тем же признаком, поэтому этот признак не выступает существенным. Наличие мягкой мочки уха у человека выступает отличительным (достаточным) признаком человека, но он не является необходимым, а потому также и существенным. Суще­ственными признаками, составляющими понятие "человек", оказываются такие, как "обладать сознанием", "иметь способность изготавливать ору­дия труда".

Понятие - есть исходная логическая форма, отражающая существен­ные отличительные признаки предметов. По­нятие фиксирует не все признаки предмета, а только существенные. В этом смысле оно, будучи абстракцией, беднее любого восприятия и представления. Но вместе с тем, понятие вернее и глубже отражает действительность, ибо отражает сущностную сторону предмета, фиксирует необходимые стороны его существования, которые скрыты в конкретности представления или восприятия, отражающих лишь внешнюю сторону существования вещей.

Например, представляя предмет мышления "плод", мы в состоянии воспроизвести одновременно только один образ конкретного плода - яблоко, апельсин и т.д., причем в их внешней форме. В понятии же мы способны воспроизвести одновременно существенные стороны всех мыслимых плодов, независимо от их внешних различий.

Как образуются понятия? Различают несколько логических приемов образования понятий: анализ, сравнение, абстрагирование, обобщение и синтез. Вместе они образуют последовательную цепочку, результатом ко­торой является понятие о предмете или множестве предметов.

В чувственных формах нам дана совокупность признаков, но неиз­вестно, какие из них существенные, а какие - нет. Поэтому необходимо предварительно мысленно расчленить предмет на составные части, сторо­ны существования, т. е. провести анализ.

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

Сравнение есть мыслительная операция установления тождества и различия признаков предмета. В результате выполнения этой операции устанавливается, какие признаки являются общими (тождество), а какие отличительными (различие).

Следующая операция - абстрагирование - позволяет существенно со­кратить количество рассматриваемых признаков.

Абстрагирование есть мыслительная операция выделения одних приз­наков предмета и отличия от других. В результате этой операции проис­ходит освобождение от множества несущественных признаков и появляет­ся возможность, на основании выделенных, составить класс мыслимых предметов, т.е. провести обобщение.

Обобщение есть мыслительная операция отождествления и объедине­ния отдельных предметов во множество однородных на основании нали­чия у них общих свойств и отношений.

Процесс образования понятия завершается сведением в совокупность перечисленных операций, т.е. синтезом.

Синтез есть мыслительная операция соединения составных частей и сторон функционирования предмета в единое целое. Таким образом, вы­полнение перечисленных мыслительных операций имеет результатом по­нятие предмета или множества предметов.

Например, в чувственной данности мы сталкиваемся с различными деревьями и другими растениями (трава, кустарник и т.д.). 1. В процессе образования по­нятия "дерево" мы предварительно мысленно выделяем разные свойства, присущие различным деревьям и другим растениям, например, иметь вет­ви, ствол, корень, листву; терять листву зимой, плодоносить осенью; суще­ствовать в течение одного года, быть многолетним. 2. Проведя сравнения, мы обнаружим, что всем деревьям присуши признаки наличия корня, ствола, ветвей и быть многолетними, а другие признаки - только некото­рым; что деревья многолетние в отличие от других растений, также имею­щих корни, стволы, ветви. 3.4. Выделяя одни признаки и отвлекаясь от других, мы можем выделить такие классы предметов среди растений, которые обладают признаками: первый – иметь ветви, второй – иметь ствол, третий – иметь корни, четвёртый – быть многолетним растением. 5. Синтезируя выделенные классы в один, мы получаем совокупность существенных признаков, составляющих понятие «дерево».