检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

三支论式的逻辑研究

河南社会科学 2019年第7期27卷 88-93页

作者：李小五曾昭式中山大学逻辑与认知研究所哲学系

汉传因明理论的核心内容是三支论式。全部三支论式是一个完整的理论,有认识论的内容,也有论辩的内容。依文本内容总结三支论式的结构,由此出发,从尽可能贴近文本的立场做形式化研究。研究路线是从尽可能贴近到逐步抽象,从而概括出若干... 详细信息

汉传因明理论的核心内容是三支论式。全部三支论式是一个完整的理论,有认识论的内容,也有论辩的内容。依文本内容总结三支论式的结构,由此出发,从尽可能贴近文本的立场做形式化研究。研究路线是从尽可能贴近到逐步抽象,从而概括出若干个逻辑系统,包括三支论式的量化逻辑刻画、命题逻辑刻画和个体常元替换个体变元的逻辑刻画,以求在不同的层面上刻画三支论式,并说明这样做的优劣。

关键词：三支论式因明现代逻辑

在线全文

学校读者我要写书评

暂无评论

真之多元论与真值条件多元论

逻辑学研究 2023年第1期16卷 68-79页

作者：周振忠中山大学逻辑与认知研究所中山大学哲学系

直觉上,不同种类的命题有不同的为真方式。真之多元论对这一直觉采取形而上学解读,其核心论点是:存在不同的真性质。直觉上,复合命题与原子命题的为真方式是不同的。为了避免假设复合命题特有的真性质,爱德华兹(***)提出将复合命题的“... 详细信息

直觉上,不同种类的命题有不同的为真方式。真之多元论对这一直觉采取形而上学解读,其核心论点是:存在不同的真性质。直觉上,复合命题与原子命题的为真方式是不同的。为了避免假设复合命题特有的真性质,爱德华兹(***)提出将复合命题的“为真方式”解读为真值条件,然后运用分离论点阻止从真值条件的陈述中引入真性质。本文认为爱德华兹的策略同样适用于原子命题,从而强化了对真之多元论的双重计算反驳。这驱使我们放弃真之多元论,回归到真之一元论。

关键词：真之多元论真性质真值条件双重计算反驳

在线全文

学校读者我要写书评

暂无评论

批判性思维视域下的竞技辩论:迷思与澄清

湖南科技大学学报（社会科学版） 2023年第1期26卷 47-53页

作者：廖彦霖中山大学哲学系/逻辑与认知研究所广东广州510220

竞技辩论常被视为批判性思维的培养手段,然而学界对竞技辩论仍长期存有两大迷思:一是伦理迷思,即抽签定持方的制度导致伦理困境;二是价值迷思,即竞技求胜与批判性思维的培养初衷相悖。这些迷思可在批判性思维的视域下获得澄清:竞技辩论... 详细信息

竞技辩论常被视为批判性思维的培养手段,然而学界对竞技辩论仍长期存有两大迷思:一是伦理迷思,即抽签定持方的制度导致伦理困境;二是价值迷思,即竞技求胜与批判性思维的培养初衷相悖。这些迷思可在批判性思维的视域下获得澄清:竞技辩论既有利于形成健全的信念,也不涉及对表述真实信念的公开承诺,故伦理困境得以化解;竞技辩论是批判性思维的实践演练,其竞争机制有助追求更好的论证,故求胜是求真的助推器。

关键词：竞技辩论批判性思维论辩论证理论

一个带破圈启发方法的回答集编程系统(英文)

在线全文

学校读者我要写书评

暂无评论

软件学报 2008年第4期19卷 869-878页

作者：沈榆平赵希顺中山大学逻辑与认知研究所广东广州510275

回答集编程(answer set programming,ASP)是一种回答集语义下的逻辑编程范例,可应用于非单调推理,叙述式问题求解等领域.本文为ASP提出并实现了一种破圈启发方法与一种基部限制式前向搜索过程,所得到的系统称为LPS.实验结果显示,相对于... 详细信息

回答集编程(answer set programming,ASP)是一种回答集语义下的逻辑编程范例,可应用于非单调推理,叙述式问题求解等领域.本文为ASP提出并实现了一种破圈启发方法与一种基部限制式前向搜索过程,所得到的系统称为LPS.实验结果显示,相对于其他经典的ASP系统,LPS能够有效地解决处于相变难区域中的逻辑程序,通常这些程序被认为是计算困难的.除此以外,通过使用被称为动态变元过滤(dynamic variable filtering,DVF)的技术,LPS可以在计算过程中极大地缩小搜索树的尺寸.

关键词：回答集编程启发方法前向搜索逻辑程序相变

在线全文

学校读者我要写书评

暂无评论

权衡论证的逻辑重构及其理论困境

湖北大学学报（哲学社会科学版） 2019年第3期46卷 75-81页

作者：谢耘中山大学哲学系/逻辑与认知研究所广东广州510275

由于权衡论证中同时包含了正反两方面的理由,它通常被解读为对应着一种"通过对正反两方面理由加以权衡而得出结论"的证成机制,并由此而被视作一种独特的逻辑论证类型。当前对于权衡论证进行逻辑重构的主要方式,是强调反面理由的逻辑功能... 详细信息

