движение содержания мысли, а форму мыслительного процесса. Для компенсации этого
недостатка Гегель создал новую диалектическую логику, а существовавшую до нее
назвал формальной.
Предметом изучения диалектической логики служат законы развития человеческого мышления и
основанные на них методологические принципы (объективность, всесторонность
рассмотрения предмета, принцип историзма, раздвоение единого на противоположные
стороны, восхождение от абстрактного к конкретному и др.).
Диалектическая логика — это один из способов познания диалектики реальности.
Формальная логика, использующая математические методы изучения реальности, в начале XX в.
получила название «логистика», означающее искусство вычисления. Теперь данный термин почти
вышел из употребления, уступив место терминам «математическая логика» или «символическая
логика».
Формальная логика изучает форму как нечто отдельное, обособленное от содержания.
Предметом изучения формальной логики служит форма мышления. Рассмотрим внешнюю и
внутреннюю формы мышления как любого явления.
Внешняя форма явления — это способ данного явления проявиться вовне, его поверхность
(например, для мышления такой формой становится речь).
Внутренняя форма явления — это структурная конструкция из элементов, которые составляют
данное явление.
Внутренней формой мышления можно назвать процесс сочетания и взаимодействия
образований, которые называются мыслями.
Структура мышления — это различные способы группировки мыслей в процессе мышления.
В отличие от самого мышления и, тем более, его структуры мы видим их внешнюю речевую
форму. Невозможно сделать мышление устойчивым предметом исследования, если только оно
не облекается в форму речи (устной или письменной). Очевидно, речь — это эмпирический
материал, служащий истоком для формальной логики. Но речь и язык как внешняя структура
мышления интересуют логику как средство для ее выражения.
Формальная логика — это наука об общих структурах правильного мышления в его языковой
форме, раскрывающая лежащие в его основе закономерности.
Логическими формами называются различные соединения мыслей, рассматриваемые как
структурные образования мышления.
Логические формы состоят из мыслей, в том числе, например, из других логических форм и
различных способов их связи, или так называемых связок. Три вида логических форм, таких
как понятие, суждение, умозаключение, состоят из мыслей и средств их связи, связок.
Общая логика представляет собой учение о трех логических формах: понятии, суждении,
умозаключении.