Matematyka (gr. mathēmatik z máthēma – poznanie, umiejętność) – nauka skupiona na rozumowaniu dedukcyjnym, czyli dostarczająca narzędzi do badania wniosków z przyjętych założeń. Ponieważ ścisłe założenia mogą dotyczyć najróżniejszych dziedzin myśli ludzkiej, a muszą być czynione w naukach ścisłych, technice a nawet w naukach humanistycznych, zakres matematyki jest szeroki i stale się powiększa.
Wiele dziedzin nauki i technologii, po uzyskaniu pewnego stopnia dojrzałości, zaczyna definiować swoje pojęcia z dostatecznie dużą precyzją, aby można było stosować do nich metody matematyczne, co często zapoczątkowuje kolejny dział matematyki teoretycznej lub stosowanej. Tak stało się np. z mechaniką klasyczną, mechaniką statystyczną, ekonomią (ekonometria), lingwistyką (lingwistyka matematyczna), teorią gier, a nawet niektórymi działami politologii (teoria głosowań). Leonardo da Vinci stwierdził "Żadne ludzkie badania nie mogą być nazywane prawdziwą nauką, jeśli nie mogą być zademonstrowane matematycznie."
Matematyka teoretyczna (nazywana czasami matematyką czystą) jest często rozwijana bez związku z konkretnymi zastosowaniami. W tej odmianie jest ona przez niektórych matematyków uważana za formę sztuki. Jednak niektóre działy matematyki teoretycznej znalazły swoje praktyczne zastosowanie, kiedy okazało się, że potrzebuje ich nowoczesna fizyka lub informatyka. Szkolne rozumienie matematyki, jako nauki wyłącznie o liczbach i pojęciach geometrycznych, zdezaktualizowało się już w XIX wieku wraz z postępami algebry i teorii mnogości. Matematyka wchłonęła także logikę.
Logika (gr. λόγος, logos - rozum) nauka normatywna, analizująca źródła poznania pod względem prawomocności czynności poznawczych z nimi związanych. Zajmuje się badaniem ogólnych praw, według których przebiegają wszelkie poprawne rozumowania, w szczególności wnioskowania. Logika, jako dyscyplina normatywna, nie tylko opisuje jak faktycznie przebiegają rozumowania, ale także formułuje twierdzenia normatywne, mówiące o tym, jak rozumowania powinny przebiegać.