罗素悖论研究进展 被引量：7

1

作者 杜国平 《湖北大学学报（哲学社会科学版）》 CSSCI 北大核心 2012年第5期1-6,共6页

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

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

下载PDF 职称材料

罪名拟定的原则 被引量：3

2

作者 晋涛 《石家庄学院学报》 2011年第4期43-50,共8页

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

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

下载PDF 职称材料

集合论-泛逻辑悖论 被引量：4

3

作者 杜国平 王洪光 +1 位作者 李娜 朱梧槚 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2009年第3期376-379,共4页

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

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

下载PDF 职称材料

弗雷格《概念记号》研究

4

作者 徐明明 《哲学研究》 CSSCI 北大核心 1999年第8期32-36,共5页

关键词 弗雷格 逻辑联结词 概念词 二阶逻辑 概括原则 析出法 自然语言 逻辑缺陷 数学归纳法 自然数序列

原文传递

系统论与集合论 被引量：1

5

作者 李维岳 《系统科学学报》 1996年第1期49-52,共4页

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

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

下载PDF 职称材料

论集合论悖论的实质和意义 被引量：1

6

作者 李玉梅 《社会科学研究》 CSSCI 北大核心 2000年第6期78-80,共3页

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

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

下载PDF 职称材料

辩证思维在决策中的运用

7

作者 吴九占 《哲学动态》 CSSCI 北大核心 1994年第10期36-37,共2页

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

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

原文传递

概括原则与悖论研究的进展

8

作者 毛宇光 林钧海 《南京航空学院学报》 CSCD 1991年第1期105-110,共6页

悖论的出现与概括原则中的造集的任意性有很大关系。然而,历史上各种排除悖论的方案要么修改概括原则而过多地限制了概括原则的合理内容,要么修改与之配套的逻辑系统而导致失败。近年来,这些问题的研究又取得了新的进展,有必要历史地加... 悖论的出现与概括原则中的造集的任意性有很大关系。然而,历史上各种排除悖论的方案要么修改概括原则而过多地限制了概括原则的合理内容,要么修改与之配套的逻辑系统而导致失败。近年来,这些问题的研究又取得了新的进展,有必要历史地加以评介,本文从类型论、ZFC公理系统、BG公理系统、多值逻辑系统和中介数学系统五个方面综述逻辑数学悖论之解释方法的研究情况。 展开更多

关键词 概括原则 悖论 数理逻辑 相容性

下载PDF 职称材料

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

9

作者 龚启荣 吴春红 《贵州大学学报（自然科学版）》 2008年第3期247-250,共4页

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

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

下载PDF 职称材料

解决集合论悖论的模态方法研究

10

作者 袁旭亮 李娜 《世界哲学》 CSSCI 北大核心 2022年第4期134-141,F0003,共9页

ZFC集合论等经典的集合论悖论解决方案,一般是通过限制康托尔不受限概括原则中的给定性质的“任意性”来解悖的。但是弗莱茨等人认为,除了这一路径外,还可以通过限制元素满足给定性质的方式的“任意性”来解决集合论悖论,并建议利用模... ZFC集合论等经典的集合论悖论解决方案,一般是通过限制康托尔不受限概括原则中的给定性质的“任意性”来解悖的。但是弗莱茨等人认为,除了这一路径外,还可以通过限制元素满足给定性质的方式的“任意性”来解决集合论悖论,并建议利用模态算子刻画元素满足给定性质的“特殊方式”。弗莱茨等人给出的这种模态解悖方法本质上是一种修正康托尔不受限概括原则的新方法。 展开更多

关键词 集合论悖论 不受限概括原则 模态概括原则 模态集合论

原文传递

从外延逻辑的四个原则的失效看建立内涵逻辑的必要性 被引量：1

11

作者 金卓行 《中山大学研究生学刊（社会科学版）》 1999年第3期17-21,共5页

逻辑学有不同的类型划分,根据推理过程中对个体词、谓词、语句等语言表达式的不同解释,可分为外延逻辑和内涵逻辑、外延逻辑考虑语言表达式的指称,而内涵逻辑考虑语言表达式的涵义,本文试从外延逻辑的几个基本原则的失效的基点。

关键词 外延逻辑 内涵逻辑 实存在概括原则 强外延原则

下载PDF 职称材料

关于问卷编码的设计问题 被引量：1

12

作者 张美生 《社会科学辑刊》 CSSCI 北大核心 1996年第5期44-47,共4页

