1) Основатель – Аристотель (4 в. до н.э.). Вывел основные законы мышления, теорию понятия и суждения и дедуктивного (силлогического) умозаключения.
2) Средние века – схоластика: логика Аристотеля исказилась, приняла вид религиозной догматики (принятия на веру утверждений как не требующих доказательств истинности).
3) Ф. Бэкон (16 в.) открыл метод индукции как противопоставление дедукции.
4) Формальная логика (наука о формах мышления) = дедукция Аристотеля + индукция Бэкона. Декарт, Лейбниц, Кант, Ломоносов, Радищев, Чернышевский.
5) Символическая логика – разные разделы логики, рассуждения с помощью различных символов (словесных или математических).