检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

模态对应理论述评

哲学动态 2012年第1期 97-101页

作者：马明辉刘新文西南大学逻辑与智能研究所重庆400715 中国社会科学院哲学研究研究所北京100732

模态逻辑的关系语义（也称克里普克语义）起源于20世纪60年代左右关于模态词的解释，其主要特征是，与之前的模态代数理论相比，作为一种塔尔斯基式的语义，使模态句法对象与语义结构之间的联系变得明确起来。在模型层次上，模态算子的... 详细信息

模态逻辑的关系语义（也称克里普克语义）起源于20世纪60年代左右关于模态词的解释，其主要特征是，与之前的模态代数理论相比，作为一种塔尔斯基式的语义，使模态句法对象与语义结构之间的联系变得明确起来。在模型层次上，模态算子的语义是使用一阶量词和结构上的二元关系来解释的，因此模态词本质上就是“局部”量词，即对当前状态的所有后继状态进行量化。从语义的角度看，

关键词：模态词语义结构述评对应 60年代 20世纪克里普克模态逻辑

在线全文

学校读者我要写书评

暂无评论

公路隧道围岩分级的规范运用与思考

工程勘察 2008年第S2期36卷 61-64页

作者：汪伟刘新文山西省交通规划勘察设计院太原030012

针对当前采用定性划分和定量相结合的综合评判方法在确定隧道围岩分级时遇到的具体问题提出了相应的解决措施。

关键词：隧道围岩分级定性定量

在线全文

学校读者我要写书评

暂无评论

逻辑基础问题(中)

世界哲学 2017年第5期 22-36页

作者： G.谢尔刘新文中国社会科学院哲学研究所

运用本文第一部分新建立起来的方法论,我在本文第二部分为逻辑构造了一个基础。我的出发点是逻辑在人类知识中所执行的任务。为了完成这一任务,逻辑必须满足强大的正确性要求,由此,它必须既建基于人类心灵之中也建基于世界之中。但是逻... 详细信息

运用本文第一部分新建立起来的方法论,我在本文第二部分为逻辑构造了一个基础。我的出发点是逻辑在人类知识中所执行的任务。为了完成这一任务,逻辑必须满足强大的正确性要求,由此,它必须既建基于人类心灵之中也建基于世界之中。但是逻辑又不能建基于世界的任何事物之中;它必须建基于世界的某一方面,这个方面强大到足以支撑关于逻辑后承(逻辑地从什么得出什么)的断言。我对这个问题的解决办法是把逻辑建基于一种特别强的法则类型即"形式"法则之中。我证明,由于这些法则的特别强大的"不变性"程度这个特征,它们足够强大到为逻辑提供基础,然后我解释了逻辑是如何建基于这样的法则之中的。这个基础包含着形式性的一个标准以及基于这个标准而为逻辑常项提出的一个标准——逻辑常项是逻辑真和逻辑后承的"引擎"。

关键词：逻辑后承正确性形式性逻辑性

在线全文

学校读者我要写书评

暂无评论

第八次中国逻辑大会综述

哲学动态 2009年第3期 104-106页

作者：刘叶涛刘新文燕山大学文法学院河北秦皇岛066004 中国社会科学院哲学研究所

第八次中国逻辑大会于2008年10月31-11月3日在天津召开，200余位代表出席了会议。大会回顾和总结了过去四年来学会与专业委员会的工作以及逻辑学领域取得的成绩，听取和审议了中国逻辑学会第七届常务理事会工作报告，进行了大会和分组... 详细信息

第八次中国逻辑大会于2008年10月31-11月3日在天津召开，200余位代表出席了会议。大会回顾和总结了过去四年来学会与专业委员会的工作以及逻辑学领域取得的成绩，听取和审议了中国逻辑学会第七届常务理事会工作报告，进行了大会和分组学术交流、颁发中国逻辑学会第二届优秀成果奖以及理事会换届选举。

关键词：中国逻辑常务理事会综述专业委员会优秀成果奖学术交流换届选举逻辑学

在线全文

学校读者我要写书评

暂无评论

命题逻辑的证伪系统

湖南科技大学学报（社会科学版） 2011年第3期14卷 23-25页

作者：刘新文中国社会科学院哲学研究所北京100732

