логістичний метод

ЛОГІСТИЧНИЙ МЕТОД — метод побудови формалізованих мов для опису наукових теорій, за допомогою якого будують формальну (логістичну) систему і дають інтерпретацію її. Формальна система будується таким чином: задають вихідні символи системи (словник мови), які вважаються неподільними і є двох видів — логічні, що стосуються логіки, на якій базується система, і нелогічні, або спеціальні, належні до конкретної теорії. Л. м. є модифікацією поняття аксіоматичного методу. Ефективність Л. м. полягає в тому, що він при побудові наукових теорій дає змогу однозначно визначити її вихідні абстракції і строго сформулювати поняття доведення. Л. м. є важливим знаряддям наукового дослідження. Широко використовується в математиці та в логіці математичній.