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

英文篇名：Development, Front-line Topics and Inspirations of Applied Logic Study in Recent Fifteen Years: Based on an Analysis of Journal of Applied Logic
作者：孙雯
英文作者：Sun Wen;
关键词：逻辑学 ; 《应用逻辑杂志》 ; 前沿领域 ; 学科动态
中文刊名：GWSH
英文刊名：Social Sciences Abroad
机构：河北师范大学马克思主义学院;中国社会科学院哲学研究所;
出版日期：2019-05-15
出版单位：国外社会科学
年：2019
期：No.333
基金：国家社会科学基金重大招标项目“应用逻辑与逻辑应用研究”(14ZDB014);; 2019年度河北省高等学校人文社会科学青年拔尖人才项目“防御操纵的社会选择机制与计算机操纵研究”;; 河北省社会科学发展研究课题(201704010104);; 河北师范大学人文社会科学基金项目(S2014809、S2015 Y03)的阶段性成果
语种：中文;
页：GWSH201903010
页数：8
CN：03
ISSN：11-1163/C
分类号：93-100

摘要

创刊于2003年的《应用逻辑杂志》,是国际逻辑学界公认的权威英文期刊之一。本文通过对《应用逻辑杂志》创刊以来所载文献内容的分析和部分具有代表性文章的介绍,试图勾勒出西方近15年来应用逻辑的研究进展、学科动态和前沿领域,进一步讨论其对我国逻辑学研究的意义。希望能借此给国内学者介绍一些新观点和新概念,并激发对这一领域感兴趣的学者做进一步的了解和研究。

引文

(1)[美]N.雷斯彻:《何谓应用逻辑》,林熹译,《哲学译丛》1982年第4期,第26～30页。
    (2)J.Hintikka,Applied Logic,https://www.britannica.com/topic/applied-logic.[2019-01-15]
    (3)[波]J.M.波亨斯基:《现代逻辑的一般观念和特征》,周子平译,《哲学译丛》1983年第3期,第26～30页。
    (4)http://www.sciencedirect.com/science/journal/15708683/.[2019-01-15]
    (5)Augustus de Morgan & Acfned Edcuard Tayhr,Formal Logic,Nabu Press,2010,p.8.
    (6)Colin Howson,Probability and Logic,Journal of Applied Logic,Vol.1,2003,pp.151-165.
    (7)C.Areces & D.Gorín,Coinductive Models and Normal Forms for Modal Logics (or How We Learned to Stop Worrying and Love Coinduction),Journal of Applied Logic,Vol.8,2010,pp.305-318.
    (8)J.Faddoul & V.Haarslev,Algebraic Tableau Reasoning for the Description Logic SHOQ,Journal of Applied Logic,Vol.8,2010,pp.334-355.
    (9)M.Fitting,Justification Logics and Hybrid Logics,Journal of Applied Logic,Vol.8,2010,pp.356-370.
    (10)D.Galmiche & Y.Salhi,A Family of G?del.Hybrid Logics,Journal of Applied Logic,Vol.8,2010,pp.371-385.
    (11)M.Mundhenk,T.Schneider,T.Schwentick & V.Weber,Complexity of Hybrid Logics over Transitive Frames,Journal of Applied Logic,Vol.8,2010,pp.422-440.
    (12)http://www.collegepublications.co.uk/journals/ifcolog/.[2019-01-15]