共查询到19条相似文献，搜索用时 125 毫秒
1.
曾庆福 《信阳师范学院学报(哲学社会科学版)》2000,20(1):25-28
渗透逻辑是形式化的辩证逻辑.它的内容包括辩证思维形式及其规律渗透集合论及三个公理系统;模糊渗透集合论及辩证逻辑的量化.渗透逻辑具有广阔的应用前景.对中华文化的现代化也具有重要意义. 相似文献
2.
支持语义web模糊本体的描述逻辑 总被引：7，自引：0，他引：7
为实现语义web上包含复杂模糊知识的模糊本体的表示和推理,提出了一种描述逻辑的模糊扩展———支持比较表达式的模糊描述逻辑(FCDLs).给出FCDLs语法和语义的形式化定义,并规定FCDLs知识库中的公理和断言形式.FCDLs将模糊描述逻辑(FDLs)中的模糊概念和扩展模糊描述逻辑(EFDLs)中的截概念结合在同一理论中,并将截概念扩展为比较截概念,从而支持对实际中经常用到的模糊隶属度之间比较表达式的描述,而其他的描述逻辑模糊扩展均不支持比较表达式.FCDLs具有比FDLs和EFDLs更强的表达能力,能够表示复杂的模糊知识并基于它们完成推理任务.因此FCDLs可实现语义web上包含复杂模糊知识的模糊本体的表示和推理. 相似文献
3.
郝其宏 《徐州师范大学学报(哲学社会科学版)》2011,37(6):133-136
底线是辩论中证明己方观点成立的简要话语,通常以公理、常识为前提。辩论的逻辑底线指用演绎推理方式表现出的辩论底线,目的是保证底线符合思维的正确形式和规律。构建辩论逻辑底线的关键在于通过演绎推理实现公理或常识与观点之间的联接,方式有直接联接和间接联接两种。逻辑底线是辩论的灵魂和基石,在辩论中发挥着进攻突破点、防守阻击线的作用。有关逻辑底线的常见失误有:违反充足理由律,逻辑底线不坚实;违反矛盾律,逻辑底线前后不一;违反同一律,辩论没有围绕逻辑底线展开。 相似文献
4.
经典逻辑视野中的弗协调逻辑 总被引：2，自引：0，他引：2
杜国平 《华南师范大学学报(社会科学版)》2007,(5):19-24
以科斯塔弗协调逻辑系统的技术处理为依据来分析命题 与其弗协调否定 之间的逻辑关系可以知道弗协调矛盾和不矛盾律与经典逻辑矛盾和不矛盾律之间存在很大差别;由此可见科斯塔弗协调逻辑不是真正意义上的弗协调逻辑,但是科斯塔弗协调逻辑作为非经典逻辑其理论意义是重大的,这正如非欧几何之与欧氏几何。 相似文献
5.
逻辑学是形式化的科学,但目前对形式化的解释、说明中存在着一些问题。形式化作为方法只考察内容而不考察表达内容的形式,形式化就是内容的形式化。逻辑作为一门学科的特点是考察形式化的内容,而并非将所考察内容用人工语符表示的"符号化",也不是考察没有内容的纯形式,形式化的考察只不过是将内容以纯粹的形式表达出来。 相似文献
6.
张弓 《华南师范大学学报(社会科学版)》2013,(4)
美学是以艺术为中心、研究人对现实的审美关系的科学.作为人文科学的美学,从实践转向的角度来看,其逻辑起点是人类社会实践,而人的存在只是美学的出发点.对应着实践结构的物质交换层、意识作用层、价值评估层,美学的逻辑结构应该包含着自然客体逻辑(即合规律性逻辑)、人类主体逻辑(即合目的性逻辑)、主客体关系逻辑(即审美间性逻辑);对应着实践类型的物质生产、精神生产、话语生产,美学的逻辑构成应该包含着物象逻辑(即感性形式逻辑)、意象逻辑(即知性形式逻辑)、形象逻辑(即理性形式逻辑);对应着实践的受动和主动相统一过程、物质和精神相统一过程、共时性和历时性相统一过程,美学的逻辑过程应该包括意向性活动逻辑(即对象化逻辑)、超越性活动逻辑(即符号化逻辑)、时空性活动逻辑(即现实化逻辑).美学的逻辑力量就在于实践的建构功能、转化功能、解构功能在审美实践和艺术实践中的实现. 相似文献
7.
赵伟莉 《淮阴师范学院学报(哲学社会科学版)》2007,29(1):39-42
弗协调逻辑是以怀疑经典逻辑矛盾律的普遍有效性为基础而发展起来的逻辑理论,它通过对经典逻辑否定的修改,弱化经典逻辑的否定来达到对矛盾律的限制。关于弗协调逻辑的否定与矛盾一直是争议的焦点,本文试图从国内关于这两点的一些分析及争论出发,探讨弗协调逻辑的否定与经典逻辑否定的关系,并进而分析弗协调逻辑所说的矛盾与经典逻辑的矛盾律是否一致。 相似文献
8.
同一律、不矛盾律和排中律是传统形式逻辑中的基本规律,在正统数理逻辑中体现为重言式。同一律、不矛盾律和排中律作为逻辑基本规律在传统形式逻辑中普遍有效,可是,它们一经引入正统数理逻辑,便会引起不符合人的普通逻辑思考实际的准逻辑悖论。故而,传统形式逻辑三大基本规律在正统数理逻辑中均不能成立。 相似文献
9.
同一律、不矛盾律和排中律是传统形式逻辑中的基本规律,在正统数理逻辑中体现为重言式。同一律、不矛盾律和排中律作为逻辑基本规律在传统形式逻辑中普遍有效,可是,它们一经引入正统数理逻辑,便会引起不符合人的普通逻辑思考实际的准逻辑悖论。故而,传统形式逻辑三大基本规律在正统数理逻辑中均不能成立。 相似文献
10.
描述逻辑是一族知识表示语言,其以结构化、形式化方法表示特定应用领域的知识。描述逻辑的各语言背后的逻辑是什么,能否公理化等问题在描述逻辑的研究进程中迄今没有相关研究。本文首先通过描述逻辑ALC与一阶逻辑的一个可判定片段之间的关系试图揭示描述逻辑的本质。最后给出了描述逻辑ALC的公理化方法及其演绎定理的证明。 相似文献
11.
相干逻辑是现代逻辑的重要分支,它是异于经典逻辑的"非经典逻辑"。相干逻辑在批评经典蕴涵的基础上,从多个方面对经典逻辑进行了修改。总体来说,相干逻辑的修改方案是可行的和成功的。但是,相干逻辑仍然面临诸多问题,有待进一步解决和完善。 相似文献
12.
贾国恒 《新乡师范高等专科学校学报》2008,22(2)
演绎逻辑及其价值屡屡遭到错解与误视。虽然前提蕴涵结论,但演绎逻辑仍然具有"创新"功能。在形式结构上,逻辑真理表现为重言式,但重言式不等于同语反复,更不应该用它们来反对演绎逻辑。 相似文献
13.
金承光 《昆明师范高等专科学校学报》2005,27(3):35-39
20世纪50年代兴起的规范逻辑，是在类比真势模态逻辑的基础上产生的，由于其与法律规范及道德规范领域的实际规范严重脱节，使得在此基础上构建的各种规范逻辑系统均遇到了各种难题。从法律逻辑学的视角来看，规范逻辑要应用于现实的法律规范，必须结合法律规范的实际诠释规范词的涵义。 相似文献
14.
15.
任晓伟 《思想理论教育导刊》2021,(2):55-61
中国共产党的现代化观是习近平新时代中国特色社会主义思想在实践与发展中形成的一个重要标识性概念和新的重大理论创新.中国共产党现代化观的科学建构是对中国共产党百年思考和探索中国现代化历程的理论抽象,科学回答了中国现代化的领导、基础、道路内容以及中国现代化和人类发展的关系等一系列重大问题,表明中国现代化是中国共产党领导下的现... 相似文献
16.
非形式化是墨家逻辑的主要特点,而亚里士多德逻辑的主要特点是形式化.形式化注重精确性、系统性,但也比较远离现实生活;而非形式化则紧密联系日常语言,但也有明显缺陷.当前逻辑学发展既要注重形式化研究,也要注重非形式化研究. 相似文献
17.
18.
梁传杰 《学位与研究生教育》2023,(2):1-9
研究生教育学科专业目录是学位授予、高层次人才培养、学科建设和学术治理体系构建的重要依据。此次研究生教育学科专业目录调整从学科、专业、研究生教育、治理等概念内涵来看,需要目录与清单“并行”、学术学位与专业学位学科专业目录“并表”、放权与规范“并进”。从历时性的制度演进逻辑来看,此次制度调整呈现出内涵认知不断深化、功能作用不断拓展、结构体系不断优化和治理体系不断完善。高校应把握需求导向、目标导向和改革导向,优化学科专业结构,深化研究生教育综合改革,强化治理体系和治理能力现代化建设。 相似文献
19.
大逻辑观视域中的“逻辑学科”应该包含3个层面,其一是逻辑本体学科,又可称之为对象逻辑,它是以演绎逻辑为核心,同时包容归纳逻辑和辩证逻辑的逻辑学科群;其二是研究对象逻辑基本问题或哲学问题的元逻辑学科;其三是对对象逻辑原理进行系统性推广和运用的应用逻辑学科。从对象逻辑到应用逻辑,其间的桥梁是逻辑科学方法论学科,包括演绎逻辑科学方法论、归纳逻辑科学方法论以及辩证逻辑科学方法论。 相似文献