一个含义扩大的逻辑方阵

我们通常所说的逻辑方阵是用以表示性质判断或模态判断之间的对当关系的。现在如果我们把它的含义扩大,那么这个逻辑方阵也可以表示复合判断及其相互关系。在这个赋予更多含义的逻辑方阵中可以用来表示联言判断、选言判断、假言判断、负判断等几种基本的复合判断,并能直观地显示这些复合判断之间的关系。这个逻辑方阵表示如下(图<一>)     

古典对当方阵和广义量词

古典对当方阵可同溯到亚里士多德逻辑,并且自此后就一直被广泛地讨论,特别是在中世纪和现代。它刻画了所有、没有、并非所有和某些这四个量词之间的特定逻辑关系,即对当关系。亚里十多德和传统逻辑学家,以及人多数当代语言学家,都把“所有”看作具有存在预设,也即“所有A是B”可以推山“存在A”,而现代逻辑则放弃了这一假定。用现代逻辑对“所有”的解释来代替亚里十多德的解释（对“并非所有”也可以作类似处理）,就产生了现代版本的对当方阵。近年来有许多争论,探讨这两个方阵中哪一个是正确的。本文中我的主要观点是,这个问题不是,或者不应该主要是关于存在预设的,毋宁说它是关于否定的模式的。我认为现代方阵表述了自然语言中否定的一般模式,而传统方阵则没有做到这一点。明乎此,不仅需要把对当方阵应用于四个亚里士多德量词,还需要把它应用到这一类型的广义量词上。现代方阵上的任一量词所展示的否定的模式,常常不是在传统方阵中发现的对当关系。本文提供了一些技术性结果和工具,阐述了解释各种英语限定词的量词方阵的若干例子。本文最后一个例子引入了否定的第二模式。它伴随特定复杂量词出现,也能够在方阵中被表达。     

真值表法的运用

真值表是复合判断形式的取值与所含判断变项的取值的对应关系图表。这种图表原由美国逻辑学家和哲学家皮尔斯创立,属数理逻辑内容,现引入普通逻辑之中。 用真值表分析解答逻辑问题的方法叫真值表法。熟练掌握真值表法对学好普通逻辑有重要意义。笔者根据它在全国高等教育自学考     

“子项不相容”的划分规则对概念间的“相容并列关系”是否起作用?

编辑同志: 《形式逻辑》(中国人民大学哲学系逻辑教研室编)一书中概念部分有这样的论述:概念之间有相容并列关系和不相容并列关系。不相容并列关系略写,单说相容并列关系。见图: 明确概念外延的逻辑方法中,即划分法的三条规则其中一条:子项不相容(子项之间为不相容并列关系),否则犯子项相容错     

逻辑学试题

一、填空: 1、逻辑学是研究﹍﹍的科学。2、划分是﹍﹍的逻辑方法。3、根据性质判断逻辑方阵的真假关系,已知A判断真,可推知E判﹍﹍,I判断﹍﹍,O判断﹍﹍;已知E判断假,可推知A判断﹍﹍,I判断﹍﹍,O判断﹍﹍。二、回答下列问题: 1、什么是定义?它有哪些规则? 2、什么是概念间的矛盾关系和反对关系?试各举一例。3、什么是充分条件的假言推理?什么是必要条件的假言推理?它们各有哪些正确的推理形式?并请列出它们的公式。     

科学发现与证明为什么会分离?

科学发现与证明在科学理论的形成中本是统一的过程,但长期被看作是互不相关的两部分,发现与证明的二分法成了传统的标准观念。近几年来,西方科学哲学把注意力放在发现的逻辑上,又涉及到发现与证明的关系,这种情况经历了反复曲折的过程。培根和笛卡儿都认为科学发现总有某种逻辑规则可循,发现的逻辑与证明的逻辑应是一致的。不过,他们各自强调不同的逻辑方法。培根认为归纳法是唯一的发现方法,也是证明的唯一方法;科学     

逻辑与修辞(待续)

在最近的五十年里,我们已经看到逻辑的领域从语法学到语义学和语用学的扩大。但是,仍然存在问题:我们如何从逻辑过渡到修辞?换言之,在形式系统的研究与言语风格和修辞手段的研究之间存在着某种关系吗? 作为逻辑学家,我对于人们在价值问题上意见不一致这一事实很感兴趣。按照经验主义的逻辑实证论的观点,这种不一致的产生,原因就在于价值判断是主观的,从而是不能加以证实的。然而我却不能接受这一结论。这就提出了这样的问题:有价值判断的逻辑吗?它们能通过推理被加以证实吗?     

