论作为证据逻辑的核证逻辑

哲学逻辑的蓬勃发展显示出现代逻辑在分析和澄清哲学问题方面的巨大优势,其中一个表现便是认知逻辑与知识论的结合成为研究热点。证据是哲学知识论领域极为重要的概念,相关研究已经颇为丰富,然而对它的逻辑学考察则相对较晚。在为数不多的几个证据逻辑中,核证逻辑具有独特的语言特点和系统性质,在分析哲学问题时显示出以往认知逻辑所不具有的优势。对核证逻辑的发展历史、哲学背景和技术方法进行探讨,有助于理解它为何能被视为证据逻辑。     

证据相关性的逻辑研究

首先提出了解决证据相关性的方法和基本步骤,其次,对证据事实与要证事实间的因果关系进行了科学分类和精确刻画。再次,运用概率逻辑的有关知识确定了不同因果关系下证据事实与要证事实间的相关强度;最后,提出了正相关是证据认证要证事实的逻辑标准,负相关是证据否证要证事实的逻辑标准。以上分析,从逻辑上解决了证据何以能证明案件事实,如何证明案件事实以及对案件事实有多大证明力的重大理论问题     

汉语量化表达式的单调推理

对自然语言量化表达式的语义分析可以从不同的角度进行,而量词的语义性质是量化表达式语义研究的基础,它在某种程度上制约着表达式的语义.因此对自然语言量词的语义性质进行分析和形式刻画是语言逻辑的一个重要内容.广义量词理论借用数学的单调性概念对英语量词的语义性质进行分析,得到了许多重要成果.汉语作为一种自然语言,有其自身特点,但也有与英语类似的语义性质.我们可以尝试从单调性定义出发,分析各种汉语量词的语义特征,然后运用集合运算证明它们的单调性,根据得出的结论分析汉语量化表达式的左元单调推理和右元单调推理,从而刻画出汉语量化表达式之间的语义关系.     

百分比量化逻辑初探

传统逻辑和标准量化逻辑在分析自然语言命题时,只使用全称和存在两种量词,把自然语言中的非全称的量化命题都当作存在命题来处理,然而在自然语言中除了全称量词和存在量词外,还有复量词、百分比量词等。自然语言中许多根据复量词和百分比量词的逻辑意义而进行的直观上正确的推理在传统逻辑和标准量化逻辑中都是无效的。显然,复量词和百分比量词不能当作存在量词来处理,它们有着不同的逻辑意义。     

翻译中的"核变"研究

为了研究导致"核变"现象的狭隘因素,从语义学角度和翻译的本质出发,运用欧式几何、数轴及高等数学的集合方法,对翻译中的"核"和"核变"进行量化分析,力图找出翻译研究中"核变"的模式及原因。研究认为:"核"是由众多"核因子"共同作用的结果,原文之核("核S")和译文之核("核T")由各自的文本自身和读者的理解过程决定,核变有完全聚小、完全裂大、缩小和裂大相互混杂三种形式。掌握了"核变"的分析方法,在评价译文时,可以将"核变"的大小程度看作一个量化的标准,分析原因,从而用于指导翻译实践。     

相关演绎逻辑与分析哲学悖论的消解

分析哲学宣称可以通过对语言的逻辑分析解决传统的哲学问题,并倡导通过分析手段研究一切哲学问题.的确,分析精神已经在演绎推理和归纳推理两个方面获得了长足的发展,也取得了令人瞩目的成功.但与此同时,当用恰当的逻辑符号来重建哲学的概念和原则时,也遇到了难以克服的障碍,甚至出现了悖论等现象.例如,罗斯(Ross)的道义悖论、赫斯(Hesse)的确证悖论以及塔契-密勒(Tichy-Miller)似真性悖论等.这些悖论的出现是由于经典一阶逻辑中不加限制的添加原则,用舒尔茨(Schurz)的相关演绎逻辑能对这些悖论进行消解.     

汉语逻辑研究的新进展——邹崇理汉语逻辑形式化研究述评

20世纪90年代,汉语逻辑研究取得了新的进展。邹崇理运用MG与GQ的基本方法,分析了汉语量化词的语义特征,在对汉语量化句特征全面把握的基础上,构造了汉语量化句的部分语句系统FC。采用时间区间语义学方法处理汉语的时态结构,经过巧妙构思,构造了一个专门刻画汉语时态结构的部分语句系统。他的这些工作是具有开创性的,为汉语逻辑的研究闯出了一条新路,展示了广阔的研究前景。     

汉语量化句的逻辑语义分析与计算

分别对汉语中以句首”有”字结构为例的存在量限式和以周遍性主语句为例的全称量限式进行逻辑语义的分析,以调查统计为基础探讨汉语歧义量化句的问题。在最后部分对汉语歧义量化句在Prolog语言的环境下做了个案的语义自动分析的实现。     

集合概念的逻辑特征

普通逻辑中区分集合概念与非集合概念,对正确认识概念的内涵和外延,理解命题的含义,合理地进行推理有着重要的意义.根据二者不同的逻辑特征,可以从形式上进行区分;同时它们之间的区别还可以通过“例示”和量化原则得到说明.     

中国农业政策变迁的注意力分布及其逻辑阐释

