Логика - наука о законах и операциях правильного мышления

Начало первого этапа связано с работами древнегреческого философа и ученого Аристотеля (384 - 322 до н.э.), который впервые дал систематическое изложение логики.

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

Новый, более высокий этап в развитии логики, начинается с 17в. В рамках наряду с дедуктивной логикой логики индуктивной. ЕЕ родоначальником стал Фрэнсис Бэкон.

Математическая логика изучает логические связи и отношения, лежащие в основе дедуктивного вывода. В 19в. математическая логика получила интенсивное развитие в работах Д. Буля, Э. Шредера, П. С. Порецкого, Г. Фреге.

Элементы диалектической логики постепенно накапливались в трудах последующих мыслителей и особенно отчетливо проявились в работах Бэкона, Гоббса, Декарта, Лейбница.

Грандиозную попытку выработать целостную систему новой, диалектической логики, предпринял другой немецкий философ - Г. Гегель ( 1770 - 1831 ). Он прежде всего раскрыл фундаментальное противоречие между наличными логическими теориями и действительной практикой мышления.