Back Wiskundige logika Afrikaans Mathematische Logik ALS ሒሳባዊ ሥነ አምክንዮ Amharic Lochica matematica AN منطق رياضي Arabic Lóxica matemática AST Riyazi məntiq Azerbaijani Матэматычная логіка Byelorussian Матэматычная лёгіка BE-X-OLD Математическа логика Bulgarian
Logika matematyczna – dział matematyki, który wyodrębnił się jako samodzielna dziedzina na przełomie XIX i XX wieku, wraz z dążeniem do dogłębnego zbadania podstaw matematyki. Koncentruje się ona na analizowaniu zasad rozumowania oraz pojęć z nim związanych z wykorzystaniem sformalizowanych oraz uściślonych metod i narzędzi matematyki.
W początkowym okresie rozwoju tego działu używano też nazwy logika symboliczna (w celu odróżnienia od logiki filozoficznej). Nazwa logika matematyczna została użyta po raz pierwszy przez włoskiego matematyka Giuseppe Peana.