Аксіоматичний метод (грец. Axioma - прийняте положення) - один із способів дедуктивного побудови (Дедукція) наукових теорій. У підставі аксіоматично побудованої теорії лежать аксіоми, т. Е. Пропозиції, що приймаються без доведення. Всі інші пропозиції теорії виводяться з аксіом (т. Е. Доводяться) на підставі логічних правил виводу і правил визначення, допустимих у цій теорії. В якості таких правил застосовуються правила формальної логіки. в т. ч. математичної логіки.
Отже, в разі аксиоматизации будь-якої теорії необхідно, по-перше, визначити сукупність законів логіки, які будуть використовуватися в подальшому, по-друге, вибрати аксіоми і, по-третє, вивести з аксіом на підставі правил виведення всі інші істинні твердження даної теорії. Перші уявлення про А. м. Виникли в Стародавній Греції (Елейська школа, Платон, Арістотель, Евклід), і за свою історію вони зазнали значної еволюції. Тривалий час при проведенні аксиоматизации вимагали вибору очевидних, т. Е. Що не викликають ніяких сумнівів, аксіом. Починаючи з 2-ї пол. 19 в. аксіоматична теорія стала розглядатися як формальна система, яка припускає кілька інтерпретацій (моделей). У зв'язку з цим особливу увагу було звернуто на доказ несуперечності формальної аксіоматичної теорії (неможливості виведення в ній деякого пропозиції і його заперечення), її повноти (така теорія повинна містити всі істинні речення, що описують дану систему об'єктів) і т. Д. Аксіоматична теорія в нині розуміється як особливий формалізований мову (система знаків), який використовує тільки дедуктивну техніку виведення і виконує певні синтаксичні та семантичні вимоги; така мова описує будь-яку безліч об'єктів, які йому задовольняють. Аксіоматизації є лише одним з методів побудови наукового знання. З докази Геделем неможливості повної аксиоматизации арифметики випливає, що аксіоматичні теорії можуть бути побудовані лише для порівняно невеликих за обсягом розділів наукового знання. А. м. Нерідко виступає в формі гипотетико-дедуктивного методу: теорія будується згідно з принципами А. м. А її пропозиції, в т. Ч. Аксіоми, розглядаються як гіпотези, які повинні бути емпірично перевірені. Така перевірка здійснюється за допомогою особливої сукупності тверджень, що зв'язують деякі пропозиції теорії з емпірично спостерігаються фактами. В результаті частина пропозицій теоретичної системи отримує безпосередню емпіричну перевірку, а решта - непряму, через їх зв'язок з першими. Принципи гипотетико-дедуктивного методу широко застосовуються в даний час при побудові багатьох наукових дисциплін (окремих розділів фізики, біології, психології, соціології, лінгвістики і т.д.).