现代逻辑是什么意思

数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。

分词解释

现

拼音：xiàn,部首：见笔划：8

现（現） xiàn 显露：出现。表现。发现。体现。现身说法。实有的，当...查看详细解释

代

拼音：dài,部首：亻笔划：5

代 dài 替：代替。代办。代销。代序。代表。历史上划分的时期：时代。...查看详细解释

逻

拼音：luó,部首：辶笔划：11

逻（邏） luó 巡察：巡逻。逻吏（巡逻官）。逻骑。逻卒。遮拦：“蛛...查看详细解释

辑

拼音：jí,ji,部首：车笔划：13

辑（輯） jí 聚集，特指聚集材料编书：辑录。辑要。辑逸。编辑。纂辑。...查看详细解释