反证法与归谬法的现代分析 被引量：3

1

作者 杜国平 《自然辩证法研究》 CSSCI 北大核心 2005年第3期48-51,共4页

本文以现代命题逻辑为分析工具,证明了:在正命题逻辑系统的基础上,反证法的证明能力强于归谬法,它们之间相差一个双重否定律;归谬律与不矛盾律加上充分条件否定后件律相等价;反证律与不矛盾律、排中律、充分条件否定后件律加上选言推理... 本文以现代命题逻辑为分析工具,证明了:在正命题逻辑系统的基础上,反证法的证明能力强于归谬法,它们之间相差一个双重否定律;归谬律与不矛盾律加上充分条件否定后件律相等价;反证律与不矛盾律、排中律、充分条件否定后件律加上选言推理否定肯定律相等价。 展开更多

关键词 反证法 归谬法 正命题逻辑系统 排中律 不矛盾律

下载PDF 职称材料

逻辑规律与准逻辑悖论探讨 被引量：1

2

作者 盛作国 《毕节学院学报（综合版）》 2007年第1期37-40,共4页

同一律、不矛盾律和排中律是传统形式逻辑中的基本规律,在正统数理逻辑中体现为重言式。同一律、不矛盾律和排中律作为逻辑基本规律在传统形式逻辑中普遍有效,可是,它们一经引入正统数理逻辑,便会引起不符合人的普通逻辑思考实际的准逻... 同一律、不矛盾律和排中律是传统形式逻辑中的基本规律,在正统数理逻辑中体现为重言式。同一律、不矛盾律和排中律作为逻辑基本规律在传统形式逻辑中普遍有效,可是,它们一经引入正统数理逻辑,便会引起不符合人的普通逻辑思考实际的准逻辑悖论。故而,传统形式逻辑三大基本规律在正统数理逻辑中均不能成立。 展开更多

关键词 重言式 形式逻辑基本规律 同一律 不矛盾律 排中律 准逻辑悖论

下载PDF 职称材料

“解悖雄师”与“漏网之鱼”——评西蒙斯、普利斯特的“解悖方案” 被引量：2

3

作者 黄展骥 《延安大学学报（社会科学版）》 2005年第3期12-14,共3页

"仅是矛盾"很不同于"矛盾被证";后者才挑战"不矛盾"律,但被我们消解了。所以,塔斯基的"层级论"是冗余的。逻辑派是西方"解悖雄师"的主力,它基本上修补着塔的理论,自然遭"一网打... "仅是矛盾"很不同于"矛盾被证";后者才挑战"不矛盾"律,但被我们消解了。所以,塔斯基的"层级论"是冗余的。逻辑派是西方"解悖雄师"的主力,它基本上修补着塔的理论,自然遭"一网打尽";而作为"偏师"的辩证派,因要"理性重建"不矛盾律,反而成为"漏网之鱼"! 展开更多

关键词 西蒙斯 普利斯特 塔斯基理论 西方解悖雄师 理性重建 不矛盾律

下载PDF 职称材料

成形于思维的形式化中--对形式逻辑三大规律作用的思辨

4

作者 陈道远 《太原师范学院学报（社会科学版）》 2021年第2期1-4,共4页

形式逻辑三大规律自身是一个符号化的自我指称,其整体可以被我们主观当作象征性符号P来形象地看待。同一律强调思维始终是整体或一,所有内容都在同一框架内(如同唯一的P本身);不矛盾律强调思维过程属跳跃而连续的一条线,有起伏但不失连... 形式逻辑三大规律自身是一个符号化的自我指称,其整体可以被我们主观当作象征性符号P来形象地看待。同一律强调思维始终是整体或一,所有内容都在同一框架内(如同唯一的P本身);不矛盾律强调思维过程属跳跃而连续的一条线,有起伏但不失连贯(如同P的从始到终的书写轨迹);排中律针对思维的选择性,强调选择总是对结果的选择,因选择而直达结果(如同P的成形是由可能性而来的具体选择)。形式逻辑思维不一定一次完成,可以不断反复进行(如同重写与修正P)。三大规律共同保证了形式思维无与有、外与内、始与终的一致,从而保障理性在形式上的完备与有效。形式逻辑规律的形式化让众多的事物或思想观念被定型,从而成为可灵活地被思考的对象或思考本身;形式逻辑三大规律是不能被逾越的思维边界的“边界线”,只有心灵力量的复苏才可以解决思维越界所带来的迷惑。 展开更多

关键词 形式逻辑思维 形式逻辑规律 同一律 不矛盾律 排中律

