[单选] 非形式逻辑是在（）在西方兴起的

逻辑是关于（）的学问 A、判断。 B、计算。 C、联想。 D、推理。 现代逻辑使用的是自然语言 布尔的重要贡献是发现了一加一不等于二，而是等于一的逻辑代数。 创立了数理逻辑的是谁（）？ A、莱布尼茨。 B、牛顿。 C、弗雷格和罗素。 D、布尔。 世界上第一台计算机是由哪位逻辑学家发明的（）？ A.黑格尔。 B.罗素。 C.哥德尔。 D.冯·诺依曼。 非形式逻辑是在（）在西方兴起的