现代逻辑

拼音：xiàn dài luó jí

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

句子

造句
  • 1.
    到底何为中国古代推类?中国古代思想家及现代逻辑学家都有各自的看法。
  • 2.
    之后，美籍逻辑学家歌德尔一阶谓词演算的完备性定理，这标志着现代逻辑基础部分的完成。
  • 3.
    从现代逻辑和语言哲学看，休谟问题是可消解的，而科学实在论正是在科学现实基础上得以成立。
  • 4.
    半符号逻辑是一种新的逻辑分支，它试图突破传统和现代逻辑的局限性，建立一种既严格又易于掌握的逻辑体系。
查看更多