亚里士多德论矛盾律与排中律

矛盾律与排中律,亚里士多德认为,既是存在的根本规律,也是思维的根本规律,既是本体论的根本规律,也是逻辑的根本规律,而且首先是前者。后来的逻辑书,或者提出三条思维的根本规律,这就是:同一律,矛盾律与排中律;或者提出四条思维的根本规律,这就是在上述三条规律之外,再加上充足理由律;亚里士多德无疑地曾经应用过同一律,例如,     

排中律与多值逻辑

(在这篇论文里,我把多值逻辑中反对排中律的论据找来,并试图对其进行一番考查。首先,我叙述了反对排中律的论据,然后试图对它的力量作出估价,凡是这个论据显得不充分之处,我就试着提出一种理由予以支持。在我时这个理由所作的批评里,我也努力对提出这一否定的动机——引起争论的那些东西,以及这一否定的份量如何,作了某些证明。) (一)导言传统逻辑的法则基本上是从亚里士多德流传下来的。传统逻辑最基本的法则就是三大思维规律。第一条是同一律,其内容是:“A就是A”或者是“如果某命题是真的,那么它就是真的。”第二条     

“或者”的多重逻辑意义

普通逻辑教材在谈到概念与语词的关系时,指出“一个语词在不同的情况下可以用来表达几个不同的概念”,但举的都是实词与具体概念的例子①。其实这种一词多义的现象不仅存在于实词与具体概念之间,也存在于一些虚词与它们所表达的逻辑常项之间。下面我们以“或者”为例说明这种现象。据笔者研究,自然语言中的“或者（或）”一词至少可以表达四种不同的逻辑常项。一、表达相容的选言命题的联结硕,即现代逻辑中的析取词“V”。例如相容的选言命题的公式写作“P或者q”,排中律的公式是“A或非A”。下列语句都是相容的选言命题：【fi胜夺…     

也谈矛盾律和排中律的“适用范围”问题

在目前国内多数逻辑教材、著作和文章中,矛盾律(亦称“不矛盾律”)和排中律的表述虽有一些差别,但所表达的基本含义大致如下所述: 矛盾律:在同一时间、同一方面(关系)上对同一对象的思想(有的书上仅指命题,下同)和它的否定不能都是真的; 排中律:在同一时间,同一方面(关系)上对同一对象的两个相矛盾的思想不能都     

逻辑的“否定”概念简析

“否定（negative）”是一个基本的哲学范畴。近年来,国际学术界对这一范畴的研究再次兴起热潮,这方面的文献涉及逻辑、哲学、语言学、计算机等领域。本文试图从逻辑与哲学的角度,对一些有代表性的“否定”概念的类型与特征进行一番分析。1．传统逻辑的否定概念从某种意义上说,传统逻辑作为二值逻辑,是以排中律的普适性为特征的。它断定某个命题或思想要么是真的,要么是假的,真与假构成一对否定概念,二者必居其一。因此,对“真”的否定得到的是“假”,对“假”的否定得到的是“真”。在传统逻辑的公理系统中,否定是一个逻辑常项…     

认同与文化自身认同

一、问题的背景和结构Identity最早是个哲学和逻辑问题(在哲学和逻辑里就译成“同一性”)。逻辑里关于同一性的表述是著名的“三大规律”中的同一律。在逻辑三大规律中 ,排中律受到许多质疑 ,甚至矛盾律也并非绝无疑问 ,但是同一律却始终众望所归。只有当把identity落实为人或者文化的身份时 ,这个问题才有些异样。最普遍的身份现象是作为一种社会制度意义上的身份。身份意味着社会等级、权利、权力、利益和责任。身份的社会制度往往有着价值偏好 ,于是可以让某种本来以事实判断形式成立的身份同时意味着某种在价值判断形式中成立的身份 ,…     

先秦名辩学中的逻辑规律思想

先秦名辩学说是我国古代逻辑思想的精华,它与西方亚里士多德逻辑、印度因明一起,构成了世界逻辑科学发轫的三大源流。对逻辑思维必须遵循的基本规律的研究与探索,是东西方古代逻辑思想的共通之处。依照一种看法,同一律、矛盾律、排中律和充足理由律是普通逻辑的四条基本规律。在西方传统逻辑中,历来把首先发现和提出这些逻辑基本规律的思想成就,归功于古希腊的亚里士多德和近代的莱布尼茨。实际上,早在亚里士多德之前或与之同时代的     

