Аристотель(Ар.) вперше виділив логіку в самостійну науку. Логіку він назвав аналітикою і дав загальний аналіз відкритого ним поняття силогізму як особливої форми умовиводу. Аристотель розкрив також сутність доведення, прийомів доведення і поділу, визначив різницю між науковим і ненауковим знанням, виклав 3 основні закони ФЛ: закон тотожності, закон несуперечності, закон виключення третього. Логічні твори Аристотеля: «Аналітики I i II», «Топіка», «Категорії» і т.д. Ар. У своїх творах основну увагу звертав на дослідження силогізму.

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

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

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

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

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

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

Логіка-це наука, яка вивчає мислення людини. Сутність мислення осягається в межах ряду наук – філософії, психології, фізіології вищої нервової діяльності, кібернетики тощо. У такій частині філософії, як гносеологія (теорія пізнання), формуються наступні важливі положення про мислення:

1)Мислення і свідомість взагалі є функцією мозку і відображають процеси та явища об’єктивного світу. У структуру свідомості людини входить сукупність її знань про різні предмети, їх властивості і відношення; знання являють собою ідеальне відображення в мозку людини будь-яких об’єктів; це відображення здійснюється за допомогою відчуттів, сприйнять, уявлень, пам’яті, мислення.

2)На відміну від безпосередніх форм відображення дійсності (їх називають чуттєвим пізнанням) мислення є опосередкованим і узагальненим відображенням дійсності і здійснюється в логічних формах понять, суджень, умовиводів.

3)За допомогою мислення осягають такі сторони реального світу, які не можуть бути розкриті за допомогою тільки чуттєвих форм відображення дійсності, – відчуттів, сприйнять, уявлень.

4)Критерієм істинності наших знань про дійсність є практика. Поряд з цими узагальненими критеріями виступають інші: естетичний – краса, прагматичний – корисність, етичний критерій морального імперативу, логічний – логічної суперечності.

5)Мислення не може існувати без мови, поза мовою. Без вираження думки у звукових, письмових, або інших знаках, символах її неможливо передати, а отже, довідатись про її існування. Всі науки, користуючись засобами природної мови, застосовуючи водночас засоби штучної мови.

У сучасній формальній логіці широко використовується формалізована мова. Однак з цього не випливає, що формальна логіка(ФЛ) – це наука про формальні мови, а не про мислення. У мисленні ФЛ вивчає логічні форми й формально-логічні закони побудови думки.