Логіка середньовіччя
Наука, за Гоббсом, одержує загальні й необхідні знання шляхом оперування загальними іменами. Мислення він розглядав як поєднання і роз'єднання імен, їх додавання, віднімання тощо, тобто як своєрідне числення: «...якщо арифметика навчає нас додавати і віднімати числа, то геометрія навчає нас тих самих. операцій стосовно ліній, фігур, кутів... Логіки навчають нас того самого стосовно послідовності слів, складаючи разом два імені, щоб утворити судження, і два судження, щоб утворити силогізм, і багато силогізмів, щоб скласти доведення. Із суми ж, або із висновку силогізму, логіки віднімають одне речення, щоб знайти друге».
Рене Декарт (1596—1650), піддаючи критиці схоластичну логіку, поставив, як і Бекон, перед наукою завдання звільнитися від традиційних упереджених поглядів та сліпої віри в авторитети і побудувати заново всю споруду науки, починаючи з її підвалин. Попередньою умовою такої перебудови він проголосив всезагальний метод сумніву, необхідний для критичної перевірки всіх наших знань і відшукання абсолютно достовірної істини. Таку істину Декарт вбачав у положенні «Я мислю, отже, я існую», яке, на його думку, свідчить про самодостовірність свідомості: «Я можу сумніватися в цьому. Та оскільки я сумніваюсь, то сам факт функціонування свідомості стоїть поза сумнівом».
Великого значення надавав Декарт методу пізнання. Стоячи на позиціях раціоналізму, він вважав тільки дедукцію строго науковим методом. Не відмовлявся він і від індукції, проте називав її висновки сумнівними і недостовірними.Блез Паскаль (1623—1662) — один з родоначальників сучасного аксіоматичного методу і теорії ймовірності. У своєму творі «Про дух геометрії» він виклав результати досліджень засобів доведення, зокрема ролі дефініцій і аксіом, сформулював основні правила наукового доведення, сконструював першу обчислювальну машину для операції додавання.
Уявлення про логіку нового часу буде неповним, якщо не взяти до уваги працю «Логіка, або мистецтво мислити» П'єра Ніколя і Антуана Арно, в якій поєднано дедуктивний метод Декарта і методологічні засади, проголошені Паскалем. У цій праці (відомій під назвою «Логіка Пор-Рояля») логіка представлена як робочий інструмент, придатний для всіх наук і практики, оскільки вона змушує вдаватися до строгих формулювань думок.
Бенедикт Спіноза (1632—1677) — видатний філософ, який своїми гносеологічними ідеями вплинув на розвиток тогочасної логіки. Як і Декарт, він — раціоналіст. Розум, на його думку, може пізнати все, оскільки сама дійсність розумна, раціональна.
Ідеалом наукового знання для Спінози була математика. Свій головний твір «Етика» він написав у формі, подібній до геометрії Евкліда. Розпочинається він з визначень вихідних понять, потім проголошуються безсумнівні положення — аксіоми, а з визначень і аксіом виводяться теореми.
Готфрід Лейбніц (1646—1716) збагатив логіку новими ідеями. Деякі з них випередили свою епоху на кілька століть. Лише у XX ст. з розвитком логіки вони одержали підтримку і були розвинуті у працях сучасних учених. Це передусім стосується його ідеї побудови спеціальної штучної мови, з допомогою якої будь-яке міркування можна перетворити на упорядкований ланцюжок знаків певного типу. У своїй дисертації «Про комбінаторне мистецтво» (1666) Лейбніц писав, що його метою є створення загального методу, з допомогою якого всі істини можна буде звести до деякого виду обчислення. У праці «Елементи універсальної характеристики» він здійснює спробу створити перше логічне числення, необхідною умовою якого було існування спеціальної мови. Створена Лейбніцем штучна мова була прототипом сучасних формалізованих мов логіки.
Значну увагу він приділяв законам логіки, насамперед закону тотожності, який розглядав як першу істину розуму. Цей закон Лейбніц застосовував при аналізі міркувань і суджень. Так, предикат, на його думку, мислиться в суб'єкті як його ознака, звідки робиться висновок про часткову чи повну тотожність суб'єкта і предиката судження.
На друге місце він ставив закон суперечності. Розрізняючи істини розуму (необхідні) і досвіду (випадкоі), Лейбніц вважав, що цей закон є принципом усіх істин розуму, закон достатньої підстави — усіх істин досвіду. Він застосовував закон суперечності при аналізі міркувань (як такий, що забороняє одночасно приймати два судження, одне з яких заперечує те, що стверджує друге), суджень (як заборону визнання істинності судження, що містить у собі суперечність, тобто в якому предикат суперечить суб'єкту). Закон суперечності у Лейбніца в певному розумінні є похідним від закону тотожності, бо якщо кожна річ узгоджується сама з собою, то звідси випливає, що жодна річ не може суперечити сама собі.