现代逻辑是以19世纪中期出现的数理逻辑为起点的，它使用特别符号和形式系统的方法来研究

现代逻辑是以19世纪中期出现的数理逻辑为起点的，它使用特别符号和形式系统的方法来研究演绎推理及逻辑规律，是传统形式逻辑的直接延续和__________。填入划横线部分最恰当的一项是：