现代逻辑是什么意思

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

分字解释

现

现（現） xiàn 显露：出现。表现。发现。体现。现身说法。实有的，当...更多

代

代 dài 替：代替。代办。代销。代序。代表。历史上划分的时期：时代。...更多

逻

逻（邏） luó 巡察：巡逻。逻吏（巡逻官）。逻骑。逻卒。遮拦：“蛛...更多

辑

辑（輯） jí 聚集，特指聚集材料编书：辑录。辑要。辑逸。编辑。纂辑。...更多