Логика — фекерләү ҡанундарын өйрәнгән фән. XIX быуаттың аҙағынан башлап, математиктар логиканың математикаға ҡағылған тармағын шаҡтай алға һөрҙө; бөгөнгө көндә логиканың ике киң йүнәлеше бар — математик логика (формаль символик логика) һәм фәлсәфәүи логика.