检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

集合论-泛逻辑悖论

北京航空航天大学学报 2009年第3期35卷 376-379页

作者：杜国平王洪光李娜朱梧槚南京航空航天大学计算机科学与工程系南京210016 南京大学现代逻辑与逻辑应用研究所南京210093

对于一类n(2≤n≤n)值逻辑可以给出一个一般形式的形式语言,通过一个六元组的模型,可以递归地定义出该形式语言中的公式的值.这构成了刻画这类逻辑的一个泛逻辑系统UL1.在该系统中,可以定义出抽象否定、抽象蕴涵和抽象等值等联结词,它... 详细信息

对于一类n(2≤n≤n)值逻辑可以给出一个一般形式的形式语言,通过一个六元组的模型,可以递归地定义出该形式语言中的公式的值.这构成了刻画这类逻辑的一个泛逻辑系统UL1.在该系统中,可以定义出抽象否定、抽象蕴涵和抽象等值等联结词,它们分别是二值逻辑中的联结词否定、蕴涵和等值的一般化.利用这些联结词,可以给出Russell型造集谓词、Curry型造集谓词的一般形式.此外,还提出了一种新型造集谓词,这种造集谓词只包含等值联结词,而不涉及其它联结词.通过这3种造集谓词,利用该系统的逻辑工具,证明了在通常的有穷值逻辑、可数无穷值逻辑和不可数无穷值逻辑系统中,概括原则都将导致悖论.

关键词：概括原则泛逻辑不可数无穷值逻辑悖论

在线全文

学校读者我要写书评

暂无评论

罗素悖论研究进展

湖北大学学报（哲学社会科学版） 2012年第5期39卷 1-6页

作者：杜国平中国社会科学院哲学研究所北京100732

罗素悖论发现之后,包括罗素本人在内的众多学界精英都投入到了解决悖论的研究之中,产生了众多的解决悖论的方案,这种研究一直持续到21世纪的今天。即使在当下,关于罗素悖论的研究仍然是逻辑学界日久弥新的问题之一。从形式结构上看,罗... 详细信息

罗素悖论发现之后,包括罗素本人在内的众多学界精英都投入到了解决悖论的研究之中,产生了众多的解决悖论的方案,这种研究一直持续到21世纪的今天。即使在当下,关于罗素悖论的研究仍然是逻辑学界日久弥新的问题之一。从形式结构上看,罗素悖论涉及到两个关键的因素,即循环和否定。寇里悖论、沈有鼎悖论和等值悖论等给出了集合论悖论的不同形式结构,从而说明,循环和否定都不是构成集合论悖论的必要条件。莫绍揆、郑毓信、杜国平等人的研究结果证明,在保留概括原则和集合论基本定义的前提下,尝试通过修改经典二值逻辑系统、配以其他多值逻辑系统作为推理工具来避免悖论的方案是不可行的。这也恰恰可以说明,导致悖论的原因不在于逻辑系统,问题可能出在概括原则或者集合论的基本定义上。

关键词：罗素悖论寇里悖论沈有鼎悖论等值悖论概括原则

在线全文

学校读者我要写书评

暂无评论

辩证思维在决策中的运用

哲学动态 1994年第10期 36-37页

作者：吴九占

辩证思维在决策中的运用吴九占决策活动是以事物的未来发展和人的未来行为为对象的，常常面临着复杂多变的环境，因此，运用辩证思维方法对于决策活动有重要的指导意义。一、根据事物的特点进行决策。认识和改造事物，就要揭示事物的不... 详细信息

辩证思维在决策中的运用吴九占决策活动是以事物的未来发展和人的未来行为为对象的，常常面临着复杂多变的环境，因此，运用辩证思维方法对于决策活动有重要的指导意义。一、根据事物的特点进行决策。认识和改造事物，就要揭示事物的不同性质和特点，研究事物矛盾的特殊性...

关键词：辩证思维模糊思维历史的统一分析与综合决策活动辩证思维方法矛盾的特殊性概括原则结构功能发展进程

在线全文

学校读者我要写书评

暂无评论

论集合论悖论的实质和意义

社会科学研究 2000年第6期 78-80页

作者：李玉梅宜宾师范专科学校中文系四川宜宾644000

集合论悖论的提出，给逻辑学界、数学界提出了一个大难题。然而，集合论悖论不过是一场虚惊，因为这类悖论的根源并非是由于人们无限制地使用了“外延公理”所致，其忽视了康托尔提出的“概括原则”和“外延公理”的一致性所致。