由于权衡论证中同时包含了正反两方面的理由,它通常被解读为对应着一种"通过对正反两方面理由加以权衡而得出结论"的证成机制,并由此而被视作一种独特的逻辑论证类型。当前对于权衡论证进行逻辑重构的主要方式,是强调反面理由的逻辑功能,并通过增加"平衡考虑前提"来还原其中的权衡机制。然而,这一做法轻率地预设了反面理由必定是论证的前提(或其组成部分),但却缺乏与此相应的理论支持和经验证据,同时还会导致对于论证者的不宽容解读。而且,平衡考虑前提也只刻画了正反面理由在证明力权重上的强弱对比,而忽略了不同类型理由之间可能存在更为复杂的逻辑关联。因此,要对权衡论证做出恰当的逻辑重构,还需要在经验层面上更准确地揭示论证者的真实交际意图,并在理论层面上更全面地拓展关于理由及其互动方式的相关研究。

关键词：权衡论证非形式逻辑逻辑重构交际意图论证类型

在线全文

学校读者我要写书评

暂无评论

胡适的中国古代逻辑史研究

兰州大学学报（社会科学版） 2017年第2期45卷 93-99页

作者：何杨中山大学逻辑与认知研究所/哲学系广东广州510275

20世纪初期,在西方逻辑学东渐的背景下,诸多学者开启了中国古代逻辑史研究。作为其中的一位重要代表,胡适不仅从事了诸多中国古代逻辑史料的发掘和研究工作,而且对于自身研究具有明确的价值期待和方法论意识。其研究不仅是为了在中国古... 详细信息

20世纪初期,在西方逻辑学东渐的背景下,诸多学者开启了中国古代逻辑史研究。作为其中的一位重要代表,胡适不仅从事了诸多中国古代逻辑史料的发掘和研究工作,而且对于自身研究具有明确的价值期待和方法论意识。其研究不仅是为了在中国古文献中寻找试验论理学的类似学说,以有效吸收试验论理学说,而且也是为中国再造新文明做准备。为达成该目的,胡适提出了一套包括述学、明变、求因和评判在内的研究程序,其述学中的贯通方法颇重西学的比较参证作用。胡适的这一工作为后来的中国古代逻辑史研究提供了一个典范,其广义的逻辑观念和研究程序对于今天的中国古代逻辑史研究方法论依然具有借鉴意义。

关键词：胡适中国古代逻辑史逻辑观试验论理学述学

论辩文本立场检测——基于提示模型的小样本研究

在线全文

学校读者我要写书评

暂无评论

逻辑学研究 2023年第2期16卷 49-65页

作者：鲜于波黄伟鑫中山大学逻辑与认知研究所中山大学哲学系

立场检测研究旨在提取文本相对于对特定话题所持的立场倾向。本文采用自然语言处理领域的基于提示学习的方法,针对论辩性文本,根据提示学习两大主要工程方法(模板工程和表达器工程)提出了新的设计方法:掩码位置导向的手工模板MPOT和语... 详细信息

立场检测研究旨在提取文本相对于对特定话题所持的立场倾向。本文采用自然语言处理领域的基于提示学习的方法,针对论辩性文本,根据提示学习两大主要工程方法(模板工程和表达器工程)提出了新的设计方法:掩码位置导向的手工模板MPOT和语义相似度加权表达器SSWV。据此,本文提出了一个基于提示的论辩文本立场检测模型P-RoBERTaMPOT+SSWV,并和自动模板方法P-tuning进行比较。该模型在中山大学网络文本论辩语料库上和NLPCC中文微博立场检测数据集都达到了较好的准确率。本文实验显示在小样本学习条件下,P-RoBERTaMPOT+SSWV模型超过了使用预训练模型+微调方法的效果。本文研究表明,提示学习的模型设计方法有助于文本论辩立场检测任务,并在小样本的条件下也依然能取得十分可观的性能。

关键词：立场检测提示模型论辩小样本

在线全文

学校读者我要写书评

暂无评论

他连A都知道——认知逻辑EK1-EK3

现代哲学 2006年第1期 122-132页

作者：李小五中山大学逻辑与认知研究所中山大学哲学系广东广州510275

首先,我们构造认知系统EK1-EK3,给出它们的一些证明论结果。其次,我们引入邻域语义,给出EK1-EK3的特征公理和规则的框架条件,证明EK1-EK3相对这些框架条件分别是框架可靠的。最后,我们证明EK1-EK3相对这些框架条件分别是框架完全的。

关键词：认知系统邻域语义框架可靠性框架完全性 EK1-EK3 认知逻辑

在线全文

学校读者我要写书评

暂无评论

论证实践与中国逻辑史研究

逻辑学研究 2017年第3期10卷 145-156页

作者：何杨中山大学逻辑与认知研究所中山大学哲学系

百余年来,中国逻辑史研究重在构建类似于西方逻辑的中国古代逻辑理论的发生发展史,往往将中国古代论证实践视作西方逻辑理论的例证,从而忽视了中国古代论证实践的研究价值。与之相对,以中国古代论证实践为出发点,并基于文化背景与文本... 详细信息

百余年来,中国逻辑史研究重在构建类似于西方逻辑的中国古代逻辑理论的发生发展史,往往将中国古代论证实践视作西方逻辑理论的例证,从而忽视了中国古代论证实践的研究价值。与之相对,以中国古代论证实践为出发点,并基于文化背景与文本语境等相关因素予以如实的描述与分析,不仅有助于理解中国古代有关论证的理论学说,而且有助于中国古代的哲学、文学等相关领域研究。因此,中国古文献中颇为丰富的论证实践值得重视。

关键词：论证实践逻辑理论中国逻辑史以中释中