下载PDF 职称材料

逻辑规律是客观世界的规律

5

作者 吴春红 《黔南民族师范学院学报》 2005年第1期40-44,共5页

同化学规律、物理规律一样,逻辑规律也是客观世界事物自身客观的、固有的、本质的、必然的、稳定的联系。人们不能违反、创造或者消灭逻辑规律。逻辑规律是客观世界的规律,不是所谓的“思维规律”,也不是所谓的“符号规律”。

关键词 规律 客观世界的逻辑规律 不矛盾律

下载PDF 职称材料

重言式、逻辑规律与准逻辑悖论

6

作者 胡红 盛作国 《贵阳学院学报（社会科学版）》 2006年第4期79-82,共4页

同一律、不矛盾律和排中律是传统形式逻辑中的基本规律,在正统数理逻辑中体现为重言式。同一律、不矛盾律和排中律作为逻辑基本规律在传统形式逻辑中普遍有效,可是,它们一经引入正统数理逻辑,便会引起不符合人的普通逻辑思考实际的准逻... 同一律、不矛盾律和排中律是传统形式逻辑中的基本规律,在正统数理逻辑中体现为重言式。同一律、不矛盾律和排中律作为逻辑基本规律在传统形式逻辑中普遍有效,可是,它们一经引入正统数理逻辑,便会引起不符合人的普通逻辑思考实际的准逻辑悖论。故而,传统形式逻辑三大基本规律在正统数理逻辑中均不能成立。 展开更多

关键词 重言式 形式逻辑基本规律 同一律 不矛盾律 排中律 准逻辑悖论

下载PDF 职称材料

“矛盾”辨析

7

作者 李秀敏 《齐齐哈尔大学学报（哲学社会科学版）》 2006年第3期9-11,共3页

通过对“矛盾”渊源的考察,认为矛盾只可分为逻辑矛盾和辩证矛盾,并对多年来我国哲学界和逻辑学界对逻辑矛盾和辩证矛盾的认识进行分析,在澄清对逻辑矛盾和辩证矛盾认识的基础上,阐述了逻辑学中的“不矛盾律”和辩证法中的“对立统一规... 通过对“矛盾”渊源的考察,认为矛盾只可分为逻辑矛盾和辩证矛盾,并对多年来我国哲学界和逻辑学界对逻辑矛盾和辩证矛盾的认识进行分析,在澄清对逻辑矛盾和辩证矛盾认识的基础上,阐述了逻辑学中的“不矛盾律”和辩证法中的“对立统一规律”的关系以及形式逻辑和辩证法的相辅相成关系。 展开更多

关键词 逻辑矛盾 辩证矛盾 不矛盾律 对立统一规律 辩证法

下载PDF 职称材料

关于不矛盾律和排中律适用范围界定及基本内容表述之我见

8

作者 王爱 徐庆轩 《山西高等学校社会科学学报》 2002年第4期37-39,共3页

目前 ,多种版本的逻辑学教材 ,均对不矛盾律和排中律适用范围的界定模糊不清 ,对这两条基本规律基本内容的表述 ,也不明确、不全面。我们认为 ,应将不矛盾律的基本内容表述为 :“在同一思维过程中 ,两个矛盾关系或上反对关系的思想 ,不... 目前 ,多种版本的逻辑学教材 ,均对不矛盾律和排中律适用范围的界定模糊不清 ,对这两条基本规律基本内容的表述 ,也不明确、不全面。我们认为 ,应将不矛盾律的基本内容表述为 :“在同一思维过程中 ,两个矛盾关系或上反对关系的思想 ,不能同真 ,至少有一个是假的。”将排中律的基本内容表述为 :“在同一思维过程中 ,两个矛盾关系或下反对关系的思想 ,不能同假 ,至少有一个是真的。” 展开更多

关键词 不矛盾律 排中律 适用范围 表述

下载PDF 职称材料

弗协调视域中的否定、矛盾律和爆炸原理

9

作者 何建锋 袁旭亮 《湖南科技大学学报（社会科学版）》 CSSCI 北大核心 2021年第5期45-53,共9页

