【摘 要】
：
<正> 哲学家莱布尼兹有过一个美妙的设想:将思维加以逻辑处理或演算,使得推理的有效性可转化为计算的可靠性,这样,当争论发生时,争论双方只要“拿起铅笔,坐下来心平气和地进
论文部分内容阅读
<正> 哲学家莱布尼兹有过一个美妙的设想:将思维加以逻辑处理或演算,使得推理的有效性可转化为计算的可靠性,这样,当争论发生时,争论双方只要“拿起铅笔,坐下来心平气和地进行计算”,问颢便会仰刃而解。在他之后,逻辑学家以及数学家们付出了艰辛的努力,尤其是经过弗雷格和罗素的工作,莱氏的设想在特定的意义上得以实现。从被认为是数理逻辑成熟标志的《数学原理》发表,至今已将近一个世纪,其间,又诞生了现代逻辑的三大成果,形成了各具特色的“四论”。现代逻辑沿形式化方向的发展仍在不断深入,许多逻辑学家沉溺于公式、符号间的演算,甚至有人认为数理逻辑将构成全部
其他文献
任何事物都是一分为二的,大部制也不例外。大部制的优点主要有:有利于集中和整合资源,克服部门本位主义;为行政协调开辟了一条新的途径;化解职能交叉、"九龙治水"等矛盾;提高
教师是学校最重要的人力资源,教师管理是学校管理的重要内容。教师管理的成败将直接影响到学校的整体办学质量和学校的存亡,而中小学教师管理将关系到我国基础教育的质量。当
中国民族自治地方行政管理研究经过了理论准备、学科创建和学科发展三个阶段。在其发展过程中,经过理论和实践工作者的不懈努力,研究不断深入、领域逐步扩展,对于提升民族自
朝核问题上韩日关系的影响因素是我国学术界的一个空白点,我国目前没有学术著作专门研究这一问题。在一些研究韩国、日本外交政策以及研究朝核问题的学术著作中,朝核问题上韩
“图解”是当代建筑创作的核心工具和讨论的核心话题,而国内对“图解”一词的概念还有很多误解,本文从剖析图解概念开始,简述图解理论的产生与发展,最后通过完整呈现一次教学
信息技术的迅猛发展,办公现代化进程的加快,使办公状态和办公方式发生翻天覆地的变化;建筑标准、建筑审美的提高,可持续发展要求的深入人心,均使得许多旧有办公建筑出现不同
通信业作为国民经济的基础、先导和支柱产业,在全面建设小康社会中承担着重大的社会责任。通信工程设计工作在通信工程建设过程中同样处于重要地位,工程项目质量在于项目工程
徐沛东是中国当代著名作曲家,以通俗歌曲创作蜚声乐坛。他创作的音乐作品具有鲜明的时代和民族特色,创作手法多元化,涉猎面很广,有通俗的、民族的、艺术歌曲,还有很多影视作
人类历史已进入21世纪,然而自1648年威斯特伐利亚体系以来形成的民族国家为主体的国际秩序并没有发生根本性的变化。我们依然生活在一个无政府状态下按实力划分的等级制度的
继上个世纪美国对苏联、东欧成功地进行“和平演变”之后,美国近年来又采用了新一轮的和平演变手段,也是一种新的干涉手法——“颜色革命”,尤其是二十世纪九十年代以来,美国