• 从现代逻辑和语言哲学看,休谟问题是可消解的,而科学实在论正是在科学现实基础上得以成立。
• 在某种意义上,逻辑学就是推理的记法体系,记法的不断改进显著推动了逻辑学的发展,特别是现代逻辑的诞生。
• 之后,美籍逻辑学家歌德尔一阶谓词演算的完备性定理,这标志着现代逻辑基础部分的完成。
• 叶圣陶先生早年关于文体分类的持论存在严重的缺失,我们也必须以现代逻辑科学为准绳重新进行理性审视。
• 全国现代逻辑学术研讨会综述
• 现代逻辑学科的发散性思考
• 有见于现代逻辑论证理论的普遍主义、先验主义倾向,非形式逻辑试图从后验性与先验性、普遍性与情境性的统一中去证成自身。
• 人工智能需要运用现代逻辑方法去解决复杂的现实问题,即可用逻辑来表达推理也可以用逻辑表示知识。
• 现代逻辑的重大成果是分析理性的杰作,其丰富的哲学营养和对传统哲学思考的挑战应当引起哲学家的关注。
【词语名称】: 现代逻辑
【词语拼音】: xiàn dài luó ji
【词语意思】: 数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化,就是用一套特制的表意符号去表示概念、判断、推理,获得它们的形式结构,从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。