Acest articol sau această secțiune arebibliografia incompletă sau inexistentă. Puteți contribui prin adăugarea de referințe în vedereasusținerii bibliografice a afirmațiilor pe care le conține.
Logica matematică este un subdomeniu almatematicii. Este de obicei divizată în următoarele subdomenii:teoria modelelor,teoria demonstrației,teoria mulțimilor șiteoria recursivității. Cercetarea din domeniul logicii matematice a contribuit la, și a fost motivată de, studiul fundamentelor matematicii, dar logica matematică conține, de asemenea, și probleme ce aparțin matematicii pure, care nu sunt legate direct de fundamentele matematicii.
O temă unificatoare în logica matematică este studiul puterii expresive alogicii formale și a sistemelor de demonstrație.
Denumirile anterioare ale logicii matematice au fost cele delogică simbolică (opusă logicii filosofice) șimetamatematică. Primul termen este încă folosit (ca înAssociation for Symbolic Logic = Asociere pentru Logica simbolică), dar ultimul termen este folosit azi pentru a desemna anumite aspecte ale teoriei demonstrației.
George Boole este creatorul logicii simbolice moderne. In 1847 a subliniat izomorfismul diverselor tipuri de raționamente.[1]
