Математична логіка , логіка, що розвивається математичним методом. Характерним для М. л. є використання формальних мов з точним синтаксисом і чіткою семантикою, що однозначно визначають розуміння формул. Потреба в такій логіці виявилася на початку 20 століття у зв'язку з інтенсивною розробкою підстав математики, виникненням безлічі теорії, де були відкриті антиномії (див. Парадокс ), уточненням поняття алгоритму і іншими глибокими і принциповими питаннями математичної науки. Проте значення М. л. для науки в цілому не вичерпується її математичними застосуваннями, оскільки добре міркувати і доводити доводиться у всіх науках. Ось чому М. л. з повним правом може бути охарактеризована як логіка на сучасному етапі. Див. стаття Логіка (розділ Предмет і метод сучасної логіки) і літературу при цій статті.
