论文部分内容阅读
莱布尼茨对数理逻辑的创建工作作出了开创性的贡献。他不仅提出了较为完整的关于建立新的逻辑的思想,而且还进行了整体性的富有创造的具体探索,即第一个创建了真正的抽象演算。他关于建立数理逻辑的设想,诸如建立人工表意符号,用演算表示推理等都是和后来的数理逻辑的发展相符的。
从逻辑演算的角度看莱布尼茨的数理逻辑思想
【摘 要】
：
莱布尼茨对数理逻辑的创建工作作出了开创性的贡献。他不仅提出了较为完整的关于建立新的逻辑的思想,而且还进行了整体性的富有创造的具体探索,即第一个创建了真正的抽象演算。他关于建立数理逻辑的设想,诸如建立人工表意符号,用演算表示推理等都是和后来的数理逻辑的发展相符的。
【机 构】
：
南开大学哲学系
【出 处】
：
兰州大学学报：社会科学版
【发表日期】
：
2009年S1期
其他文献
自宋以来,人们一直认为杜甫于乾元二年秋由华州司功参军客秦州是主动弃官的,其弃官原因有关辅饥乱、政治绝望、房琯之党说.本文根据唐代的选举制度,认为这一说法有误,提出了
研究了噻苯隆（TDZ）在红掌外植体诱导及增殖继代过程中的作用。结果表明，在外植体诱导阶段，添加0．1mg·L-1的TDZ，可以缩短诱导时间，提高诱导率。TDZ浓度大于0．1mg·L-1会导致
集体财务的好管家──记定西县青岗乡农经员史炳仁王科，魏进堂６１岁的共产党员史炳仁同志，１９５５年担任社队会计，１９７８年开始担任甘肃省定西县青岗乡农经员。在管理集体财务的四十年里，他保护集
为寻找一种既有效又适合推广应用，而且符合食品安全的水蜜桃保鲜方法，以凤凰水蜜桃为试验材料，研究分析了在冷藏条件（1±0．5）℃下结合气调，分别用姜汁浸泡和超声波＋姜汁浸泡对凤
<正> 一、社区性服务体系建设的特点近几年来,农村涌现出众多的服务组织,这些服务组织在发展农村商品经济中发挥了各自不同的作用,但能把农民组织起来开展社会化服务的主体仍
研究了原烟精选对提高烟叶等级质量、提高劳动效率的作用。研究表明：原烟精选可有效剔除青杂、霉变烟和和非烟物质,明显提高烟叶等级合格率,明显降低造碎,提高烟叶资源利用率;
<正> 近年来,山东省经管部门紧紧围绕党在农村的各项方针政策,不断探索农经改革的新路子,有力地促进了农村改革,促进了农村经济的全面发展。1.加强农业承包合同管理,促进了联
针对实验室废水,采用活性碳联合Fenton试剂氧化处理,探讨主要因素对COD处理效果的影响.实验结果表明,活性碳在添加量为0.45 g/mL,反应30 min后对废水中COD的去除率达61.32％;Fe