论文部分内容阅读
从哲学和数学的传统主题到认知科学、计算机科学、人工智能和语言学等更加新近的学科,当代逻辑科学正日益广泛地应用于众多的学科之中,这一结果的产生使逻辑这门古老的学科充满了生机和活力。1997年荷兰克鲁尔出版公司出版的《应用逻辑系列丛书》,便是对上述观点的一个极好的佐证。
内涵逻辑发展的新趋势——应用逻辑系列《内涵逻辑的进展》一书简介
【摘 要】
：
从哲学和数学的传统主题到认知科学、计算机科学、人工智能和语言学等更加新近的学科,当代逻辑科学正日益广泛地应用于众多的学科之中,这一结果的产生使逻辑这门古老的学科充
【机 构】
：
苏州大学哲学系
【出 处】
：
逻辑学研究
【发表日期】
：
2011年4期
其他文献
一、逻辑教学的可视化——逻辑学习软件20世纪中期,人们设想用计算机进行逻辑推理。1956年,国际著名的逻辑学家、数学家和计算机科学家Newell和Simon等人首先取得突破,他们编
11月14日至16日，江西省在吉安市召开全省农业综合开发现场会议，11个设区市和38个高标准农田建设重点县（市、区）农发办负责人出席了会议。会议提出，要采取三项新举措加快高标准农田
近年来，由于非良基集合在人工智能、认知科学及哲学等领域都有很重要的应用，它的研究越来越受到人们的关注。判断两个对象的同一性是集合论中最基本的问题，然而，与良基集合不同的
[目的]探讨松果腺对脾脏免疫功能季节性变化的影响作用。[方法]采用松果腺摘除动物模型，运用噻唑兰（MTT）比色分析法，测定冬春两季Wistar大鼠脾脏T淋巴细胞增殖率变化情况。[结果]
当代论证理论中＂论辩术＂之理论视角存在着两种不同的解读方式。一种以语用论辩术理论为代表,将＂论辩术＂外化为论证活动的程序与规则,另一种以非形式逻辑理论为代表,将＂论辩术＂内化
可压缩长桩的承载力主要由桩上部摩摩阻力提供，只有在桩顶位移较大的情况下，桩端以上的桩摩阻力才能发挥，受桩顶位移量的限制，桩长对桩承载力有较大影响，本文对此问题进行讨论，并提
逻辑学东渐，启发了梁启超的中国传统学术研究；用西方传统逻辑研究墨家逻辑形成了梁启超研究范式，并影响着中国逻辑史的百年研究。在对其研究范式的肯定与否定的争论中，形成了三种
江西省上高县素有“赣中粮仓”美誉，2010年全县水稻种植面积32万亩，粮食产量达28万吨，粮食产业成为全县农业的主导产业。围绕粮食生产、加工，全县组建了71个水稻种植合作社，2006年