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