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