农业问题历来是党和国家公共政策制定的重点领域.对新中国成立以来的农 业政策文本进行考察,可以清晰地描绘农业政策变迁的政策图谱.基于政策文本的量化研 究方法,运用文本分析工具 Nvivo１１和 RostContentMining６．０对新中国成立以来国家层 面颁布的６６９份农业政策进行量化研究,探析农业政策变迁的注意力分布与阶段性特征. 通过对农业政策变迁四个阶段的总体趋势、高频议题和注意力分布进行描述性统计和文本 分析后发现,农业政策变迁蕴含着以下深层逻辑:国家与农民利益的不断调整,政府主导下 的渐进式变迁,以及政策环境、理念和政策主体的合力推进.基于对当代中国农业政策变迁 注意力分布及其逻辑的初步阐释,为农业发展乃至乡村振兴的理论与实践提供政策变迁视 角的知识积累.     

“譬”、“喻”之辨——从名辩学和因明学的角度

"譬"、"喻"因含义相近常被人们不加区别地使用。从名辩思想和因明学的角度来看,尽管它们在缘起、论证方法、悟他目的等方面有诸多相同之处,但从推理的结构、形式的稳定性等方面来看,二者具有本质的不同:名辩学之"譬"是一种独立的推论形式,而因明学之"喻"只是推论中前提的一部分;形式上名辩学之"譬"相对稳定,因明学之"喻"不同时期有较大差别;方法上名辩学之"譬"大多使用类比、比喻说明问题并且例证详尽,因明学之"喻"与"譬"大致类似但在细节上有所不同。     

量子逻辑与量子计算逻辑——语境视角下的“量子逻辑”辨析

量子计算和量子逻辑分别是量子理论发展的两个方向,但是量子计算语境下的“量子计算逻辑”与量子逻辑语境下的“量子逻辑”这两个概念却极易让人混淆.文章首先探讨了量子逻辑与量子计算这两个量子理论发展的不同进路,进而对量子逻辑和量子计算逻辑这两个不同的概念进行了区分,最后指出了“量子逻辑”哲学研究未来应关注的方向.     

C_n(1≤n<ω)及C_ω中的否定

在对当关系逻辑中,命题A与命题△A之间是一种下反对关系。在弗协调逻辑系统中,我们通过定义一个一元连接词●,可以证明,在对当关系逻辑中算子△所具有的性质,在弗协调逻辑中其否定﹁也都具有这些性质,从而得出,弗协调逻辑中的否定﹁是一种特殊的下反对关系算子。     

墨家关于逻辑之本质的研究

墨子是伟大的哲学家、科学家、逻辑学家和军事工程师。《墨经》是“世界最古名学之书”。其在中国和世界逻辑史上都占据着极其重要的地位。墨家对于“辩”的涵义、“辩”的作用、“辩”的方法、“辩”的准则等都进行了详尽的阐述,这些均为墨家之逻辑学研究的起点,对我们的逻辑思维也很有启发性。     

断裂在文本与秩序之间——《劳动合同法》立法元问题反思

新《劳动合同法》在施行后出现严重的法律规避现象,因此特别需要反思如此一个立法元问题:意旨良善的法律文本何以无法顺利生成良好的预期秩序?论文通过探析对从文本到秩序生成机理,确认了立法正当性追问对于此生成机理的特别意义。为消解立法正当性追问所蕴含的程序正当与实体正义两个面相之内在张力,特别考察了在中国语境下,立法正当程序所具备的可促进预期秩序生长的反思性整合的特别功效。此种探源可为理解相关法律规避现象提供更深切的理论参照。     

任意多边形状线天线之间的互耦计算

从电磁兼容性预测分析的要求出发，首先根据矩王法推导了空间不同位置关系两线段间互阻抗的计算公式，进而给出了任意多边形状线天线之间的互耦分析方法。     

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

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

方圆论:思维与逻辑关系几何析

逻辑是关于思维形式的学问 ,但并未覆盖人类一般思维中所有思维形式。基于前人发掘思维形式时固有的思路和手法 ,导致开掘过程如方中割圆 ,圆取得再多也无法穷尽普通思维之方。思维形式理应是多种关系的体现 ,但词项逻辑只侧重于类属关系 ,命题逻辑只侧重于依存关系 ,人们的审美感受不同 ,对思维形式发掘的深广程度也不一。现代逻辑逐渐把逻辑拉到数学领域 ,时代呼唤关于人类一般思维的逻辑     

伦理理论的整合与公共利益的伦理学论证

“公共利益”虽然是个时常令人费解的、充满争议的概念,却无可置疑地成为公共行政领域的一个标志性价值。对于公共利益的论证,可取不同的视角。本文认为,从一种综合性伦理体系的角度,可以为公共利益及其实现提供完整的伦理论证和支持。     

从比较优势看鲁日贸易关系现状及发展

伴随经济一体化的发展,新一轮产业结构调整在全球范围内展开,曾一度凭借地理优势和经济上强烈的互补性取得长足发展的鲁日贸易关系近期内走势如何?今后的发展空间又会有多大呢?通过对鲁日比较优势的量化分析和长期动态预测,论证山东省充分利用现存的"比较优势",注重潜在的动态"竞争优势"的培养的必要性与可行性.