数理逻辑属于逻辑学的内容，而逻辑学是哲学的八个二级学科之一，所以哲学专业应该学数理逻辑。还有数学专业可以锻炼数理逻辑思维，不过逻辑学专业才是主要学数理逻辑的，而且更加系统。