词语繁体：現代邏輯
词语读音：xiàn dài luó jí
成语注音：ㄒㄧㄢˋ ㄉㄞˋ ㄌㄨㄛˊ ㄐㄧˊ
首字拼音：Xian
词语拼音：xian dai luo ji
词语简拼：XDLJ
词语结构：ABCD式词语
词语字数：四字词语
数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
现代逻辑是指数理逻辑和应用数理逻辑而形成的逻辑系统。
【现的意思】：现（現） xiàn（ㄒ一ㄢˋ） （一）、显露：出现。表现。发现。体现。现身说法。（二）、实有的，当时 详情>
【代的意思】：代 dài（ㄉㄞˋ） （一）、替：代替。代办。代销。代序。代表。（二）、历史上划分的时期：时代。世代 详情>
【逻的意思】：逻（邏） luó（ㄌㄨㄛˊ） （一）、巡察：巡逻。逻吏（巡逻官）。逻骑。逻卒。（二）、遮拦：“蛛蝥结 详情>
【辑的意思】：辑（輯） jí（ㄐ一ˊ） （一）、聚集，特指聚集材料编书：辑录。辑要。辑逸。编辑。纂辑。（二）、聚集 详情>
• 现代逻辑学科的发散性思考
• 全国现代逻辑学术研讨会综述
• 之后，美籍逻辑学家歌德尔一阶谓词演算的完备性定理，这标志着现代逻辑基础部分的完成。
• 从现代逻辑和语言哲学看，休谟问题是可消解的，而科学实在论正是在科学现实基础上得以成立。
• 人工智能需要运用现代逻辑方法去解决复杂的现实问题，即可用逻辑来表达推理也可以用逻辑表示知识。
• 叶圣陶先生早年关于文体分类的持论存在严重的缺失，我们也必须以现代逻辑科学为准绳重新进行理性审视。
• 现代逻辑的重大成果是分析理性的杰作，其丰富的哲学营养和对传统哲学思考的挑战应当引起哲学家的关注。
• 在某种意义上，逻辑学就是推理的记法体系，记法的不断改进显著推动了逻辑学的发展，特别是现代逻辑的诞生。
友情链接：姓名测试