从《逻辑》到《逻辑基础》——王路教授访谈录

现代逻辑作为一门科学,自1935年金岳霖出版《逻辑》而得以系统地引进国内以来,至今已经85年了。访谈围绕逻辑教科书的主要内容、逻辑教学中可能会遇到的问题以及如何讲授现代逻辑基础的方法,探讨了王路教授的《逻辑基础》对《逻辑》中的理念的传承、逻辑对哲学的重要意义、普及和传授现代逻辑的种种可能途径。     

复杂山地高密度宽线地震采集技术及应用效果

通过多年持续攻关,塔里木盆地山地地震采集技术取得了长足进展,但仍有许多勘探难题需进一步解决。阐述了针对高大山体区地震资料的低信噪比问题和高陡复杂构造成像问题而提出的一种攻关采集方法。该方法以宽线采集技术为基础,在增强压噪能力、提高静校正精度、改善陡倾角地层成像效果等方面采取了针对性技术措施。这些技术措施的的应用大幅度改善了地震剖面的成像质量。     

取舍复句的逻辑认识及其应用

对取舍复句的逻辑认识是有争议的,至今尚无定论。我们在本文中提出自己于学习中得出的看法。 一 取舍复句是“选择已定”的选择关系联合复句,表示一种取舍关系即在两件事情中衡量得失后选定其中一件而舍弃另一件。取舍复句从比较中选择,有     

知识经济时代的档案管理

知识经济时代档案工作所处的地位十分重要 ,知识经济对档案管理观念的更新、档案管理人才的要求、档案管理方式的创新等方面提出了新要求。知识经济时代的档案管理将是知识的管理 ,而知识型人才的培养和管理方式的创新是档案管理适应知识经济时代要求的关键因素。     

高中美术欣赏教学与审美评价

从美术欣赏教学的特征、美术的审美价值与评价、绘画欣赏中的评价三方面,对高中美术欣赏教学与审美评价进性了论述,并提出了有益的教学建议。     

京剧《望江亭》与元杂剧原剧本的几点比较

京剧《望江亭》与元杂剧原剧本相比 ,无论是在剧情、背景 ,还是在结构、情节、语言等方面均有诸多异同 ,其改编自然也有利弊得失 ,因此 ,从社会现实、典章奏疏、历史真实、剧本形式、语汇改写成败等多角度对之予以深入挖掘 ,可为今天的古戏曲改编提供经验借鉴 ,亦有利于演出的推陈出新 ,锦上添花。     

逻辑图：从古典到形式化的发展

古典的逻辑图主要包括欧拉图和文恩图（一般也把经过皮尔士改造过的文恩图“皮尔士-文恩图”包括在内）。由于可靠（且完全）的逻辑推演规则的提出，在逻辑图从古典形式走向形式化的发展历程中，具有转折性的是皮尔士-文恩图以及皮尔士的存在图系统，现代形式的图式逻辑就是在这两者的基础上建立起来的。     

经典一阶逻辑的希尔伯特型系统

系统Z是文[7]构造的经典命题逻辑系统,这一系统的初始联结词是一类广义的谢夫竖函数,并且采用括号记法。作者在系统Z中加入存在量词,把存在量词和广义谢夫竖函数统一作括号记法,并且把系统Z的规则作相应的处理,最后证明了所得系统Z'的完全性。     

逻辑图:从古典到形式化的发展

古典的逻辑图主要包括欧拉图和文恩图(一般也把经过皮尔士改造过的文恩图“皮尔士-文恩图”包括在内)。由于可靠(且完全)的逻辑推演规则的提出,在逻辑图从古典形式走向形式化的发展历程中,具有转折性的是皮尔士-文恩图以及皮尔士的存在图系统,现代形式的图式逻辑就是在这两者的基础上建立起来的。     

批把与元白诗、元杂剧

批把亦作枇杷即琵琶,周武帝时龟兹人已来中原弹奏。汉武帝时马上弹之以慰公主,东汉时已司空见惯。唐代琵琶种类较多,高手迭出,许多诗人咏过琵琶,尤其是元、白二人运用多种手法,描绘出琵琶声的多变及演奏者的高超技艺,声情并茂,使之提高到一个新水平、新高度。然而元诗在心理刻画及人物情态的描绘上不如白诗深刻。白居易写过《昭君怨》,昭君与琵琶难解其缘,但正史记载与诗词戏曲多有不同,马致远的《汉宫秋》中描绘的琵琶是元帝与昭君相见相爱生死离别,贯穿前三折不可或缺的重要道具。他还写过《青衫泪》,根据《琵琶行》生发而成,将琵琶女坐实为裴兴奴,考兴奴实有其人,与琵琶名家曹纲(刚)时被称为左、右手,有记载曹刚弟子弹琵琶能吸引"方响"从塘里飞到岸上,足可佐证裴、曹弹奏水平之高妙。