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