一个证伪系统是由证伪公理和证伪规则组成的推演系统。证伪公理都是非有效的公式,而证伪规则保持非有效性。张清宇在1996年(基于他在1986年的工作)提出了证伪系统的概念并为古典命题逻辑建立了自然推理型证伪系统N珚和希尔伯特型证伪系... 详细信息

一个证伪系统是由证伪公理和证伪规则组成的推演系统。证伪公理都是非有效的公式,而证伪规则保持非有效性。张清宇在1996年(基于他在1986年的工作)提出了证伪系统的概念并为古典命题逻辑建立了自然推理型证伪系统N珚和希尔伯特型证伪系统H珚,本文在此基础上做进一步的推广以包括直觉主义命题逻辑、模态命题逻辑的证伪系统并做一般性讨论。

关键词：证伪系统古典命题逻辑直觉主义命题逻辑模态命题逻辑

关于县级决策机关如何加强农业领导的探讨与建议

在线全文

学校读者我要写书评

暂无评论

理论导刊 1991年第8期 21-27页

作者：刘新文胡进灿中共陕西省委农研室

城乡改革十年以来,我省农村经济一直保持着持续增长的势头,尽管年度之间有起有伏,但增长的趋势是明显的。1981年到1989年,农业总产值增长76.4％,年递增7.3％(按可比价格计算),粮食总产增长40％,年递增4.2％,乡镇企业总产值增长了12倍,... 详细信息

城乡改革十年以来,我省农村经济一直保持着持续增长的势头,尽管年度之间有起有伏,但增长的趋势是明显的。1981年到1989年,农业总产值增长76.4％,年递增7.3％(按可比价格计算),粮食总产增长40％,年递增4.2％,乡镇企业总产值增长了12倍,每年增加15亿多元,农民人均纯收入增长了1.45倍,年递增11.8％(未扣除物价因素)。在八、九年的时间里,农村经济以这样的速度持续增长,是建国以来少有的。原因很简单,也很清楚,主要是党的路线、政策符合了农村实际,当然,过去长期进行的各种农业投入也起了很大的作用。

关键词：决策机关探讨与建议农业县财政收入改革前粮食决策行为决策目标烤烟乡镇企业

在线全文

学校读者我要写书评

暂无评论

农业装备用柴油发动机技术性能的特点分析

农机化研究 2004年第3期26卷 253-253,270页

作者：戴远征刘新文石河子大学机械电气工程学院新疆石河子832000 石河子机械施工公司新疆石河子832000

在现代农业机械化生产过程中,农机装备的技术性能已成为农业生产过程现代化的标志。为适应农业生产发展的需求,分析了其技术性能的特点。

关键词：农业装备柴油发动机技术性能动力性

在线全文

学校读者我要写书评

暂无评论

图书馆图书复本量的定量分析

西南师范大学学报（自然科学版） 2007年第4期32卷 87-89页

作者：刘新文华中科技大学图书馆武汉430074

针对图书复本量计算模型中现实读者人数难以确定、影响计算模型的实际使用效果的问题,提出了一种利用图书馆读者实际借阅情况的统计数据来确定现实读者的方法,具有一定的参考价值.

关键词：图书馆图书复本量定量分析

在线全文

学校读者我要写书评

暂无评论

逻辑基础问题(上)

世界哲学 2017年第4期 5-14页

作者： G.谢尔[美] 刘新文不详中国社会科学院哲学研究所

为逻辑构建一个系统的哲学基础,这是一个异常困难的问题。我在本文上篇提出,这个问题在很大程度上属于方法论问题,需要处理传统的基础性方法论"基础主义"。这个方法论原则上无法为非常基本的学科提供基础,而逻辑就是这样一门学科。为了... 详细信息

为逻辑构建一个系统的哲学基础,这是一个异常困难的问题。我在本文上篇提出,这个问题在很大程度上属于方法论问题,需要处理传统的基础性方法论"基础主义"。这个方法论原则上无法为非常基本的学科提供基础,而逻辑就是这样一门学科。为了完成这一任务,我替换了这一方法论,而代之以新的"基础整体主义"。基础整体主义把强烈的基础性要求(真与正确性证明)与非传统的、"整体主义"的工具组合起来为知识提供了一个基础。这一组合使得它甚至可以为逻辑这样最为基本的学科构造严格的基础。

关键词：逻辑基础问题基础主义基础整体主义