认同与文化自身认同

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

不同层次的逻辑多元论

Beall与Restall提出了基于后承关系考虑的逻辑多元论。后承关系的一般模式含有参数x-情形。对x做不同解释,就获得不同的后承关系,也即不同的逻辑。这种观点基于"真"概念。如果对"真"概念的理解有分歧,那么,从"真"概念出发,将获得一种更为基本的逻辑观。由此区别出经典逻辑与直觉主义逻辑。这是第一层次的区分。这种区分源自对何为正确推理的解答不同。其差别是哲学观的不同。而对正确推理该如何采用当代逻辑研究范式去刻画,亦有不同理解。这造成第二层次的多元。其他众多非经典逻辑即属此层次。第二层次的多元是不争的事实,多元论与一元论的争论可以消解。真正争议是指第一层次上的,它是形而上学之争,难以消解甚至不可消解。     

经济伦理在资本的时代如何可能

按照马克思和恩格斯在《共产党宣言》中的分析,资本时代有两个主要特征:第一,私人利益压倒公共事务,公善为资本让路;第二,资本要求无止境地普遍化和理性化。当这两个特征走向极致时,就将导致资本主义的毁灭。换言之,资本的逻辑没有它看似所具有的合理性、神圣性和正当性。我们从中得到的启示是:既然资本的逻辑本身没有它的正当性,那么我们就有必要跳出资本自身的逻辑来寻求某种非资本的逻辑,从而重新引导我们对经济伦理的思考,传统的儒家思想对我们今天重新思考经济伦理问题有着特殊的意义。     

评蒯因对逻辑经验论的批判

蒯因借以反驳逻辑经验论的两个教条(相信综合陈述和分析陈述间严格的区别和每个有经验意义的陈述都有自己独立的经验内容)的武器是极端整体主义知识观,是不能令人信服的。因为 (1)蒯因认为诸科学陈述是逻辑地相互地联结在一起的,而且关于这些逻辑联系的陈述也是科学总体的一部分、。因而也逃脱不了受修改的厄运。根据蒯因的这一看法,那么我们便不能断定科学陈述间存在着这种必然的逻辑联系,结果是当处于科学织物外围的观察陈述与经验发生冲突时,这种冲突也就不一定必然影响到处于中央的逻辑数学陈述,因而对它们的修改也就不是必然的。(2)如果一切陈述都是不牢靠的,都可修改,那么蒯因的“所有陈述都是不牢靠的,都可修改”的陈述也是不牢靠的,可修改的。(3)科学诸分支的各种陈述间都存在着的某种联系绝没有蒯因想象的那样紧密,以致当某一个靠近外围的经验陈述受到冲击时,可以通过调整逻辑数学规律而保住该陈述。(4)蒯因的整体论坚持认为任何陈述与经验发生冲突时皆可通过调整科学体系的其他部分而使其成为真的,这导致相对主义     

什么是迷信

一种观念认为,如果是不合乎理性的,如果其发生是出于对不知道的某种东西的恐惧、或者出于无知,它就会被称作“迷信”。从骨子里说,当人们说迷信时,它实际已经暗指了某种对于不可见的未知的东西的信念。这种信念还包含另外一层意思,即通过某种东西或     

皮尔士存在图研究

存在图是现代逻辑草创时期皮尔士在其关系演算和谓词逻辑的基础上发展起来的、表示逻辑句子和推理的图式系统,是皮尔士用来证明其形而上学的工具,它的重要性直到计算机表示的图示推理得到发展后才得以确认。本文首先以经典逻辑为背景研究存在图的各个部分,然后讨论存在图在当代许多学科领域的回应和应用以及它在逻辑史上的地位,最后考察存在图对于皮尔士形而上学的意义。     

作为信息时代精神的哲学——对邬焜信息哲学的评论