论亚里士多德的逻辑规律理论

一、亚里士多德是怎样表述逻辑规律的?(一)从“是”和“不是”通过“肯定”和“否定”过渡到“真”和“假”,是亚里士多德对逻辑规律的表述形式的本质特征亚里士多德在《形而上学》的著作中,对逻辑规律(矛盾律和排中律)有种种不同的表述形式。现在把这些表述摘录如下:1.“一切原理中最确实的原理可     

论经济学研究的三种逻辑

经济学研究的逻辑是一个多层次的复合结构，由对象逻辑、思想逻辑和发展逻辑所组成。在一般关于经济学研究的讨论中，“经济学的逻辑”通常是指某个经济学思想体系的思想逻辑，并不涉及经济学的对象逻辑或发展逻辑的含义。不过，一旦我们把经济学研究从具体经济学问题转换到对经济学自身的研究，则经济学作为人类科学知识的一个相对独立的门类的稳定性，作为人类认识历史的阶段性成果的发展性，就必须由经济学的对象逻辑和发展逻辑来体现。依据经济学逻辑的这种结构特点，本文讨论经济学研究的三种逻辑及其相互关系。一、经济学研究的对象逻…     

关于多值逻辑的辩证哲学思考(续)

(三)矛盾律、排中律与多值逻辑矛盾律和排中律是古典逻辑的基本定律,恰如牛顿定律是古典力学的基本定律,它们的地位曾经被认为不可动摇的,在相对论、量子力学出现之后,人们可以理直气壮地说,牛顿定律在物理学中的地位不应当被绝对化,牛顿定律虽说不是可以违背的,却是可以被超越的。同理,在多值逻辑等异常的非古典     

关于多值逻辑的辩证哲学思考

古典逻辑是二值的,换句话说,它只有真、假两个真值。从亚里斯多德(在古代中国还有墨子)首创的传统逻辑到弗雷格、罗素的数理逻辑系统,古典逻辑的二值性质并没有改变。然而,多值逻辑却是作为一种非古典逻辑出现的,它可以具有三个或三个以上的真值,多值逻辑是怎样产生并发展起来的?它主要有哪几种最常见的形态?古典逻辑的二值特性为什么需要改进?为什么要引进中间真值?古典逻辑的矛盾律和排中律是否继续有效?能不能运用辩证法     

中学生掌握逻辑基本规律特点的研究

人们在运用概念、判断和推理等思维形式来思考问题的时候,都必须遵守一些最基本的逻辑规律,如矛盾律、排中律、同一律和充足理由律等。只有遵守这些规律,思维活动的过程才能保持前后一贯,互不矛盾,明确而有根据。因此,掌握这些逻辑的基本规律,就成为儿童正确而有效地进行思维的必要条件,同时掌握的水平也是儿童思维发展水平的一种有用的指标。     

“A是A又不是A”与辩证逻辑

一、对立统一规律能归结为“A是A又不是A”吗？黑格尔提出思辨逻辑的确是对传统逻辑同一律、矛盾律和排中律的一种否定。他把形式逻辑混同于形而上学但没有加以全盘否定。他没有明确地意识到：第一，是否一切辩证矛盾（对立统一）都是逻辑矛盾（一命题及其否定的合取）？例如，资产阶级与无产阶级的对立统一，能归结为逻辑矛盾吗？第二，是否一切逻辑矛盾都是辩证矛盾？例如，设想写一部书，其中每一句话都是黑格尔《大逻辑｝）或树。逻辑》中的话的逻辑否定；反之亦然。黑格尔的著作与这本想像中的著作都是片面的，只有这两部著作合在一…     

关于法律逻辑的研究

中国法律逻辑研究会第四次学术讨论会于1990年8月11至14日在广西大学召开。它反映了我国法律逻辑研究的现状,现就法律逻辑的研究对象、内容和体系等问题简介如下: 1、关于法律逻辑的研究对象问题关于法律逻辑研究的对象,有四种不同的观点:其一,法律逻辑并没有突破传统逻辑的框框而自成体系(至少目前是这样),     

思维四律不能表述为重言式

