公共文化服务平台

从三段论扩充到命题逻辑: 2013年; 以罗伯特.范.罗伊的工作为基础,展示如何通过形式化的方法把三段论逻辑扩充到全部命题逻辑。文中将依次给出按现代逻辑标准形式化的三个逻辑:亚里士多德的三段论逻辑SYL,引入否定词项等之后的扩充系统SYL+,最终得到从三段论逻辑扩充而来的命题逻辑SYL+PL。; 张立英刘新文; 关键词：三段论命题逻辑

内涵与外延之辩:基于含糊性语义解释演进的分析被引量：2: 2021年; 在含糊性问题研究领域,多值语义解释和超赋值语义解释是两个经典的研究进路。相较多值语义中的经典三值解释和基于概率赋值的模糊逻辑解释,范启德(1975)给出的超赋值语义由于引入了基于可能世界语义的可精确化结构,具有更强的表达力,能够弥补三值和模糊逻辑处理的很多不足。距离超赋值语义发表40余年后,秋叶研(2017)给出了同样满足可精确化结构条件的一个布尔多值解释。由于超赋值语义一直被当作典型的内涵语义处理方式,而在含糊性问题研究领域,布尔多值方法却在大多数时候被认为是模糊逻辑这个基于概率处理的典型的外延语义的复杂版本,内涵语义与外延语义的殊途同归,非常值得仔细思考和探究。本文将结合含糊性问题研究领域的多值语义解释和超赋值语义解释的演进过程,以内涵语义和外延语义的区分为切入点,最终指出,(当下主流定义下的)内涵语义与外延语义的界限是模糊的,而在原有界定基础上,对内涵语义增加“内涵语义要可以表达非线序的偏序结构”这一限制,能够进一步对内涵语义和外延语义进行区分。; 张立英张君; 关键词：偏序

概称句推理与排序被引量：3: 2009年; 概称句推理可分为主要通过演绎方式的和主要通过归纳方式的。对于演绎方式进行的推理又可根据研究关注点的不同分为结论是事实句的推理和结论是概称句的推理。由于概称句的作用,这三种类型的推理都是非单调推理。通过分别的考察,本文指出,这三种类型的概称句推理要想真正得以刻画,都需要引入前提集的排序的概念。进而,排序将是融合这三种类型推理的纽带。; 张立英; 关键词：排序非单调推理

从三段论扩充到命题逻辑: 以罗伯特·范·罗伊的工作为基础，本文展示如何通过形式化的方法把三段论逻辑扩充到全部命题逻辑。文中将依次给出按现代逻辑标准形式化的三个逻辑：亚里土多德的三段论逻辑SYL，引入否定词项等之后的扩充系统，最终得到从三段论逻辑扩...; 刘新文张立英; 关键词：三段论命题逻辑公理系统; 文献传递

条件句逻辑完全性问题探微初步: 2007年; 直接定义模型,不定义框架是条件句逻辑研究中的一个惯常现象。作者以唐纳德.纽特在Topics in Conditional Logic一书中给出的条件句逻辑系统W为出发点,引入了Wo=W+RCEA,并证明了Wo的框架完全性,进而讨论RCEA的取舍对条件句逻辑完全性的影响,指出没有RCEA的条件句逻辑直接定义模型,不定义框架是有原因的,而有RCEA的系统则可以进一步讨论框架完全性问题。; 张立英

排除式CP定律的形式刻画: 2015年; 本文关注近年来在科学哲学等领域引起广泛关注和争议的CP定律的形式刻画。论文首先考察了CP定律的不同分类和用法,继而锁定排除式CP定律作为重点研究对象。论文对完成者方法、不变性和稳定性理论、趋向性理论和正常性解释进行了探究,同时,作为一种尝试,将逻辑学领域中对概称句的正常刻画引入CP定律的刻画之中,文末对刻画标准及这些方向进行了进一步的分析和比较。; 张立英; 关键词：非单调推理

克里普克有关语言哲学的一些理论: 本文先简要介绍理解克里普克语言哲学理论所需的背景知识;之后阐述了克里普克的固定指示词—名称—历史因果论理论、他的本质主义立场、及有关必然性的理论等;文末对其中的一些问题提出了自己的见解。; 张立英; 关键词：克里普克可能世界语义学必然性本质主义; 文献传递

概称句推理逻辑系统G_(0)-G_(4)的完全性: 2006年; 我们在《基于主谓项涵义联系的概称句推理的几个逻辑》一文中建立了基于主谓项涵义联系的概称句推理逻辑系统G_(0)-G_(4),本文给出这五个形式系统的完全性证明,证明用到了典范模型方法,处理量词公式时,用到了Henkin方法。; 张立英

以可推翻论证为基点的非单调推理研究被引量：1: 2017年; 可推翻论证[1]系统是非单调推理研究领域近年来最为活跃的分支之一。与其他分支相比,可推翻论证系统更侧重于推理结构的研究,它的研究基点是论证,即以单个论证作为最小研究单位,而不是像其他的分支及经典逻辑那样从命题或命题中的成分开始研究。在这一研究视角下,新的前提不会使论证变成无效,而只会引起反面的论证。本文梳理了可推翻论证研究的基本框架和内容,比较其不同结果,辨析了可推翻论证系统和其他非单调推理研究分支的关系,并指出以论证为基点是研究非单调推理的恰当切入点,可推翻论证在非单调推理领域有很好的发展前景和广泛应用空间。; 张立英; 关键词：非单调推理

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

张立英