邬焜教授对于信息科学和哲学及其与一般哲学的关系的重要贡献,刚开始为国外学者所认识。邬焜的研究与一种非标准、非真值函项的逻辑,即现实逻辑,相互支撑。这一逻辑乃是对法籍罗马尼亚人斯特凡纳·卢普斯科的开拓性工作的发展。基于邬焜的理论和这种逻辑,许多的批评性术语和概念将因其对科学哲学的特定影响而获得重新规定。因此,不妨将这种结合的理论作为关于一种演化中的信息社会的规范伦理学之发展的必要因素。     

立足日常思维实际搞好逻辑教学改革

在现今改革的时代,在我们为社会主义现代化建设努力奋斗的时刻,逻辑学的教学改革和现代化是逻辑界的一个热门话题。许多逻辑工作者感到,目前我国一般高校开设的逻辑课内容陈旧、落后,已不适应改革的需要,这种情况亟待改变。但究竟应如何改变这种状况?逻辑课改革的方向是什么?对此,人们又有不同看法。我们认为,要搞好逻辑学的教学改革,必须解决好一个立足点和三个关系。一个立足点,就是以日常思维实际为立足点;三个关系,就是传统逻辑与现代逻辑的关系,思维形式与思维内容的关系,规范思维与指导思维的关系。下面分别说明。     

次协调逻辑及其应用前景

一．什么是次协调逻辑所谓次协调逻辑（Ｐａｒａｃｏｎｓｉｓｔｅｎｔ　Ｌｏｇｉｃ）其通俗含义是指这种逻辑本身的协调性次于经典逻辑即矛盾律在这种逻辑中不再普遍有效，但又远高于完全不协调系统即矛盾在这一逻辑系统中不会任意扩散。次协调逻辑的确切含义可以用以下语言来表述：假定一种理论Ｔ的基础语言采用符号作为否定词，Ｔ被称为是不协调的，当且仅当，在Ｔ中至少有一公式Ａ，使得Ａ与Ａ都是Ｔ的定理。否则Ｔ被称为是协调的；如果Ｔ语言中的所有公式都是它的定理，那么它被称为是平凡的（ｔｒｉｖｉａｌ）。否则Ｔ就被称为是不平凡…     

逻辑必然,物理必然,伦理学和量词

我在奎因数理逻辑的意义上使用角标。在这一点上给出的解释是高度相近的，并且仅当一无限论域在考虑之内时可以逐字采用。1．导言本文意在对逻辑必然，物理必然和应该的解释问题作一些论述。以下所给出的解释由这些短语和全称量词之间的某种逻辑类似所蕴含。这些解释将用一种外延的元语言方式给出；特别指出的是，这一元语言并不包含短语本身当中的任何一个。而且解释允许短语与量词的合取应用。仅在满足上述最后一条要求时，我的解释可以称为具有独创性。它们基于下述已经成熟的考虑。设中是一个语句。则rm是逻辑必然的。为真，当且仅当……     

中国早期社会主义的文化逻辑

在社会革命的压力下,文化会产生一种应激性的变形与复原,它有一种自在的逻辑,当它与外在的社会逻辑相叠加,就会形成一种特殊的文化状态。基于这种思路,本文考察了中国早期社会主义的逻辑、文化的逻辑,以及二者的重叠——中国早期社会主义的文化逻辑。这种文化逻辑包含了:革命的情感化与审美的理想主义,形式感与美感的保守主义;作为一种文化要素的"意识形态";文化的机制化与意识形态的"审美化";传统在革命中的"变形"与"坚持",以及现实主义作为一种风格而被接受等。     

道德是调节系统

当系统方法在实际上已渗透到现代科学知识的各个领域时,它也必定向伦理学渗透。系统方法的功能,就在于它能使人们将众多的至今还不能归入某种具有逻辑内容范围里的经验材料加以调整和区分。我们认为,系统的自然科学准则同人文思维方式的标准和规范的有机结合,能使人们发现道德研究的新的认识层次。 苏联学术文献中有把道德问题作为系统来研究的某种尝试。很多学者试图对道德现象作结构与功能分析。     

局部的“否定”,可以变为根本的“肯定”

正史华尔是3M公司的研究员。一次,他参与了公司一项粘度超强的粘胶研制工作,谁知不但没研制出超强度粘胶,反而研制出了一种粘度超弱的粘胶,公司认为这种粘胶毫无用处,只能当废物处理掉。但史华尔不死心,虽然他暂时还说不出它有什么用处,但他觉得这种粘胶肯定会对人们有某种帮助。正好他有一位朋友参加唱诗班,他常常把小纸