现代逻辑
xiàn dài luó jí
现代逻辑的解释
数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
现代逻辑的书写
现
代
逻
辑
字义分解
读音:xiàn
[xiàn]
显露：出现。表现。发现。体现。现身说法。 ◎ 实有的，当时就有的：现金。现款。现货。现实（a.客观存在的事物；b.合于客观情况的）。 ◎ 目前，当时：现时。现在。现今。现场。现代。现买现卖。
读音:dài
[dài]
替：代替。代办。代销。代序。代表。 ◎ 历史上划分的时期：时代。世代。古代。近代。现代。当（dāng ）代。年代。 ◎ 世系的辈分：下一代。 ◎ 姓。
读音:luó
[luó]
巡察：巡逻。逻吏（巡逻官）。逻骑。逻卒。 ◎ 遮拦：“蛛蝥结网工遮逻”。
读音:ji,jí
[ji,jí]
聚集，特指聚集材料编书：辑录。辑要。辑逸。编辑。纂辑。 ◎ 聚集很多材料而成的书刊：丛书第一辑。 ◎ 和，和睦：辑睦。 ◎ 敛，拖着不便脱落。 ◎ 古同“缉”，连缀。 ◎ 古代称协调驾车的众马。
1、从现代逻辑和语言哲学看，休谟问题是可消解的，而科学实在论正是在科学现实基础上得以成立。2、之后，美籍逻辑学家歌德尔一阶谓词演算的完备性定理，这标志着现代逻辑基础部分的完成。3、半符号逻辑是一种新的逻辑分支，它试图突破传统和现代逻辑的局限性，建立一种既严格又易于掌握的逻辑体系。4、从现代逻辑和语言...