否定、矛盾律和爆炸原理是讨论弗协调逻辑与经典逻辑二者关系的核心概念。从弗协调逻辑的角度看,经典否定只是自然语言否定的一种模型,自然语言否定还有其他的模型,例如取消模型、弗协调保守模型、弗协调激进模型等,其中,弗协调保守模... 否定、矛盾律和爆炸原理是讨论弗协调逻辑与经典逻辑二者关系的核心概念。从弗协调逻辑的角度看,经典否定只是自然语言否定的一种模型,自然语言否定还有其他的模型,例如取消模型、弗协调保守模型、弗协调激进模型等,其中,弗协调保守模型是自然语言否定的最佳描述。矛盾的定义大致分为语义、语法、语用、本体论四种,不同的矛盾定义导致不同的矛盾律,考察弗协调逻辑在什么意义上否认矛盾律就是逐个考察各弗协调逻辑流派是否否认这四种矛盾律。爆炸原理有不同的形式,如果把它视为区分弗协调逻辑和经典逻辑的决定性因素,则{A,?A}├B是爆炸原理的最恰当形式。 展开更多

关键词 弗协调逻辑 否定 矛盾律 爆炸原理

原文传递

中国古代的六组悖论——从比较哲学的视角看

10

作者 陈波 《哲学门》 CSSCI 2014年第2期55-84,共30页

本文把中国先秦时期思想家所提出的悖论分成六组--关于运动和无穷的悖论,关于类属关系的悖论,语义悖论,认知悖论,相对化悖论,其他的逻辑矛盾,并把重点放在中国悖论与古希腊哲学甚至当代西方哲学中类似悖论的比较上,揭示它们之间的同与异... 本文把中国先秦时期思想家所提出的悖论分成六组--关于运动和无穷的悖论,关于类属关系的悖论,语义悖论,认知悖论,相对化悖论,其他的逻辑矛盾,并把重点放在中国悖论与古希腊哲学甚至当代西方哲学中类似悖论的比较上,揭示它们之间的同与异,由此断定:在中国文明与希腊文明的早期阶段,其哲学和逻辑学中有很多类似因素,这种类似值得我们认真对待和深入反思。 展开更多

关键词 诡辩 悖论 矛盾律 邓析 惠施 公孙龙 庄子 韩非子 墨子 后期墨家

原文传递

从需要视角看逻辑的工具性意义 被引量：2

11

作者 刘清平 《南京社会科学》 CSSCI 北大核心 2022年第3期15-23,41,共10页

由于认知理性精神在演变发展中陷入了异化悖论,现代西方学界往往倾向于把逻辑说成是科学真理的存在根基。然而,倘若从"人为什么需要逻辑"的源头入手分析求晰欲的确定性诉求,我们会发现逻辑的实质在于:凭借强制性的法则在形式... 由于认知理性精神在演变发展中陷入了异化悖论,现代西方学界往往倾向于把逻辑说成是科学真理的存在根基。然而,倘若从"人为什么需要逻辑"的源头入手分析求晰欲的确定性诉求,我们会发现逻辑的实质在于:凭借强制性的法则在形式上规范各种概念——字词的核心语义以及它们的确定性关联,以确保思维言说的清楚明晰。所以,逻辑对于人们寻求真理主要发挥着方法论的工具性意义。因此,我们在运用同一律和不矛盾律等逻辑法则时,也应当注意到它们与事实自身特征之间的内在差异,以免混为一谈而造成理论扭曲。 展开更多

关键词 逻辑 求晰欲 确定性 真理 同一律 不矛盾律

原文传递

卢卡锡维茨Ł_(3)系统的最低限度隐变量解释

12

作者 万小龙 徐亮 《安徽大学学报（哲学社会科学版）》 CSSCI 北大核心 2022年第5期32-40,共9页

一般认为卢卡锡维茨Ł_(3)系统中的排中律与(不)矛盾律都不成立,对此有许多不同解释。按照STRF理论的简化、等值与增力的“三合一”极致原则,在完全接受Ł_(3)句法和维持其已有语义的前提下,更深层次上“第三真值”这个逻辑常量其实是一... 一般认为卢卡锡维茨Ł_(3)系统中的排中律与(不)矛盾律都不成立,对此有许多不同解释。按照STRF理论的简化、等值与增力的“三合一”极致原则,在完全接受Ł_(3)句法和维持其已有语义的前提下,更深层次上“第三真值”这个逻辑常量其实是一个严格等价隐变量,也即“1/2”真其实是“真与并非真”的一种组合,但同一组合有不同排列,甚至同一个真值度存在不同的真值分布。显然由此可计算出Ł_(3)中的排中律与(不)矛盾律仍然都是定理,Ł_(3)当然是完全的,不过就是没被彻底认识的经典命题逻辑系统CP。 展开更多

关键词 Ł_(3)系统 排中律 (不)矛盾律 最低限度语义隐变量

下载PDF 职称材料