1 этап - Аристотель . Он пытался найти ответ на вопрос: "Как мы рассуждаем". Он подверг анализу  человеческое мышление, его формы – понятие, суждения, умозаключения. Так возникла формальная логика – наука о законах и формах мышления.

2 этап – появление математической или символической логики. Основы  ее заложил немецкий ученый Готфрид Вильгельм Лейбниц .Он сделал попытку заменить простые рассуждения действиями со знаками.

3 этап - окончательно развил эту идею англичанин Джордж Буль , он явился основоположником математической логики. В  его работах логика пиобрела свой  алфавит, орфографию и грамматику. Начальный раздел математической логики назвали  алгеброй логики или  Булевой алгеброй.