【摘 要】
:
《哲学逻辑手册》(英文,第2版,约18卷)的出版表明,当代逻辑的发展更多地受计算机科学和人工智能研究的驱动,从上世纪80年代左右开始,逻辑学发展又进入一个新的高峰期,经典的
论文部分内容阅读
《哲学逻辑手册》(英文,第2版,约18卷)的出版表明,当代逻辑的发展更多地受计算机科学和人工智能研究的驱动,从上世纪80年代左右开始,逻辑学发展又进入一个新的高峰期,经典的逻辑理论得到应用和发展,许多新的逻辑分支大量涌现,逻辑研究在观念、时象、范围、方法、手段诸方面都在发生新的变革,它有可能回到一个古老的传统:比较全面地研究人的思维活动中存在的程序、模式、方法和准则,而不仅仅局限于有效推理.
其他文献
中国的国土被地形地貌分割成若干单元,地理分布与政治结构之间存在张力.经济区分布与自然区大体一致,但与行政区划不尽一致,中国已形成了行政区经济,成为经济的区域化的阻力,
随着城乡居民医疗保险整合进程的推进和信息技术在城乡居民医保中的引进,城乡居民医保电子文件大量产生。为适应我国整合后城乡居民医保电子文件管理的需要,对电子文件进行科
目的观察血管紧张素Ⅱ受体拮抗剂氯沙坦对高血压患者的降压和降尿酸作用.方法采用前瞻性分析研究,将68例高血压伴高尿酸患者分为两组,每组34例.氯沙坦组:给与氯沙坦50 mg/d;
由于历史的原因,德莱塞的<嘉莉妹妹>出现了两个不同的版本,即1900年版本和1982年出版的复原本.本文从文献学的角度介绍了这两个版本的由来,并对这两个版本进行了较全面的比较