编码是问卷的基本组成部分,所以,编码设计问题便成为问卷设计中不可忽视的内容。 问卷编码是与现代调查技术同运而生的问题。现代社会调查技术的发展,受益于计算机工具引进社会调查活动的实践。使用计算机对问卷资料进行统计分析,必须... 编码是问卷的基本组成部分,所以,编码设计问题便成为问卷设计中不可忽视的内容。 问卷编码是与现代调查技术同运而生的问题。现代社会调查技术的发展,受益于计算机工具引进社会调查活动的实践。使用计算机对问卷资料进行统计分析,必须将问卷文字资料转化为数字资料,这就要求问卷设计者不仅要设计出适合调查课题的问题和答案,还要设计出与问题和答案相匹配的编码。编码是问卷文字资料转化为数字资料的桥梁,也是问卷资料统计分析由手工操作向机器操作转化的中间媒体。由此看来,问卷编码设计特别是其中的设计原则、设计步骤和设计方法是一项具有研究价值的问题。 展开更多

关键词 编码设计 编码处理 问卷调查 简单性原则 概括性原则 编码问题 问卷资料 回答者 唯一性原则 调查目的

下载PDF 职称材料

关于古汉语“为动用法”的再认识

13

作者 贾齐华 《信阳师范学院学报（哲学社会科学版）》 2003年第6期75-78,共4页

与"为动用法"相关的名目有"两多说"(多动、多宾)、"介动用法"说和取消说。"两多说"的致命弱点在于只满足于归纳繁多的名目,违背了语法学的概括性原则,受到"介动用法"说和取消说的共... 与"为动用法"相关的名目有"两多说"(多动、多宾)、"介动用法"说和取消说。"两多说"的致命弱点在于只满足于归纳繁多的名目,违背了语法学的概括性原则,受到"介动用法"说和取消说的共同批评。而"介动用法"说与"使动用法""意动用法"很难构成"鼎足三分"关系,且其语例中阑入了其他语言现象。在适当的范围里,"介动用法"中的介词,可以集中到一个介词"为"上。"为动用法"有其自身的优势,它将成为经过人们的一番探索、对相关语言现象的认识得以深化之后新的落脚点,并将得到更为广泛的认同。 展开更多

关键词 为动用法 两多说 介动用法 概括性原则

下载PDF 职称材料

结课或结题的原则、形式和方法

14

作者 张之麒 张颜萍 《甘肃高师学报》 2003年第5期68-70,共3页

针对实习生或新教师在结课或结题方面存在的“九大问题” ,提出了结课或结题的“八字原则”和“十种方法” .

关键词 实习生 物理课 课题 问题 结尾 概括性原则 创新性原则 结构图示式 提炼升华式

下载PDF 职称材料

信息接收视角下个人信息自决的不完备性与效力限度 被引量：1

15

作者 吴亚光 《厦门大学法律评论》 2020年第1期62-80,共19页

被收集的个人信息会转化为影响信息主体行为的信息,信息接收是影响个人信息自决合理性的重要标准。作为信息接收的个性化推荐被司法裁判直接正当化,与个人信息自决的强控制规则体系存在合法性逻辑断裂。个人信息自决完全以自决利益为基... 被收集的个人信息会转化为影响信息主体行为的信息,信息接收是影响个人信息自决合理性的重要标准。作为信息接收的个性化推荐被司法裁判直接正当化,与个人信息自决的强控制规则体系存在合法性逻辑断裂。个人信息自决完全以自决利益为基础,存在两重不完备性。首先,在信息社会关系视角下,多种场景的信息关系表明个人信息接收受到社会动力机制、社会规范因素和信息利用结果的三重因素影响。其次,在功利主义权利观视角下,完全由个人决定信息接收与社会功利最大化存在矛盾。制度功利主义将权利视为整体制度下的一种利益安排,当权利保护与社会功利最大化存在矛盾时,需要在社会整体层面合理界定权利内容。制度功利主义通过个人、契约和集体权利设置,可以实现权利保护与社会功利最大化的契合。应对两重不完备性,在制度上应当通过"选择退出机制"改变数据控制者在个人信息价值再利用时的被动局面。在规范上,将个人同意解释为宽松的概括授权,并且与目的限制、最小够用等原则协调。个人信息权的具体权能,如访问权、异议权、更正权等,本质上是信息主体控制其信息接收程度的权利,防止其行为受到数据控制者的不当影响。 展开更多

关键词 个人信息自决 信息接收 信息社会关系 功利主义权利观 选择退出机制与概括授权原则

原文传递

自然课板书的设计

16

作者 刘德文 《云南教育（小学教师）》 2002年第2期32-33,共2页

关键词 教学内容 教学板书 自然课 板书设计 教师资格 教学过程 教材特点 多媒体课件 表格式板书 概括性原则

原文传递