Predicate logic of first order is the most classical calculation system in modern logic.
一阶谓词逻辑是现代逻辑中最为经典的演算系统。
参考来源 - 一阶谓词逻辑在人工智能中的应用By named his extraordinary philosophy for Scientific Materialism or New Ontology, Mario Augusto Bunge aver a systematical,scientifical and accurate philosophy,which can be inspected,explained and also extended by Modern Logic,Mathematics and Science.
马里奥·邦格将其哲学思想称为科学唯物主义或新本体论,主张以现代逻辑、数学和科学来考察、说明和扩充唯物主义,把哲学改造成系统的、科学的和精确的。
参考来源 - 简析马里奥·邦格的哲学与逻辑思想中的几个问题·2,447,543篇论文数据，部分数据来源于NoteExpress
The value and meaning of modern logic is its application on some theories.
现代逻辑的价值和意义，在于其在理论上的应用。
It provides a single strand of simple techniques for the central business of modern logic.
它提供了现代逻辑的商业中心一个简单的技巧，单链。
The agreement could be served as the approval on the position of modern logic in the field.
这种一致性在一定程度上可以看作是对现代逻辑在语言哲学中的作用的认可。
应用推荐