思维四律不能表述为重言式陈波近年来,有一种见解在我国逻辑学界十分流行：传统逻辑的四条思维基本规律即同一律、矛盾律、排中律、充足理由律只不过是现代逻辑演算系统中的重言式或普遍有效式（简称永真式）并不具有特殊的地位。但在实际处理时,很多逻辑教材又在此种观点和传统观点之间折衷：一方面承认思维四律是逻辑演算的重言式,另一方面又仍然给予它们以基本规律的特殊地位。我认为,上述见解和处理并不正确,其中隐藏着一个根本性的理论错误。对于元逻辑来说,在构造和研究逻辑演算系统时,作出下述区分是至关重要的：对象语言和元语言,内定理和元定理,以及内定理和元规则等。这里,对象语言是被刻画和被研究的逻辑演算系统内所使用的语言,内定理是用对象语言表述的该系统所肯定和接受的命题;而元语言则是用以刻画和研究对象语言的语言,它本身可区分为语形语言和语义语言,例如,“肯定”、“否定”、“可证”、“定理”“证明”等是典型的语形概念．而“真”、“假”、“重言式”、“普遍有效”等是典型的语义概念。元定理是用元语言表述的关于该演算系统的定理,它们刻画着该系统的某种性质或特征。元规则也是用元语言表述的,它指导着人们如何在该系统中从公理推演出定理。如果套用上     

三值量子逻辑进路探析

量子测量实验显示部分经典逻辑规则在量子世界中失效。标准量子逻辑进路通过特有的希尔伯特空间的格运算揭示出一种内在于微观物理学理论的概念框架结构,也即量子力学测量命题的正交补模或弱模格,解释了经典分配律的失效,它在形式化方面十分完美,但在解释方面产生了一些概念混乱。在标准量子逻辑进路之外,赖欣巴赫通过引入"不确定"的第三真值独立地提出一种不同的量子逻辑模型来解释量子实在的特征,不是分配律而是排中律失效,但是他的三值量子逻辑由于缺乏标准量子逻辑的上述优点而被认为与量子力学的概率空间所要求的潜在逻辑有很少联系。本文尝试引入一种新的三值逻辑模型来说明量子实在,它有以下优点:(1)满足卢卡西维茨创立三值逻辑的最初语义学假定;(2)克服赖欣巴赫三值量子逻辑的缺陷;(3)澄清标准量子逻辑遭遇的概念混乱;(4)充分地保留经典逻辑规则,特别是标准量子逻辑主张放弃的分配律。     

有限模型下的模态概率逻辑

模态逻辑语义学是经典逻辑语义学的一个扩张,对"可能"、"必然"等词进行了刻画,而概率从某个角度来说是对"可能"的更加精确的表示。本文试图在模态逻辑语义学的基础之上,形式化地刻画如下直观思想:每一个在某一世界上有一定概率发生的事件都一定会在其可通达的某个(或者某些)可能世界上发生。     

副词与完句的关系

我们在此说的“完句”是说某个语言片段从语法角度讲是可以独立成句的。副词与完句的关系有三种:①某语言单位从逻辑角度讲已经具备了独立成句的资格,即能够表达一个完整的意思,但若不加上某个适当的副词,那么这个语言单位从语法角度讲仍然不能合法存在;②某个语言片段从逻辑和结构上都已具备了独立成句的资格,但若给它加上某个副词它便又不能独立成句了;③某个语言片段不论是否加上某个副词,从逻辑     

应用于人工智能的逻辑学

导言非标准逻辑“非标准逻辑”这个名称通常用来指称那些不同于经典命题演算和谓词演算的逻辑。粗略地说，非标准逻辑可以被分为两类：相应于经典逻辑的逻辑和扩展了经典逻辑的逻辑。对于前者，我们以多值逻辑、模糊逻辑和直觉主义逻辑为例；对于后者，我们将阐述模态逻辑和时间逻辑。相应于经典逻辑的系统在所使用的语言上与经典的命题逻辑和谓词逻辑没有不同。所不同的是，经典逻辑的某些定理在非标准系统中是假的。最著名的例子是排中律，A或非A，它在经典逻辑中是可证的，而在直觉主义逻辑和3值逻辑的任何标准系统中都是不可证的。扩展…     

测字术解析

测字术在中国古代是一种具有广泛影响的算命术。所谓测字,就是用加减汉字笔画、拆合字体结构的方式附会人事,进而推断祸福凶吉的一种迷信活动。从表面上看,某个人的前程命运或者某件事的凶吉祸福都是从文字中来,实际上并不是那么回事。因为事实上汉字本身并不具备反映凶吉祸福的功能。靠汉字预测人生命运前程的测字只能说是古人不能正确认