《关于国内外大学哲学课程的调查研究 关键词：课程设置；现代逻辑；普通逻辑 [gap=9561]Key words：Curriculum; Modern Logic; Common Logic
基于40个网页-相关网页
modern logic and ordinary logic 现代逻辑与普通逻辑
modern mathematical logic 现代数理逻辑
In Modern Logic 对现代逻辑
modern logic methods 现代逻辑方法
extension of modern logic 现代逻辑的延伸
modern inductive logic 现代归纳逻辑
modern formal logic 当代形式逻辑
modern European logic 欧洲近代逻辑
Outlines of Modern Legal Logic 现代法律逻辑概论
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
Predicate logic of first order is the most classical calculation system in modern logic.
一阶谓词逻辑是现代逻辑中最为经典的演算系统。
Philosophical logic is a non technical study of questions related to reasoning by means of modern logic.
逻辑哲学是在现代逻辑的基础上，以非技术的方式研究与推理相关的问题。
In such a program, whose motivation is purely philosophical, techniques of modern logic would have to be exploited to the utmost.
离开了对现代逻辑技术的充分挖掘和利用，要实现这个出自纯粹哲学动机的方案是不可能的。
应用推荐