1й етап. Перший (традиційний) етап.4 ст. до н.е. – друга половина 19 ст. Засновник – Аристотель.  Розвивається традиційна (аристотелівська) логіка. Аристотель вперше виділив логіку в самостійну науку. Логіку він назвав аналітикою і дав загальний аналіз відкритого ним поняття силогізму як особливої форми умовиводу. Аристотель розкрив також сутність доведення, прийомів доведення і поділу, визначив різницю між науковим і ненауковим знанням, виклав 3 основні закони ФЛ: закон тотожності, закон несуперечності, закон виключення третього. Пізніше ФЛ розроблялася стоїками, вони займалися головним чином умовиводами.

2й етап.Другий (сучасний) етап.  Друга половина 19 ст. до нашого часу. Засновник – Г. Лейбніц. Сучасна логіка:

1.Перший підетап другого етапу: Класична логіка (логіка висловлювань, логіка предикатів). Б. Рассел, А. Уайтхед

2.Другий підетап другого етапу: Некласична логіка (алетична логіка, епістимічна, деонтична, темпоральна, логіка дії, логіка імператив і .д.) К.Твардовський. А.Марков, Г.Х. фон Врігг

Створена Лейбніцом штучна мова була прототипом сучасних формалізованих мов логіки. Лейбніц створив загальний метод, за допомогою якого всі істини можна було звести до певного виду, обчислення, сформулював закон достатньої підстави, оригінальне вчення про гіпотезу.

В обох розділах ФЛ почали застосовуватись методи логічних обчислень. Проникнення мат. методів в індуктивну логіку приводить до її модифікації в логіку імовірнісну, предметом якої стає вже вивчення методів оцінки істинності гіпотез.