究竟逻辑学是数学的分支，还是数学是逻辑学的分支？

是两个学科
交叉部分是数理逻辑
数理逻辑给数学提供表达方法
不过现代逻辑研究基本上数学化了，借用了很多集合论和抽象代数的成果

是数学是逻辑学的分支
大约在公元前6世纪左右，古代中国、古代印度和古希腊的学者，就各自独立地建立了自己的逻辑学说。他们分别是“名辨之学”、因明和古希腊的逻辑学。其中，古希腊的逻辑学最为系统，因而在世界逻辑学发展史上影响也最大、最深。
古希腊学者亚里士多德被认为是古希腊逻辑学的创始人，他在其由后人整理并取名为《工具论》的著作中，第一次全面、系统地论述了传统形式逻辑，提出了有关范畴、命题、三段证明和谬误等一系列重要论述和思想。他所创立的逻辑学，逻辑史上称之为古典的或传统的形式逻辑（“形式逻辑”这一称呼是17世纪康德提出的）或古典的演绎逻辑。这一逻辑的主要特点在于：它是建立的对范畴的研究基础之上，即它主要涉及范畴、又.........