贾青
- 作品数：35 被引量：13H指数：2
- 供职机构：中国社会科学院哲学研究所更多>>
- 发文基金：国家社会科学基金中国博士后科学基金教育部人文社会科学研究基金更多>>
- 相关领域：哲学宗教自然科学总论文化科学语言文字更多>>
- 哲学逻辑与逻辑哲学的新进展——2014年国内逻辑学研究综述
- 2015年
- 近年来，国内的逻辑学研究主要集中在哲学逻辑、逻辑哲学以及模态逻辑等方向，2014年的逻辑学研究依然体现了这种研究方向的分布情况。在哲学逻辑领域，与动态逻辑相关的研究占据了很大的比重；在逻辑哲学领域，对经典著作或者经典理论的重新整理或理解成为了一个重要的研究热点；在模态逻辑领域，经典模态逻辑以及超模态逻辑中的很多问题也都得到重视和研究。
- 贾青刘新文
- 关键词：逻辑学研究逻辑哲学哲学逻辑模态逻辑动态逻辑
- 积极开展与推进现代逻辑的哲学应用研究——《意义、真理与可能世界》评介
- 2015年
- 自现代逻辑创生以来,它就与现代哲学研究建立了紧密、连续的互动发展关系,正是这种"携手共进"使得这两者在一系列重大问题上都取得了历史性突破。其中,现代逻辑在20世纪五六十年代所获得的"可能世界语义学"就是在学界引发了巨大反响的革命性成就之一,其核心概念"可能世界"已经成为而且未来也会是逻辑与哲学界的流行话语;而作为现代逻辑与语言哲学共同关注的核心课题,真理与意义理论也与逻辑学在整个20世纪所取得的几大成就,尤其是可能世界理论进行了深入的互动。
- 冯立荣贾青
- 关键词：现代逻辑流行话语克里普克
- 证明网络与语言处理被引量：1
- 2016年
- 证明网络是证明的一种图像处理方式。在范畴语法中,由于证明网络具有便于给出语言句法分析这一特点,因此可以说证明网络是范畴语法中"句法分析即推导"这一口号的最佳体现方式之一。为了对证明网络有一个全面的了解,对其大体内容以及在语言处理上的优势做了概述。
- 贾青贾阳
- 关键词：范畴语法语言处理句法分析
- 经典的扩充与变异——2015年逻辑学研究述评
- 2016年
- 命题逻辑与一阶逻辑都被称为经典逻辑。如果在经典逻辑的基础上增加算子,那么就能得到经典逻辑的扩充,如模态逻辑以及各种哲学逻辑;如果更改经典逻辑得以建构的假设,那么就能得到一系列的非经典逻辑,如非单调逻辑、相干逻辑等。近年来,国内逻辑学界的很多成果都集中在哲学逻辑领域,2015年这方面的成果数量仍然可观;同时学界对模态逻辑、非经典逻辑领域的研究也有所增强,因此经典逻辑的扩充和变异,即哲学逻辑和非经典逻辑领域中的研究就构成了2015年逻辑学研究的主流。除此之外,逻辑哲学领域中的讨论,以及对逻辑史中重要问题的商榷在本年度的逻辑学研究中也占有重要位置。
- 贾青刘新文
- 关键词：逻辑学研究哲学逻辑相干逻辑非经典逻辑逻辑史非单调逻辑
- 演算LLC+q的扩充和应用
- 2020年
- 给出演算LLC+q的一个加模态算子的扩充,即通过向LLC+q的语言中增加一个一元模态算子◇,进而得到扩充演算LLC+q+◇。LLC+q+◇这一演算不但能够处理语言学中的回指以及量化问题,还能对“可能”这一模态词进行刻画。除此之外,LLC+q+◇还能被用于分析皮尔士谜题并给出皮尔士谜题的一个范畴类型逻辑的处理方案。
- 贾青
- 2016年逻辑学研究进展
- 2017年
- 2016年逻辑学的主要成果集中在哲学逻辑这一研究领域中。哲学逻辑是使用逻辑学方法,特别是模态逻辑中的技术手段处理哲学问题而形成的一类逻辑分支,包括知识逻辑(epistemic logic)、信念逻辑(doxastic logic)、道义逻辑(deontic logic)等。除此之外,对经典逻辑问题的重新讨论和商榷以及对重要历史人物的成果梳理,也是2016年逻辑学研究中的重要内容。
- 贾青刘新文
- 关键词：逻辑学研究哲学逻辑道义逻辑模态逻辑经典逻辑知识逻辑
- 连续行动的分类和逻辑刻画
- 2021年
- 连续行动是一类在时间上具有持续性的行动,而这种时间上的持续性也使得连续行动的刻画更为复杂。文章在给出连续行动的三个主要特点的基础上,我们将分析造成连续行动刻画复杂性的具体原因并利用文德勒关于动词的体理论给出连续行动的分类,进而利用STIT逻辑给出不同种类连续行动的逻辑刻画方式。
- 贾青
- 哲学逻辑与逻辑基础研究的新进展——2018年逻辑学研究述评
- 2019年
- 2018年的逻辑学研究以哲学逻辑为主要研究领域,在知识逻辑(epistemic logic)、偏好逻辑(preference logic)、社交网络(social networks)的刻画以及悖论等领域都取得了丰硕的成果;此外,逻辑基本问题、非经典逻辑以及中西逻辑史这三个方面的研究也取得了明显进展,特别是一些利用数理逻辑工具分析逻辑史中遗留问题的成果很有代表性,值得借鉴和推广。
- 贾青刘新文
- 关键词：哲学逻辑逻辑学研究逻辑史非经典逻辑中西逻辑知识逻辑
- 逻辑基础理论与概念的新探索——2021年国内逻辑学研究述评
- 2022年
- 2021年的逻辑学研究成果主要集中于两个研究方向:一是基础理论方面的研究,例如对“所以”以及算术基本概念的讨论、对“弹弓论证”的解读以及直觉主义逻辑和模态对应理论的研究等;二是哲学逻辑方向,其中又以认知逻辑、论辩逻辑和动态逻辑这三个分支为主。本文拟详细梳理上述两个研究方向中的重要成果及其主要内容,力图全面展示2021年国内逻辑学领域研究成果的分布情况和主要研究领域现状。
- 贾青刘新文
- 关键词：逻辑学研究哲学逻辑直觉主义逻辑认知逻辑动态逻辑
- 相干逻辑关系语义的推理解释被引量：3
- 2015年
- 关系语义是相干逻辑中最为重要的语义学之一,但是关系语义一开始就以"纯粹"的形式语义的面貌出现,其中三元关系R的直观意思是什么并不清楚,于是出现了关于关系语义的多种解释。我们认为,R所代表的是推理规则集、前提集和结论集三者之间的关系,据此提出了推理语义。推理语义以推理的形式结构为背景,有明确的直观意义。本文以相干逻辑系统R+为例,证明出推理语义是与关系语义等价的语义。从推理语义与关系语义的这个等价关系上看,推理语义完全可以作为对于关系语义直观解释的一个中间环节。由此不仅使得关系语义有了推理结构的解释,同时说明了相干逻辑是一种关于推理的逻辑。这与相干逻辑产生的历史也完全吻合。
- 周北海贾青
- 关键词：相干逻辑
