近十五年应用逻辑研究的发展脉络、前沿选题及其启示——基于国外《应用逻辑杂志》的内容分析

来源 :国外社会科学 | 被引量 : 0次 | 上传用户:yanyansinx
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
创刊于2003年的《应用逻辑杂志》,是国际逻辑学界公认的权威英文期刊之一。本文通过对《应用逻辑杂志》创刊以来所载文献内容的分析和部分具有代表性文章的介绍,试图勾勒出西方近15年来应用逻辑的研究进展、学科动态和前沿领域,进一步讨论其对我国逻辑学研究的意义。希望能借此给国内学者介绍一些新观点和新概念,并激发对这一领域感兴趣的学者做进一步的了解和研究。
其他文献
伴随着信息技术和网络技术的迅猛发展,多媒体网络因其资源共享性、多媒体性和交互性,在教育中的应用日益广泛而深入,俨然已成为现代教育改革的重要内容之一,特别是Internet与校园
随着现代化建设的需要,通信需要传输的数据的速度大大增加,如何解决最后1公里的问题就成了当今网络技术研究的热点之一。由于DSL技术能够充分利用现有的铜缆资源,具有低成本
概率积分法是我国常用的地表移动变形预计方法之一,用该法进行预计时涉及4个基本参数的确定,目前参数的确定方法主要依据经验进行计算或者参照与待预计矿山类似条件的已有矿
电子光学系统由电子枪、聚焦系统和降压收集极三部分组成,内容涉及电子注的产生、成形、维持和收集,是微波管的重要组成部分。在微波管中,电子枪用来产生具有一定几何形状,能
污水处理厂是治理城市污水的主要设施之一,在城市整个治水体系之中发挥着至关重要的作用,其处理水平、规模等方面直接关系到城市污水治理的成效。在社会经济高速发展的背景下
期刊
诞生于上世纪九十年代初期的光参量啁啾脉冲放大技术,因其在超短脉冲激光放大方面的独特优势,一经提出便引起了广泛的关注。单程增益高、信噪比高、热效应影响较小、获得光束
金葡菌是一种常见的革兰氏阳性菌,为条件致病菌,引起人医院获得性和社区获得性感染。金葡菌常存在于健康人体的鼻腔内,在人体免疫机能下降的时候侵袭机体,引起机体的一系列疾病,从
随着介观物理和纳米电子学研究的不断深入,人们发现散粒噪声可以表征纳米器件内部结构信息和电子传输特性。宏观电子元器件内部也存在介观或者纳米尺度的结构,故也会产生散粒
根据辽宁省"一河一策"方案编制的经验,对界定河流编制范围、摸清河流现状问题、明确管理保护目标、落实管理保护措施及责任等方面进行探讨,对完善"一河一策"方案编制提出建议
终末期肝病(End stage liver disease,ESLD)是很多肝脏疾病的终末状态,预后较差,肝移植是目前治疗ESLD的首选治疗方案,但供肝不足和免疫排斥是影响肝移植治疗的难题。干细胞是一类