论文部分内容阅读
逻辑是古老而至今还十分兴旺发达的科学。它有许多类型。而其中,符号逻辑可称为传统逻辑的现代类型,它发展得最为成熟,并且硕果累累。 德国哲学家莱布尼兹(1646—1716)是符号逻辑的创始人,他提出要将推理化归于计算,要使逻辑成为通用的语言。他还做了许多尝试。但由于他精力分散,也
符号逻辑概述
【摘 要】
：
逻辑是古老而至今还十分兴旺发达的科学。它有许多类型。而其中,符号逻辑可称为传统逻辑的现代类型,它发展得最为成熟,并且硕果累累。 德国哲学家莱布尼兹(1646—1716)是符号
【机 构】
：
兰州大学
【出 处】
：
兰州学刊
【发表日期】
：
1983年1期
其他文献
河南省种子管理站于2007年9月中下旬组织"三农"专家到全省部分市、县的主要农作物种子基地、中间试验点、示范展示点和引种试验点进行重点考察和专家座谈.现结合各省辖市种子
期刊
0 引言自2001年国家实施“生态家园富民工程”以来，全国农村通过“一池三改”沼气配套技术，使农村环境卫生、村容村貌大大改观，截止2008年底全国户用沼气池总数达3000多万口。新
关于中心城市的作用问题,是近几年来我国在国民经济调整和改革中提出的一个新的课题。对这个问题的研究,目前,正处于初探阶段,不论在理论上和实践上都有许多问题需要我们很好
1 高温闷棚关 温室建成以后,选择晴天盖上棚膜,密闭闷棚7～10 d,使室内温度提高至60 ℃以上,以杀死土表及墙体上的病菌孢子及虫卵,减轻蔬菜生长期的病虫害侵染及危害.如在高
期刊
病态窦房结综合征(SSS)简称病窦综合征,是由于窦房结或周围组织因缺血缺氧炎症等所致器质性病变,使窦房结冲动形成,传导障碍所产生的多种心律失常和多种症状的综合征.此类患
我国首次开展的淀粉改良的转基因木薯培育成功。近日，这项研究的主持者、中国科学院上海生命科学研究院植物生理生态研究所张鹏研究员透露，在该研究所田间试验收获的新型木薯，证
阐述了江西省赣抚平原灌区续建配套与节水改造工程质量管理措施.
目的:测定狼疮静中丹皮酚及芍药苷的含量,以控制制剂质量.方法:反相高效液相色谱(RP-HPLC)法,均用十八烷基键合硅胶为固定相:前者以甲醇-醋酸-水(58∶2∶40)为流动相,检测波
“潜科学”是八十年代出现的一门学科,对它的研究才刚刚起步。本文就这门新兴的学科作一简要介绍,供大家参考。 一、什么是潜科学 查阅古今中外的科学文献、历史典籍,人们还
安全生产是顺利完成水利工程施工任务的重要保证，工程施工中应该做到，落实安全责任，实施责任切实做好施工现场的安全控制等一系列工作。