关键词：集合论悖论概括原则外延公理一致性

在线全文

学校读者我要写书评

暂无评论

弗雷格《概念记号》研究

哲学研究 1999年第8期 32-36页

作者：徐明明深圳大学社科部

在线全文

学校读者我要写书评

暂无评论

论集合论悖论的实质和意义

西南民族大学学报(人文社会科学版) 2000年第10期 65-67页

作者：李玉梅宜宾师范专科学校中文系!四川宜宾644007

集合论悖论的提出 ,给逻辑界、数学界提出了一个大难题 ,为寻求解决这一难题的途径 ,逻辑学家们提出一系列的解决方案 ,并在不知不觉中 ,大大推动了逻辑学、数学的发展。然而 ,回顾一下集合论的产生以及集合论悖论的解决史 ,我们不难发... 详细信息

集合论悖论的提出 ,给逻辑界、数学界提出了一个大难题 ,为寻求解决这一难题的途径 ,逻辑学家们提出一系列的解决方案 ,并在不知不觉中 ,大大推动了逻辑学、数学的发展。然而 ,回顾一下集合论的产生以及集合论悖论的解决史 ,我们不难发现 ,原来集合论悖论不过是一场虚惊 ,因为这类悖论的根源并非是由于人们无限制地使用了“外延公理”所致 ,而是忽视了康托尔提出的“概括原则”和“外延公理”的一致性所致。本文的目的就是在于澄清这一事实。

关键词：悖论集合论悖论概括原则外延公理一致性数理逻辑辩证法

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

罪名拟定的原则

石家庄学院学报 2011年第4期13卷 43-50页

作者：晋涛中州大学管理学院河南郑州450044

罪名拟定必须坚持概括原则、文本原则、协调原则、准确原则。概括原则是指罪名应当简约、精炼。文本原则是指拟定罪名应当尽量使用罪状中的表述词汇。协调原则要求罪名之间应当协调一致,相似、相近罪名应当呈现出规律性。准确原则是指... 详细信息

罪名拟定必须坚持概括原则、文本原则、协调原则、准确原则。概括原则是指罪名应当简约、精炼。文本原则是指拟定罪名应当尽量使用罪状中的表述词汇。协调原则要求罪名之间应当协调一致,相似、相近罪名应当呈现出规律性。准确原则是指罪名应当反映罪名的本质特征,不能出现罪名的外延大于或者小于罪状的情形,更不能产生歧义。新通过的《刑法修正案(八)》涉及的争议罪名,运用如上四个原则拟定,会得出恰当结论。

关键词：罪名概括原则文本原则协调原则《刑法修正案(八)》

在线全文

学校读者我要写书评

暂无评论

系统论与集合论

系统科学学报 1996年第1期10卷 49-52页

作者：李维岳西安交通大学

集合论的观点和方法渗透在现代数学的各个分支以及科学技术的许多领域之中,也是目前对系统进行数学描述的主要工具。但是系统论与集合论的研究对象和方式存在着实质性的差异,认识这点对于认识系统的特点和推进系统科学的发展具有重大意义。

关键词：统论集合论方法组织化集合的元素方法论原理个体化纯理性公理集合论概括原则系统分解

在线全文

学校读者我要写书评

暂无评论

从数理逻辑概括规则看内涵科学分析法

贵州大学学报（自然科学版） 2008年第3期25卷 247-250页

作者：龚启荣吴春红贵州大学贵州贵阳550025

无限域的内涵可以有限地把握和表述。可在有限步内实施的提取无限步的内涵从而确定无限域上事件间的第一独立性的方法即为"内涵科学分析法",人类用此法确立第一独立性后即能以有限把握无限,从已知进入新知。数理逻辑中作为逻辑工具使用... 详细信息

无限域的内涵可以有限地把握和表述。可在有限步内实施的提取无限步的内涵从而确定无限域上事件间的第一独立性的方法即为"内涵科学分析法",人类用此法确立第一独立性后即能以有限把握无限,从已知进入新知。数理逻辑中作为逻辑工具使用的"若,则"不是真值函数"蕴涵",而是通过内涵科学分析法确立第一独立性的"制约"。

关键词：内涵科学分析法制约关系第一独立性第二独立性概括原则